Hans Tompits
Hans Tompits
Associate Professor of Computer Science, Vienna University of Technology
Verified email at kr.tuwien.ac.at
Title
Cited by
Cited by
Year
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
6922008
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
2862005
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
1572000
A framework for compiling preferences in logic programs
JP Delgrande, T Schaub, H Tompits
arXiv preprint cs/0203005, 2002
1552002
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
1522004
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
1062006
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
1002004
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
1002004
A meta-programming technique for debugging answer-set programs.
M Gebser, J Pührer, T Schaub, H Tompits
AAAI 8, 448-453, 2008
952008
Encodings for equilibrium logic and logic programs with nested expressions
D Pearce, H Tompits, S Woltran
Portuguese Conference on Artificial Intelligence, 306-320, 2001
902001
On solution correspondences in answer-set programming
T Eiter, H Tompits, S Woltran
IJCAI 5, 97-102, 2005
852005
Modularity aspects of disjunctive stable models
T Janhunen, E Oikarinen, H Tompits, S Woltran
Journal of Artificial Intelligence Research 35, 813-857, 2009
722009
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
712011
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
692007
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
652000
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
562008
The system can't perform the operation now. Try again later.
Articles 1–20