Hans Tompits

发表

Towards a Reliable and Context-Based System Architecture for Autonomous Vehicles

Tobias Kain, Philipp Mundhenk, Julian-Steffen Müller, 2020, ASD@DATE.

Forgetting in Managing Rules and Ontologies

Hans Tompits, Kewen Wang, Thomas Eiter, 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

nlp: A Compiler for Nested Logic Programming

Stefan Woltran, Hans Tompits, Torsten Schaub, 2004, LPNMR.

Debugging ASP Programs by Means of ASP

Stefan Woltran, Hans Tompits, Martin Gebser, 2007, LPNMR.

A Generic Approach for Knowledge-Based Information-Site Selection

Hans Tompits, Thomas Eiter, Michael Fink, 2002, International Conference on Principles of Knowledge Representation and Reasoning.

A many-sorted variant of Japaridze's polymodal provability logic

Hans Tompits, Lev D. Beklemishev, Gerald Berger, 2018, Log. J. IGPL.

A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming

Hans Tompits, Thomas Eiter, Giovambattista Ianni, 2005, IJCAI.

Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case

Stefan Woltran, Hans Tompits, Thomas Eiter, 2005, AAAI.

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support

Hans Tompits, Johannes Oetsch, Jörg Pührer, 2013, Theory and Practice of Logic Programming.

Using Methods of Declarative Logic Programming for Intelligent Information Agents

Hans Tompits, Thomas Eiter, Michael Fink, 2002, Theory Pract. Log. Program..

Nonmonotonic Description Logic Programs: Implementation and Experiments

Hans Tompits, Thomas Eiter, Giovambattista Ianni, 2005, LPAR.

Event-sequence testing using answer-set programming

Katsumi Inoue, Hans Tompits, Esra Erdem, 2012 .

Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks

Stefan Woltran, Hans Tompits, Thomas Eiter, 2002, TABLEAUX.

A framework for compiling preferences in logic programs

Hans Tompits, Torsten Schaub, James P. Delgrande, 2002, Theory and Practice of Logic Programming.

On the Small-Scope Hypothesis for Testing Answer-Set Programs

Hans Tompits, Johannes Oetsch, Jörg Pührer, 2012, KR.

Applications of Logic Programming in the Semantic Web and Semantic Web Services August

Jos de Bruijn, Adrian Giurca, Gerd Wagner, 2006 .

On Different Proof-Search Strategies for Orthologic

Hans Tompits, Uwe Egly, 2003, Stud Logica.

On Computing Belief Change Operations using Quantified Boolean Formulas

Stefan Woltran, Hans Tompits, Torsten Schaub, 2004, J. Log. Comput..

A Tableau Calculus for a Multi-modal Logic of Dishonesty

Hans Tompits, Sanja Pavlovic, H. Tompits, 2018, AI*IA.

Complexity Results for Checking Equivalence of Stratified Logic Programs

Stefan Woltran, Hans Tompits, Thomas Eiter, 2007, IJCAI.

Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP

Stefan Woltran, Hans Tompits, Thomas Eiter, 2000, WLP.

QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks

Stefan Woltran, Hans Tompits, Thomas Eiter, 2000, ArXiv.

Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems

Stefan Woltran, Hans Tompits, Torsten Schaub, 2002, JELIA.

The system Kato: Detecting cases of plagiarism for answer-set programs

Hans Tompits, Johannes Oetsch, Jörg Pührer, 2010, Theory Pract. Log. Program..

A Sequent Calculus for Intuitionistic Default Logic

Hans Tompits, Uwe Egly, U. Egly, 1997, WLP.

An Update Front-End for Extended Logic Programs

Hans Tompits, Thomas Eiter, Michael Fink, 2001, LPNMR.

Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains

Stefan Woltran, Hans Tompits, Michael Fink, 2007, LPNMR.

Implementing Default Reasoning Using Quantified Boolean Formulae

Stefan Woltran, Hans Tompits, Thomas Eiter, 2000, WLP.

On acyclic and head-cycle free nested logic programs

Stefan Woltran, Hans Tompits, Thomas Linke, 2004, NMR.

Reasoning about evolving nonmonotonic knowledge bases

Hans Tompits, Thomas Eiter, Michael Fink, 2001, TOCL.

\mathsf Harvey : A System for Random Testing in ASP

Hans Tompits, Johannes Oetsch, Alexander Greßler, 2017, LPNMR.

Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence

Stefan Woltran, Hans Tompits, Jörg Pührer, 2008, ICLP.

Random vs. Structure-Based Testing of Answer-Set Programs: An Experimental Comparison

Hans Tompits, Ilkka Niemelä, Johannes Oetsch, 2011, LPNMR.

spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics

Stefan Woltran, Hans Tompits, Martin Gebser, 2007, INAP/WLP.

A Classification and Survey of Preference Handling Approaches in Nonmonotonic Reasoning

Hans Tompits, Torsten Schaub, Kewen Wang, 2004, Comput. Intell..

Modularity Aspects of Disjunctive Stable Models

Stefan Woltran, Hans Tompits, Tomi Janhunen, 2007, LPNMR.

20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006

Stefan Woltran, Hans Tompits, Michael Fink, 2006, WLP.

Combining answer set programming with description logics for the Semantic Web

Hans Tompits, Thomas Lukasiewicz, Thomas Eiter, 2004, Artif. Intell..

Reasoning about Evolving Nonmonotonic Knowledge Bases

Hans Tompits, Thomas Eiter, Michael Fink, 2001, LPAR.

Some Strengths of Nonmonotonic Reasoning

Hans Tompits, Uwe Egly, 2000, Intellectics and Computational Logic.

Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?

Hans Tompits, Armin Biere, Martina Seidl, 2017, IJCAI.

On Structural Analysis of Non-Ground Answer-Set Programs

Hans Tompits, Peter Schüller, Benjamin Kiesl, 2015, ICLP.

Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence

Hans Tompits, Johannes Oetsch, H. Tompits, 2011, LPNMR.

Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories

Stefan Woltran, Hans Tompits, Torsten Schaub, 2003, ECSQARU.

Declarative Knowledge Updates Through Agents

Hans Tompits, Thomas Eiter, Michael Fink, 2001 .

Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs pdf

Hans Tompits, Johannes Oetsch, Jörg Pührer, 2011, INAP/WLP.

A Web-based Tutoring Tool for Calculating Default Logic Extensions

Hans Tompits, Michael Fink, Axel Polleres, 1999, WebNet.

Guided Merging of Sequence Diagrams

Gerti Kappel, Hans Tompits, Petra Kaufmann, 2012, SLE.

Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results

Stefan Woltran, Hans Tompits, Thomas Eiter, 2001, Answer Set Programming.

VIDEAS: A Development Tool for Answer-Set Programs Based on Model-Driven Engineering Technology

Hans Tompits, Martina Seidl, Johannes Oetsch, 2011, LPNMR.

A Model-Theoretic Approach to Belief Change in Answer Set Programming

Stefan Woltran, Hans Tompits, Torsten Schaub, 2013, TOCL.

Local Redundancy in SAT: Generalizations of Blocked Clauses

Hans Tompits, Armin Biere, Martina Seidl, 2017, Log. Methods Comput. Sci..

Domain-Specific Preferences for Causal Reasoning and Planning

Hans Tompits, Torsten Schaub, James P. Delgrande, 2004, ICAPS.

Super-Blocked Clauses

Hans Tompits, Armin Biere, Martina Seidl, 2016, IJCAR.

ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics

Stefan Woltran, Hans Tompits, Martina Seidl, 2006, JELIA.

Notions of Strong Equivalence for Logic Programs with Ordered Disjunction

Wolfgang Faber, Stefan Woltran, Hans Tompits, 2008, KR.

Applications of Declarative Programming and Knowledge Management: 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming

Hans Tompits, Salvador Abreu, Johannes Oetsch, 2013 .

Towards Semantics-Aware Merge Support in Optimistic Model Versioning

Gerti Kappel, Hans Tompits, Petra Kaufmann, 2011, MoDELS Workshops.

A Compiler for Ordered Logic Programs

Hans Tompits, Torsten Schaub, James P. Delgrande, 2000, ArXiv.

Towards Scenario-Based Testing of UML Diagrams

Gerti Kappel, Hans Tompits, Petra Kaufmann, 2012, TAP@TOOLS.

Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic

Jos de Bruijn, Hans Tompits, Thomas Eiter, 2008, KR.

Stepping through an Answer-Set Program

Hans Tompits, Johannes Oetsch, Jörg Pührer, 2011, LPNMR.

Blocked Clauses in First-Order Logic ∗ pdf

Hans Tompits, Armin Biere, Martina Seidl, 2017 .

Non-elementary Speed-Ups in Default Reasoning

Hans Tompits, Uwe Egly, 1997, ECSQARU-FAPR.

Modularity Aspects of Disjunctive Stable Models

Stefan Woltran, Hans Tompits, Tomi Janhunen, 2007, LPNMR.

plp: A Generic Compiler for Ordered Logic Programs

Hans Tompits, Torsten Schaub, James P. Delgrande, 2001, LPNMR.

Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT

Stefan Woltran, Hans Tompits, Martina Seidl, 2007, INAP/WLP.

Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation

Stefan Woltran, Hans Tompits, Thomas Eiter, 2003, Answer Set Programming.

Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection

Stefan Woltran, Hans Tompits, Johannes Oetsch, 2007, AAAI.

Is Non-Monotonic Reasoning Always Harder?

Hans Tompits, Uwe Egly, 1997, LPNMR.

A general approach to belief change in answer set programming pdf

Stefan Woltran, Hans Tompits, Torsten Schaub, 2009, ArXiv.

A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results

Stefan Woltran, Hans Tompits, Martina Seidl, 2006, WLP.

dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics

Hans Tompits, Thomas Eiter, Giovambattista Ianni, 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

On Eliminating Disjunctions in Stable Logic Programming

Stefan Woltran, Hans Tompits, Thomas Eiter, 2004, KR.

Merging Logic Programs under Answer Set Semantics

Stefan Woltran, Hans Tompits, Torsten Schaub, 2009, ICLP.

On properties of update sequences based on causal rejection

Hans Tompits, Thomas Eiter, Michael Fink, 2001, Theory and Practice of Logic Programming.

Logic Programs with Compiled Preferences

Hans Tompits, Torsten Schaub, James P. Delgrande, 2000, ECAI.

On Proof Complexity of Circumscription

Hans Tompits, Uwe Egly, 1998, TABLEAUX.

Replacements in Non-Ground Answer-Set Programming

Stefan Woltran, Hans Tompits, Thomas Eiter, 2006, WLP.

"That is illogical, Captain!" : the debugging support tool spock for answer-set programs ; system description

Stefan Woltran, Hans Tompits, Martin Gebser, 2007 .

A Compilation of Brewka and Eiter's Approach to Prioritization

Hans Tompits, Torsten Schaub, James P. Delgrande, 2000, JELIA.

A General Framework for Expressing Preferences in Causal Reasoning and Planning

Hans Tompits, Torsten Schaub, James P. Delgrande, 2007, J. Log. Comput..

A Framework for Declarative Update Specifications in Logic Programs

Hans Tompits, Thomas Eiter, Michael Fink, 2001, IJCAI.

Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming

Stefan Woltran, Hans Tompits, H. Tompits, 2005, Answer Set Programming.

Stepwise debugging of answer-set programs* pdf

Hans Tompits, Johannes Oetsch, Jörg Pührer, 2017, Theory and Practice of Logic Programming.

The SeaLion has Landed: An IDE for Answer-Set Programming - Preliminary Report

Hans Tompits, Johannes Oetsch, Jörg Pührer, 2011, INAP/WLP.

Proof-complexity results for nonmonotonic reasoning

Hans Tompits, Uwe Egly, 2001, TOCL.

Comparing Different Prenexing Strategies for Quantified Boolean Formulas

Stefan Woltran, Hans Tompits, Martina Seidl, 2003, SAT.

Reasoning with Rules and Ontologies

Hans Tompits, Thomas Eiter, Axel Polleres, 2006, Reasoning Web.

Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning

Hans Tompits, Thomas Eiter, Giovambattista Ianni, 2006, ESWC.

On Computing Solutions to Belief Change Scenarios

Stefan Woltran, Hans Tompits, Torsten Schaub, 2001, ECSQARU.

On Testing Answer-Set Programs

Hans Tompits, Ilkka Niemelä, Johannes Oetsch, 2010, ECAI.

dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework

Hans Tompits, Thomas Eiter, Giovambattista Ianni, 2006, WLP.

Stepwise Debugging of Description-Logic Programs

Hans Tompits, Johannes Oetsch, Jörg Pührer, 2012, Correct Reasoning.

Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection

Hans Tompits, Jörg Pührer, 2009, LPNMR.

Answer-Set Programming as a new Approach to Event-Sequence Testing

Katsumi Inoue, Hans Tompits, Esra Erdem, 2011 .

Extending Object-Oriented Languages by Declarative Specifications of Complex Objects using Answer-Set Programming pdf

Hans Tompits, Johannes Oetsch, Jörg Pührer, 2011, ArXiv.

ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions

Stefan Woltran, Hans Tompits, Martina Seidl, 2009, LPNMR.

Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report

Stefan Woltran, Hans Tompits, David Pearce, 2007, CENT.

16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009)

Hans Tompits, Thomas Eiter, Frank Wolter, 2010 .

Characterising Relativised Strong Equivalence with Projection for Non-ground Answer-Set Programs

Hans Tompits, Tobias Geibinger, H. Tompits, 2019, JELIA.

Specifying Update Policies for Nonmonotonic Knowledge Bases

Hans Tompits, Thomas Eiter, Michael Fink, 2004 .

An FLP-Style Answer-Set Semantics for Abstract-Constraint Programs with Disjunctions

Hans Tompits, Johannes Oetsch, Jörg Pührer, 2012, ICLP.

Program Correspondence under the Answer-Set Semantics: The Non-ground Case

Hans Tompits, Johannes Oetsch, 2008, ICLP.

\mathsf Uhura : An Authoring Tool for Specifying Answer-Set Programs Using Controlled Natural Language

Tobias Kain, Hans Tompits, 2019, JELIA.

A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report

Stefan Woltran, Hans Tompits, Torsten Schaub, 2002, NMR.

Model-based recasting in answer-set programming

Stefan Woltran, Hans Tompits, Thomas Eiter, 2013, J. Appl. Non Class. Logics.

Methods and Methodologies for Developing Answer-Set Programs - Project Description

Hans Tompits, Johannes Oetsch, Jörg Pührer, 2010, ICLP.

A Meta-Programming Technique for Debugging Answer-Set Programs

Hans Tompits, Martin Gebser, Torsten Schaub, 2008, AAAI.

A Preference-Based Framework for Updating Logic Programs

Hans Tompits, Torsten Schaub, James P. Delgrande, 2007, LPNMR.

Reasoning Methods for Personalization on the Semantic Web

Hans Tompits, Thomas Eiter, François Bry, 2004 .

Expressing default abduction problems as quantified Boolean formulas

Hans Tompits, 2003, AI Commun..

A knowledge-based approach for selecting information sources*

Hans Tompits, Thomas Eiter, Michael Fink, 2006, Theory and Practice of Logic Programming.

An Approach for Representing Answer Sets in Natural Language

Hans Tompits, Min Fang, H. Tompits, 2017, DECLARE.

On Solution Correspondences in Answer-Set Programming

Stefan Woltran, Hans Tompits, Thomas Eiter, 2005, IJCAI.

Declarative Update Policies for Nonmonotonic Knowledge Bases

Hans Tompits, Thomas Eiter, Michael Fink, 2003, Logics for Emerging Applications of Databases.

Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics

Hans Tompits, Tobias Geibinger, 2020, ICLP Technical Communications.

A Sequent-Type Calculus for Three-Valued Default Logic, Or: Tweety Meets Quartum Non Datur

Hans Tompits, Sopo Pkhakadze, H. Tompits, 2019, LPNMR.

Simplifying Logic Programs Under Uniform and Strong Equivalence

Stefan Woltran, Hans Tompits, Thomas Eiter, 2004, LPNMR.

Sequent-Type Calculi for Three-Valued and Disjunctive Default Logic

Hans Tompits, Sopo Pkhakadze, H. Tompits, 2020, Axioms.

On Axiomatic Rejection for the Description Logic ALC

Hans Tompits, Gerald Berger, H. Tompits, 2013, KDPD.

Representing Paraconsistent Reasoning via Quantified Propositional Logic

Stefan Woltran, Hans Tompits, Torsten Schaub, 2005, Inconsistency Tolerance.

Well-Founded Semantics for Description Logic Programs in the Semantic Web

Hans Tompits, Thomas Lukasiewicz, Thomas Eiter, 2004, RuleML.

Considerations on Updates of Logic Programs

Hans Tompits, Thomas Eiter, Michael Fink, 2000, JELIA.

Encodings for Equilibrium Logic and Logic Programs with Nested Expressions

Stefan Woltran, Hans Tompits, David Pearce, 2001, EPIA.

Characterising equilibrium logic and nested logic programs: Reductions and complexity1,2

Stefan Woltran, Hans Tompits, David Pearce, 2009, Theory and Practice of Logic Programming.

Embedding nonground logic programs into autoepistemic logic for knowledge-base combination pdf

Jos de Bruijn, Hans Tompits, Thomas Eiter, 2007, TOCL.

On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules

Jos de Bruijn, Hans Tompits, Thomas Eiter, 2006, KSEM.

Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas

Stefan Woltran, Hans Tompits, Thomas Eiter, 2000, AAAI/IAAI.

Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets

Stefan Woltran, Hans Tompits, Martin Gebser, 2008, FoIKS.

Theory and Practice of Logic Programming Annotating Answerset Programs in Lana Annotating Answer-set Programs in Lana

Hans Tompits, Marina De Vos, Johannes Oetsch, 2022 .

Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report

Stefan Woltran, Hans Tompits, Martin Gebser, 2007, CENT.

C-PO: A Context-Based Application-Placement Optimization for Autonomous Vehicles

Tobias Kain, Julian-Steffen Müller, Hans Tompits, 2021, 2021 Design, Automation & Test in Europe Conference & Exhibition (DATE).

NLP-DL : A Knowledge-Representation System for Coupling Nonmonotonic Logic Programs with Description Logics �

Hans Tompits, Thomas Eiter, Giovambattista Ianni, 2022 .

DISJUNCTIVE LOGIC PROGRAMS

Stefan Woltran, Hans Tompits, Torsten Schaub, 2002 .

Paraconsistent Reasoning via Quantified Boolean Formulas , II : Circumscribing Inconsistent Theories ?

Stefan Woltran, Hans Tompits, Torsten Schaub, 2002 .

ON UPDATES OF LOGIC PROGRAMS: SEMANTICS AND PROPERTIES

Hans Tompits, Thomas Eiter, Michael Fink, 2000 .

dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics!

Hans Tompits, Thomas Eiter, Giovambattista Ianni, 2006 .

A survey of non-monotonic reasoning

Hans Tompits, H. Tompits, 1995 .

DLV-HEX : Dealing with Semantic Web under Answer-Set Programming �

Hans Tompits, Thomas Eiter, Giovambattista Ianni, 2005 .