Thomas Eiter
Orcid: 0000-0001-6003-6345Affiliations:
- TU Wien, Vienna, Austria
According to our database1,
Thomas Eiter
authored at least 419 papers
between 1991 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2020, "For contributions to knowledge representation and reasoning, logic programming, and declarative problem solving".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM.
Theory Pract. Log. Program., March, 2024
Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasets.
CoRR, 2024
Artif. Intell., 2024
Proceedings of the Neural-Symbolic Learning and Reasoning - 18th International Conference, 2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
2023
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling.
Theory Pract. Log. Program., November, 2023
Theory Pract. Log. Program., 2023
J. Artif. Intell. Res., 2023
Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023
Proceedings of the 17th International Workshop on Neural-Symbolic Learning and Reasoning, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023
A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Semantically Guided Scene Generation via Contextual Reasoning and Algebraic Measures.
Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
2022
Theory Pract. Log. Program., 2022
Theory Pract. Log. Program., 2022
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Hybrid Answer Set Programming: Opportunities and Challenges (Joint DL+NMR Invited Talk Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures (Extended Abstract).
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Theory Pract. Log. Program., 2021
Theory Pract. Log. Program., 2021
Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.
Theory Pract. Log. Program., 2021
Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.
CoRR, 2021
Pruning external minimality checking for answer set programs using semantic dependencies.
Artif. Intell., 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Theory Pract. Log. Program., 2020
Theory Pract. Log. Program., 2020
SIGMOD Rec., 2020
Dagstuhl Reports, 2020
Constraint Monotonicity, Epistemic Splitting and Foundedness Are Too Strong in Answer Set Programming.
CoRR, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the CIKM 2020 Workshops co-located with 29th ACM International Conference on Information and Knowledge Management (CIKM 2020), 2020
2019
Theory Pract. Log. Program., 2019
A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective.
Künstliche Intell., 2019
Int. J. Intell. Transp. Syst. Res., 2019
CoRR, 2019
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the 32nd International Workshop on Description Logics, 2019
Proceedings of the Modeling and Using Context, 2019
Reasoning with Justifiable Exceptions in <i>E</i>ℒ_\bot Contextualized Knowledge Repositories.
Proceedings of the Description Logic, Theory Combination, and All That, 2019
2018
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning.
Theory Pract. Log. Program., 2018
Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP.
Künstliche Intell., 2018
Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.
J. Artif. Intell. Res., 2018
CoRR, 2018
CoRR, 2018
Artif. Intell., 2018
Artif. Intell., 2018
LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract).
Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges.
Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018
Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract).
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract).
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
2017
Theory Pract. Log. Program., 2017
J. Artif. Intell. Res., 2017
Proceedings of the Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, 2017
Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the IEEE International Conference on Communications, 2017
Proceedings of the Semantic Web - 14th International Conference, 2017
Proceedings of the Progress in Artificial Intelligence, 2017
2016
Theory Pract. Log. Program., 2016
J. Artif. Intell. Res., 2016
Artif. Intell., 2016
Proceedings of the Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan, October 17th - to, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016
Proceedings of the Knowledge Engineering and Knowledge Management, 2016
Problem Solving Using the HEX Family.
Proceedings of the Computational Models of Rationality, 2016
2015
Introduction to the 31st International Conference on Logic Programming special issue.
Theory Pract. Log. Program., 2015
J. Artif. Intell. Res., 2015
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), 2015
Proceedings of the Semantic Technology - 5th Joint International Conference, 2015
Proceedings of the Joint Ontology Workshops 2015 Episode 1: The Argentine Winter of Ontology co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
J. Artif. Intell. Res., 2014
Answering regular path queries in expressive Description Logics via alternating tree-automata.
Inf. Comput., 2014
Artif. Intell., 2014
Proceedings of the Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
Theory Pract. Log. Program., 2013
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Declarative Programming and Knowledge Management, 2013
Proceedings of the Semantic Web: Semantics and Big Data, 10th International Conference, 2013
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
2012
J. Comput. Syst. Sci., 2012
Proceedings of the 6th International Workshop on Modular Ontologies, 2012
Proceedings of the Semantic Web - ISWC 2012, 2012
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012
Inconsistency Management for Traffic Regulations: Formalization and Complexity Results.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012
Proceedings of the Foundations of Information and Knowledge Systems, 2012
Proceedings of the 2012 International Workshop on Description Logics, 2012
Proceedings of the Semantic Web and Web Science, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
Proceedings of the Semantic Cities, 2012
2011
ACM Trans. Comput. Log., 2011
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination.
ACM Trans. Comput. Log., 2011
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011
Proceedings of the Practical Aspects of Declarative Languages, 2011
Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011
Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2010
ACM Trans. Comput. Log., 2010
Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems, 2010
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the Artificial Intelligence in Theory and Practice III, 2010
Proceedings of the Semantic Web: Research and Applications, 2010
Proceedings of the ECAI 2010, 2010
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010
Proceedings of the Datalog Reloaded - First International Workshop, 2010
Proceedings of the Fields of Logic and Computation, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009
Proceedings of the Logic, 2009
Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009
Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the IJCAI 2009, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009
2008
ACM Trans. Database Syst., 2008
J. Autom. Reason., 2008
Discret. Appl. Math., 2008
Ann. Math. Artif. Intell., 2008
Artif. Intell., 2008
Maintenance goals of agents in a dynamic environment: Formulation and policy construction.
Artif. Intell., 2008
A knowledge-based videotheodolite measurement system for object representation/monitoring.
Adv. Eng. Softw., 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the ECAI 2008, 2008
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008
Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
Theory Pract. Log. Program., 2007
Semantical characterizations and complexity of equivalences in answer set programming.
ACM Trans. Comput. Log., 2007
J. ACM, 2007
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution.
Fundam. Informaticae, 2007
Complexity results for answer set programming with bounded predicate arities and implications.
Ann. Math. Artif. Intell., 2007
Ann. Math. Artif. Intell., 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
\mathbb<i>FDNC</i>: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols.
Proceedings of the Logic for Programming, 2007
Proceedings of the IJCAI 2007, 2007
Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination.
Proceedings of the IJCAI 2007, 2007
Proceedings of the Logic Programming, 23rd International Conference, 2007
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications.
Theory Pract. Log. Program., 2006
ACM Trans. Comput. Log., 2006
Theor. Comput. Sci., 2006
Artif. Intell., 2006
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework.
Proceedings of the 20th Workshop on Logic Programming, 2006
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006
Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006
On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules.
Proceedings of the Knowledge Science, 2006
Proceedings of the Proceedings, 2006
An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
Proceedings of the International Conference on Image Processing, 2006
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning.
Proceedings of the Semantic Web: Research and Applications, 2006
Resolving Conflicts in Action Descriptions.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics.
Proceedings of the Proceedings, 2006
Proceedings of the Proceedings, 2006
2005
ACM Trans. Comput. Log., 2005
CoRR, 2005
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005
Boosting Information Integration: The INFOMIX System.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case.
Proceedings of the Proceedings, 2005
Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains.
Proceedings of the Proceedings, 2005
2004
ACM Trans. Comput. Log., 2004
Artif. Intell., 2004
Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Logic for Programming, 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
Proceedings of the Logic Based Information Agents, 18.04. - 23.04.2004, 2004
2003
Theory Pract. Log. Program., 2003
SIAM J. Comput., 2003
A logic programming approach to knowledge-state planning, II: The DLV<sup>K</sup> system.
Artif. Intell., 2003
Proceedings of the UAI '03, 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
Proceedings of the Discovery Science, 6th International Conference, 2003
Declarative Update Policies for Nonmonotonic Knowledge Bases.
Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003
Proceedings of the Computer Science Logic, 17th International Workshop, 2003
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation.
Proceedings of the Answer Set Programming, 2003
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Proceedings of the Answer Set Programming, 2003
Proceedings of the Algorithmic Learning Theory, 14th International Conference, 2003
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Theory Pract. Log. Program., 2002
Theory Pract. Log. Program., 2002
Inf. Process. Lett., 2002
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002
A Generic Approach for Knowledge-Based Information-Site Selection.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002
2001
Ann. Math. Artif. Intell., 2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
A Framework for Declarative Update Specifications in Logic Programs.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Complexity of Nested Circumscription and Abnormality Theories.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Proceedings of the Developments in Language Theory, 5th International Conference, 2001
Proceedings of the Data Warehousing and Knowledge Discovery, 2001
Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.
Proceedings of the Answer Set Programming, 2001
Proceedings of the Answer Set Programming, 2001
2000
Artif. Intell., 2000
Artif. Intell., 2000
Using the dlv System for Planning and Diagnostic Reasoning.
Proceedings of the 14. Workshop Logische Programmierung, 2000
Implementing Default Reasoning Using Quantified Boolean Formulae.
Proceedings of the 14. Workshop Logische Programmierung, 2000
Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP.
Proceedings of the WLP 2000, 2000
Proceedings of the Logic for Programming and Automated Reasoning, 2000
Complexity Results for Default Reasoning from Conditional Knowledge Bases.
Proceedings of the KR 2000, 2000
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000
Proceedings of the Foundations of Information and Knowledge Systems, 2000
Prioritizing Default Logic.
Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
Heterogenous Active Agents
MIT Press, ISBN: 0-262-19436-8, 2000
1999
Artif. Intell., 1999
1998
Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases.
Theor. Comput. Sci., 1998
J. Symb. Log., 1998
The KR System dlv: Progress Report, Comparisons and Benchmarks.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998
Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998
Deontic Action Programs.
Proceedings of the Fundamentals of Information Systems, 1998
1997
Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions.
J. Log. Program., 1997
Ann. Math. Artif. Intell., 1997
The dlv System: Model Generator and Advanced Frontends (system description).
Proceedings of the Twelfth Workshop Logic Programming, 1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
Proceedings of the Algorithms and Computation, 8th International Symposium, 1997
The Complexity Class Theta<sub>2</sub><sup>p</sup>: Recent Results and Applications in AI and Modal Logic.
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997
Proceedings of the Generalized Quantifiers and Computation, 1997
The Architecture of a Disjunctive Deductive Database System.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997
1996
Theor. Comput. Sci., 1996
Mächtigkeit von Logikprogrammierung über Datenbanken.
Künstliche Intell., 1996
J. Comput. Syst. Sci., 1996
Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems.
Ann. Pure Appl. Log., 1996
Proceedings of the Logic in Databases, 1996
Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996
1995
SIAM J. Comput., 1995
Discret. Appl. Math., 1995
Ann. Math. Artif. Intell., 1995
On Modularity Properties of Partial Semantics for Disjunctive Logic Programs.
Proceedings of the 11. Workshop Logische Programmierung, 1995
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995
Proceedings of the Database Theory, 1995
1994
J. Symb. Comput., 1994
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics.
Proceedings of the Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28, 1994
Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994
1993
Theor. Comput. Sci., 1993
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics.
Proceedings of the Logic Programming, 1993
Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993
Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
1992
Reasoning with parsimonious and moderately grounded expansions.
Fundam. Informaticae, 1992
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals.
Artif. Intell., 1992
Artif. Intell., 1992
Complexity Results for Logic-Based Abduction.
Proceedings of the Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992
Complexity of Propositional Knowledge Base Revision.
Proceedings of the CNKBS'92, 1992
1991
Sperrverfahren für B-Bäume im Vergleich.
Inform. Spektrum, 1991