دنبال کردن
Thomas Eiter
عنوان
نقل شده توسط
نقل شده توسط
سال
The DLV system for knowledge representation and reasoning‏
N Leone, G Pfeifer, W Faber, T Eiter, G Gottlob, S Perri, F Scarcello‏
ACM Transactions on Computational Logic (TOCL) 7 (3), 499-562, 2006‏
16102006
Answer set programming at a glance‏
G Brewka, T Eiter, M Truszczyński‏
Communications of the ACM 54 (12), 92-103, 2011‏
12732011
Computing discrete Fréchet distance‏
T Eiter, H Mannila‏
Technical Report CD-TR 94/64, Christian Doppler Laboratory for Expert …, 1994‏
10311994
Complexity and expressive power of logic programming‏
E Dantsin, T Eiter, G Gottlob, A Voronkov‏
ACM Computing Surveys (CSUR) 33 (3), 374-425, 2001‏
10072001
Combining answer set programming with description logics for the semantic web‏
T Eiter, G Ianni, T Lukasiewicz, R Schindlauer, H Tompits‏
Artificial intelligence 172 (12-13), 1495-1539, 2008‏
7652008
Disjunctive datalog‏
T Eiter, G Gottlob, H Mannila‏
ACM Transactions on Database Systems (TODS) 22 (3), 364-418, 1997‏
7021997
The complexity of logic-based abduction‏
T Eiter, G Gottlob‏
Journal of the ACM (JACM) 42 (1), 3-42, 1995‏
5951995
On the complexity of propositional knowledge base revision, updates, and counterfactuals‏
T Eiter, G Gottlob‏
Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles …, 1992‏
5941992
Identifying the minimal transversals of a hypergraph and related problems‏
T Eiter, G Gottlob‏
SIAM Journal on Computing 24 (6), 1278-1304, 1995‏
5841995
On the computational cost of disjunctive logic programming: Propositional case‏
T Eiter, G Gottlob‏
Annals of Mathematics and Artificial Intelligence 15, 289-323, 1995‏
4861995
Preferred answer sets for extended logic programs‏
G Brewka, T Eiter‏
Artificial intelligence 109 (1-2), 297-356, 1999‏
3761999
Answer set programming: A primer‏
T Eiter, G Ianni, T Krennwallner‏
Reasoning Web. Semantic Technologies for Information Systems: 5th …, 2009‏
3242009
A uniform integration of higher-order reasoning and external evaluations in answer-set programming‏
T Eiter, G Ianni, R Schindlauer, H Tompits‏
IJCAI 5, 90-96, 2005‏
3102005
Heterogeneous agent systems‏
VS Subrahmanian, P Bonatti, J Dix, T Eiter, S Kraus, R Ross, F Ozcan, ...‏
MIT press, 2000‏
299*2000
Distance measures for point sets and their computation‏
T Eiter, H Mannila‏
Acta informatica 34, 109-133, 1997‏
2851997
Equilibria in heterogeneous nonmonotonic multi-context systems‏
G Brewka, T Eiter‏
AAAI 7, 385-390, 2007‏
2802007
The KR system dlv: Progress report, comparisons and benchmarks‏
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello‏
KR 98, 406-417, 1998‏
2801998
A deductive system for non-monotonic reasoning‏
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello‏
Logic Programming And Nonmonotonic Reasoning: 4th International Conference …, 1997‏
2631997
Declarative problem-solving using the DLV system‏
T Eiter, W Faber, N Leone, G Pfeifer‏
Logic-based artificial intelligence, 79-103, 2000‏
2592000
Propositional circumscription and extended closed-world reasoning are πp2-complete‏
T Eiter, G Gottlob‏
Theoretical Computer Science 114 (2), 231-245, 1993‏
2581993
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20