Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Hans Tompits" ( http://dblp.L3S.de/Authors/Hans_Tompits )

URL (Homepage):  http://www.kr.tuwien.ac.at/staff/tompits/  Author page on DBLP  Author page in RDF  Community of Hans Tompits in ASPL-2

Publication years (Num. hits)
1997-2000 (15) 2001-2002 (21) 2003-2004 (19) 2005-2006 (19) 2007-2008 (22) 2009-2011 (22)
Publication types (Num. hits)
article(34) inproceedings(83) proceedings(1)
Venues (Conferences, Journals, ...)
CoRR(17) LPNMR(15) KR(8) TPLP(7) ICLP(6) WLP(6) IJCAI(5) JELIA(4) AAAI(3) ACM Trans. Comput. Log.(3) Answer Set Programming(3) CENT(2) ECAI(2) ECSQARU(2) INAP/WLP(2) J. Log. Comput.(2) More (+10 of total 43)
Authors
Hans Tompits(118) Stefan Woltran(51) Thomas Eiter(43) Torsten Schaub(30) Michael Fink(24) Johannes Oetsch(19) James P. Delgrande(17) Jörg Pührer(17) Uwe Egly(15) Giuliana Sabbatini(12) Roman Schindlauer(10) Giovambattista Ianni(8) David Pearce(7) Martina Seidl(7) Axel Polleres(6) Jos de Bruijn(5) More (+10 of total 39)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords
Results
Found 118 publication records. Showing 118 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Johannes Oetsch, Jörg Pührer, Hans Tompits Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Christian Kloimüllner, Johannes Oetsch, Jörg Pührer, Hans Tompits Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits Embedding nonground logic programs into autoepistemic logic for knowledge-base combination. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer Towards Semantics-Aware Merge Support in Optimistic Model Versioning. Search on Bibsonomy MoDELS Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Stepping through an Answer-Set Program. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Martina Seidl, Hans Tompits, Patrick Zwickl VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Hans Tompits Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Martin Schwengerer, Hans Tompits The System Kato: Detecting Cases of Plagiarism for Answer-Set Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Catching the Ouroboros: On debugging non-ground answer-set programs. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Martin Schwengerer, Hans Tompits The system Kato: Detecting cases of plagiarism for answer-set programs. Search on Bibsonomy TPLP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Ilkka Niemelä, Johannes Oetsch, Jörg Pührer, Hans Tompits On Testing Answer-Set Programs. Search on Bibsonomy ECAI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Methods and Methodologies for Developing Answer-Set Programs - Project Description. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran A general approach to belief change in answer set programming Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1David Pearce, Hans Tompits, Stefan Woltran Characterising equilibrium logic and nested logic programs: Reductions and complexity Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran Modularity Aspects of Disjunctive Stable Models. Search on Bibsonomy J. Artif. Intell. Res. (JAIR) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1David Pearce, Hans Tompits, Stefan Woltran Characterising equilibrium logic and nested logic programs: Reductions and complexity, . Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran Merging Logic Programs under Answer Set Semantics. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF strong equivalence, answer set programming, belief merging
1Jörg Pührer, Hans Tompits Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits Combining answer set programming with description logics for the Semantic Web. Search on Bibsonomy Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Jörg Pührer, Hans Tompits, Stefan Woltran Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Hans Tompits Program Correspondence under the Answer-Set Semantics: The Non-ground Case. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets. Search on Bibsonomy FoIKS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran Belief Revision of Logic Programs under Answer Set Semantics. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Wolfgang Faber, Hans Tompits, Stefan Woltran Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Jos de Bruijn, Thomas Eiter, Hans Tompits Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits A Meta-Programming Technique for Debugging Answer-Set Programs. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits A General Framework for Expressing Preferences in Causal Reasoning and Planning. Search on Bibsonomy J. Log. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink, Hans Tompits A knowledge-based approach for selecting information sources. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran Complexity Results for Checking Equivalence of Stratified Logic Programs. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1David Pearce, Hans Tompits, Stefan Woltran Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report. Search on Bibsonomy CENT The full citation details ... 2007 DBLP  BibTeX  RDF
1Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran Debugging ASP Programs by Means of ASP. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report. Search on Bibsonomy CENT The full citation details ... 2007 DBLP  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits A Preference-Based Framework for Updating Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran Modularity Aspects of Disjunctive Stable Models. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Hans Tompits, Stefan Woltran Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection. Search on Bibsonomy AAAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT. Search on Bibsonomy INAP/WLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink, Hans Tompits A Knowledge-Based Approach for Selecting Information Sources Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. Search on Bibsonomy ESWC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans Tompits On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules. Search on Bibsonomy KSEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang Forgetting in Managing Rules and Ontologies. Search on Bibsonomy Web Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. Search on Bibsonomy Web Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran Replacements in Non-Ground Answer-Set Programming. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits Reasoning with Rules and Ontologies. Search on Bibsonomy Reasoning Web The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran Replacements in Non-Ground Answer-Set Programming. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results. Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Michael Fink, Hans Tompits, Stefan Woltran (eds.) 20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006 Search on Bibsonomy WLP The full citation details ... 2006 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits Reasoning about evolving nonmonotonic knowledge bases. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF knowledge-base evolution, logic-program updates, nonmonotonic knowledge bases, computational complexity, temporal reasoning, Answer-set semantics, program equivalence
1Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Thomas Eiter, Hans Tompits, Stefan Woltran On Solution Correspondences in Answer-Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Hans Tompits, Stefan Woltran Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran Representing Paraconsistent Reasoning via Quantified Propositional Logic. Search on Bibsonomy Inconsistency Tolerance The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Hans Tompits, Stefan Woltran Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case. Search on Bibsonomy AAAI The full citation details ... 2005 DBLP  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran On Computing Belief Change Operations using Quantified Boolean Formulas. Search on Bibsonomy J. Log. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits, Kewen Wang A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning. Search on Bibsonomy Computational Intelligence The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits Nonmonotonic Description Logic Programs: Implementation and Experiments. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits Domain-Specific Preferences for Causal Reasoning and Planning. Search on Bibsonomy ICAPS The full citation details ... 2004 DBLP  BibTeX  RDF
1Thomas Linke, Hans Tompits, Stefan Woltran On Acyclic and Head-Cycle Free Nested Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran Simplifying Logic Programs Under Uniform and Strong Equivalence. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran nlp: A Compiler for Nested Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits Well-Founded Semantics for Description Logic Programs in the Semantic Web. Search on Bibsonomy RuleML The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran On Eliminating Disjunctions in Stable Logic Programming. Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
1Thomas Eiter, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits Combining Answer Set Programming with Description Logics for the Semantic Web. Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits Domain-Specific Preferences for Causal Reasoning and Planning. Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
1Thomas Linke, Hans Tompits, Stefan Woltran On acyclic and head-cycle free nested logic programs. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Uwe Egly, Hans Tompits On Different Proof-Search Strategies for Orthologic. Search on Bibsonomy Studia Logica The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hans Tompits Expressing default abduction problems as quantified Boolean formulas. Search on Bibsonomy AI Commun. The full citation details ... 2003 DBLP  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits A Framework for Compiling Preferences in Logic Programs. Search on Bibsonomy TPLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories. Search on Bibsonomy ECSQARU The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, Michael Zolda Comparing Different Prenexing Strategies for Quantified Boolean Formulas. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits Declarative Update Policies for Nonmonotonic Knowledge Bases. Search on Bibsonomy Logics for Emerging Applications of Databases The full citation details ... 2003 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits A Framework for Compiling Preferences in Logic Programs Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits Reasoning about Evolving Nonmonotonic Knowledge Bases Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits On Properties of Update Sequences Based on Causal Rejection. Search on Bibsonomy TPLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits Using Methods of Declarative Logic Programming for Intelligent Information Agents. Search on Bibsonomy TPLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report. Search on Bibsonomy ICLP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits A Generic Approach for Knowledge-Based Information-Site Selection. Search on Bibsonomy KR The full citation details ... 2002 DBLP  BibTeX  RDF
1David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems. Search on Bibsonomy Paraconsistent Computational Logic The full citation details ... 2002 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits On Properties of Update Sequences Based on Causal Rejection Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits Using Methods of Declarative Logic Programming for Intelligent Information Agents Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Uwe Egly, Hans Tompits Proof-complexity results for nonmonotonic reasoning. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF default logic, circumscription, sequent calculi
1David Pearce, Hans Tompits, Stefan Woltran Encodings for Equilibrium Logic and Logic Programs with Nested Expressions. Search on Bibsonomy EPIA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits A Framework for Declarative Update Specifications in Logic Programs. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Thomas Eiter, Michael Fink, Giuliana Sabbatini, Hans Tompits Reasoning about Evolving Nonmonotonic Knowledge Bases. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran On Computing Solutions to Belief Change Scenarios. Search on Bibsonomy ECSQARU The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 118 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.