Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Tompits, Hans - Institut für Informationssysteme, Technische Universität Wien
D. Pearce 1 , T. Schaub 2 , V. Sarsakov 2 , H. Tompits 3 und S. Woltran 3
On Computing Belief Change Operations using Quantified Boolean Formulas
A General Framework for Expressing Preferences in Causal Reasoning and Planning
Expressing Default Abduction Problems as Quantified Boolean Formulas
On Solution Correspondences in Answer-Set Programming Thomas Eiter, Hans Tompits, and Stefan Woltran
Combining Answer Set Programming with Description Logics for the Semantic Web
Domain-Specific Preferences for Causal Reasoning and Planning James P. Delgrande
Solving Advanced Reasoning Tasks using Quantified Boolean Formulas Uwe Egly, Thomas Eiter, Hans Tompits, and Stefan Woltran
Logic Programs with Compiled Preferences James P. Delgrande1 and Torsten Schaub2 and Hans Tompits3
A Framework for Compiling Preferences in Logic Programs
Hans Tompits On Different Proof-Search
On Quantifier Shifting for Quantified Boolean Formulas
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming
Using Methods of Declarative Logic Programming for Intelligent Information Agents
I N F S Y S R E S E A R C H
On Properties of Update Sequences Based on Causal Rejection
