Παρακολούθηση
Thomas Eiter
Thomas Eiter
Vienna University of Technology (TU Wien)
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα kr.tuwien.ac.at - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
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
15862006
Answer set programming at a glance
G Brewka, T Eiter, M Truszczyński
Communications of the ACM 54 (12), 92-103, 2011
11832011
Complexity and expressive power of logic programming
E Dantsin, T Eiter, G Gottlob, A Voronkov
ACM Computing Surveys (CSUR) 33 (3), 374-425, 2001
9732001
Computing discrete Fréchet distance
T Eiter, H Mannila
Technical Report CD-TR 94/64, Christian Doppler Laboratory for Expert …, 1994
9731994
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
7602008
Disjunctive datalog
T Eiter, G Gottlob, H Mannila
ACM Transactions on Database Systems (TODS) 22 (3), 364-418, 1997
6921997
The complexity of logic-based abduction
T Eiter, G Gottlob
Journal of the ACM (JACM) 42 (1), 3-42, 1995
5861995
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
5741992
Identifying the minimal transversals of a hypergraph and related problems
T Eiter, G Gottlob
SIAM Journal on Computing 24 (6), 1278-1304, 1995
5661995
On the computational cost of disjunctive logic programming: Propositional case
T Eiter, G Gottlob
Annals of Mathematics and Artificial Intelligence 15, 289-323, 1995
4771995
Preferred answer sets for extended logic programs
G Brewka, T Eiter
Artificial intelligence 109 (1-2), 297-356, 1999
3681999
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
3082005
Answer set programming: A primer
T Eiter, G Ianni, T Krennwallner
Reasoning Web. Semantic Technologies for Information Systems: 5th …, 2009
2992009
Heterogeneous agent systems
VS Subrahmanian, P Bonatti, J Dix, T Eiter, S Kraus, R Ross, F Ozcan, ...
MIT press, 2000
298*2000
Distance measures for point sets and their computation
T Eiter, H Mannila
Acta informatica 34, 109-133, 1997
2811997
The KR system dlv: Progress report, comparisons and benchmarks
T Eiter, N Leone, C Mateis, G Pfeifer, F Scarcello
KR 98, 406-417, 1998
2761998
Equilibria in heterogeneous nonmonotonic multi-context systems
G Brewka, T Eiter
AAAI 7, 385-390, 2007
2752007
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
2601997
Declarative problem-solving using the DLV system
T Eiter, W Faber, N Leone, G Pfeifer
Logic-based artificial intelligence, 79-103, 2000
2562000
Propositional circumscription and extended closed-world reasoning are πp2-complete
T Eiter, G Gottlob
Theoretical Computer Science 114 (2), 231-245, 1993
2521993
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20