Hans Tompits
Hans Tompits
Associate Professor of Computer Science, Vienna University of Technology
Bestätigte E-Mail-Adresse bei kr.tuwien.ac.at
Titel
Zitiert von
Zitiert von
Jahr
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
7052008
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
2932005
Effective integration of declarative rules with external evaluations for semantic-web reasoning
T Eiter, G Ianni, R Schindlauer, H Tompits
European Semantic Web Conference, 273-287, 2006
1732006
Solving advanced reasoning tasks using quantified boolean formulas
U Egly, T Eiter, H Tompits, S Woltran
AAAI/IAAI, 417-422, 2000
1622000
A framework for compiling preferences in logic programs
JP Delgrande, T Schaub, H Tompits
arXiv preprint cs/0203005, 2002
1592002
A classification and survey of preference handling approaches in nonmonotonic reasoning
J Delgrande, T Schaub, H Tompits, K Wang
Computational Intelligence 20 (2), 308-334, 2004
1532004
On properties of update sequences based on causal rejection
T Eiter, M Fink, G Sabbatini, H Tompits
arXiv preprint cs/0109006, 2001
1522001
Reasoning with rules and ontologies
T Eiter, G Ianni, A Polleres, R Schindlauer, H Tompits
Reasoning Web International Summer School, 93-127, 2006
1082006
Simplifying logic programs under uniform and strong equivalence
T Eiter, M Fink, H Tompits, S Woltran
International Conference on Logic Programming and Nonmonotonic Reasoning, 87-99, 2004
1062004
Well-founded semantics for description logic programs in the semantic web
T Eiter, T Lukasiewicz, R Schindlauer, H Tompits
International Workshop on Rules and Rule Markup Languages for the Semantic …, 2004
1022004
A meta-programming technique for debugging answer-set programs.
M Gebser, J Pührer, T Schaub, H Tompits
AAAI 8, 448-453, 2008
962008
Encodings for equilibrium logic and logic programs with nested expressions
D Pearce, H Tompits, S Woltran
Portuguese Conference on Artificial Intelligence, 306-320, 2001
932001
On solution correspondences in answer-set programming
T Eiter, H Tompits, S Woltran
IJCAI 5, 97-102, 2005
882005
Modularity aspects of disjunctive stable models
T Janhunen, E Oikarinen, H Tompits, S Woltran
Journal of Artificial Intelligence Research 35, 813-857, 2009
802009
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
JD Bruijn, T Eiter, A Polleres, H Tompits
ACM Transactions on Computational Logic (TOCL) 12 (3), 1-39, 2011
732011
Debugging ASP programs by means of ASP
M Brain, M Gebser, J Pührer, T Schaub, H Tompits, S Woltran
International Conference on Logic Programming and Nonmonotonic Reasoning, 31-43, 2007
702007
Considerations on updates of logic programs
T Eiter, M Fink, G Sabbatini, H Tompits
European Workshop on Logics in Artificial Intelligence, 2-20, 2000
692000
Logic programs with compiled preferences
JP Delgrande, T Schaub, H Tompits
arXiv preprint cs/0003028, 2000
662000
Catching the ouroboros: On debugging non-ground answer-set programs
J Oetsch, J Pührer, H Tompits
arXiv preprint arXiv:1007.4986, 2010
622010
Belief Revision of Logic Programs under Answer Set Semantics.
JP Delgrande, T Schaub, H Tompits, S Woltran
KR 8, 411-421, 2008
572008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20