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 (24) 2012-2016 (15) 2017-2018 (11)
Publication types (Num. hits)
article(46) inproceedings(98) proceedings(2)
Venues (Conferences, Journals, ...)
CoRR(22) LPNMR(16) TPLP(10) KR(9) WLP(7) ICLP(6) IJCAI(6) INAP/WLP(5) ACM Trans. Comput. Log.(4) JELIA(4) AAAI(3) Answer Set Programming(3) ICLP (Technical Communications...(3) LPAR(3) CENT(2) ECAI(2) More (+10 of total 52)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 9 occurrences of 9 keywords

Results
Found 147 publication records. Showing 146 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Gerald Berger, Lev D. Beklemishev, Hans Tompits A many-sorted variant of Japaridze's polymodal provability logic. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Stepwise debugging of answer-set programs. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere Local Redundancy in SAT: Generalizations of Blocked Clauses. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sanja Pavlovic, Hans Tompits A Tableau Calculus for a Multi-modal Logic of Dishonesty. Search on Bibsonomy AI*IA The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere Local Redundancy in SAT: Generalizations of Blocked Clauses. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Benjamin Kiesl, Martin Suda 0001, Martina Seidl, Hans Tompits, Armin Biere Blocked Clauses in First-Order Logic. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Stepwise Debugging of Answer-Set Programs. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Alexander Greßler, Johannes Oetsch, Hans Tompits \mathsf Harvey : A System for Random Testing in ASP. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Kiesl, Martin Suda 0001, Martina Seidl, Hans Tompits, Armin Biere Blocked Clauses in First-Order Logic. Search on Bibsonomy LPAR The full citation details ... 2017 DBLP  BibTeX  RDF
1Min Fang, Hans Tompits An Approach for Representing Answer Sets in Natural Language. Search on Bibsonomy DECLARE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere Super-Blocked Clauses. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Benjamin Kiesl, Peter Schüller, Hans Tompits On Structural Analysis of Non-Ground Answer-Set Programs. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2015 DBLP  BibTeX  RDF
1Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran Modularity Aspects of Disjunctive Stable Models. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran A Model-Theoretic Approach to Belief Change in Answer Set Programming. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Paula-Andra Busoniu, Johannes Oetsch, Jörg Pührer, Peter Skocovsky, Hans Tompits SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Michael Fink 0001, Jörg Pührer, Hans Tompits, Stefan Woltran Model-based recasting in answer-set programming. Search on Bibsonomy Journal of Applied Non-Classical Logics The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf (eds.) Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers Search on Bibsonomy INAP/WLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gerald Berger, Hans Tompits On Axiomatic Rejection for the Description Logic ALC. Search on Bibsonomy KDPD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits Annotating Answer-Set Programs in LANA? Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Marina De Vos, Doga Gizem Kisa, Johannes Oetsch, Jörg Pührer, Hans Tompits Annotating answer-set programs in Lana. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits Stepwise Debugging of Description-Logic Programs. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Petra Brosch, Uwe Egly, Sebastian Gabmeyer, Gerti Kappel, Martina Seidl, Hans Tompits, Magdalena Widl, Manuel Wimmer Towards Scenario-Based Testing of UML Diagrams. Search on Bibsonomy TAP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Magdalena Widl, Armin Biere, Petra Brosch, Uwe Egly, Marijn Heule, Gerti Kappel, Martina Seidl, Hans Tompits Guided Merging of Sequence Diagrams. Search on Bibsonomy SLE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Johannes Oetsch, Michael Prischink, Jörg Pührer, Martin Schwengerer, Hans Tompits On the Small-Scope Hypothesis for Testing Answer-Set Programs. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Johannes Oetsch, Jörg Pührer, Hans Tompits An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  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
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 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
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, 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
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, Hans Tompits Stepping through an Answer-Set Program. 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
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 INAP/WLP The full citation details ... 2011 DBLP  DOI  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 INAP/WLP The full citation details ... 2011 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 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 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
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
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
1Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran Modularity Aspects of Disjunctive Stable Models. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2009 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 0001, 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
1David Pearce 0001, 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
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
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
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
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
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
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, 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 0001, 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
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 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 0001, Hans Tompits A knowledge-based approach for selecting information sources. Search on Bibsonomy TPLP 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
1David Pearce 0001, 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
1Michael Fink 0001, 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
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
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, 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
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
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
1Thomas Eiter, Michael Fink 0001, 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
1Thomas Eiter, Michael Fink 0001, Hans Tompits A Knowledge-Based Approach for Selecting Information Sources Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  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
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 0001, 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, 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 0001, 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
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 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
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, 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, Michael Fink 0001, 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, Michael Fink 0001, 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
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
1Thomas Eiter, Michael Fink 0001, 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
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
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
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
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
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
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, Michael Fink 0001, 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
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
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 Eiter, Michael Fink 0001, Hans Tompits, Stefan Woltran On Eliminating Disjunctions in Stable Logic Programming. 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
Displaying result #1 - #100 of 146 (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.
open data data released under the ODC-BY 1.0 license