Thomas Eiter

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

2022

Introduction to the Collection of Papers Celebrating the 20th Anniversary of TPLP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

A Neuro-Symbolic ASP Pipeline for Visual Question Answering.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

Reasoning on with Defeasibility in ASP.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

A Neuro-Symbolic ASP Pipeline for Visual Question Answering.

[BibT_eX]

[DOI]

CoRR, 2022

CQELS 2.0: Towards A Unified Framework for Semantic Stream Fusion.

[BibT_eX]

[DOI]

CoRR, 2022

Hybrid Answer Set Programming: Opportunities and Challenges.

[BibT_eX]

[DOI]

Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

A Qualitative Temporal Extension of Here-and-There Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Chasing Streams with Existential Rules.

[BibT_eX]

[DOI]

Jacopo Urbani

Markus Krötzsch

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

ALASPO: An Adaptive Large-Neighbourhood ASP Optimiser.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Considering Constraint Monotonicity and Foundedness in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Abstraction for Non-Ground Answer Set Programs (Extended Abstract).

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Large-Neighbourhood Search for Optimisation in Answer-Set Solving.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Omission-based Abstraction for Answer Set Programs - ERRATUM.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Omission-Based Abstraction for Answer Set Programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Deploying spatial-stream query answering in C-ITS scenarios.

[BibT_eX]

[DOI]

Ryutaro Ichise

Lihua Zhao

Semantic Web, 2021

Reasoning on Multi-Relational Contextual Hierarchies via Answer Set Programming with Algebraic Measures.

[BibT_eX]

[DOI]

CoRR, 2021

Reasoning on DL-LiteR with Defeasibility in ASP.

[BibT_eX]

[DOI]

CoRR, 2021

Abstraction for non-ground answer set programs.

[BibT_eX]

[DOI]

Artif. Intell., 2021

Pruning external minimality checking for answer set programs using semantic dependencies.

[BibT_eX]

[DOI]

Artif. Intell., 2021

Treewidth-Aware Cycle Breaking for Algebraic Answer Set Counting.

[BibT_eX]

[DOI]

Markus Hecher

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.

[BibT_eX]

[DOI]

Aaron Hunter

François Schwarzentruber

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

aspmc: An Algebraic Answer Set Counter.

[BibT_eX]

[DOI]

Markus Hecher

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

A Scalable Reasoning and Learning Approach for Neural-Symbolic Stream Fusion.

[BibT_eX]

[DOI]

Danh Le Phuoc

Anh Lê Tuán

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

On the Complexity of Sum-of-Products Problems over Semirings.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

ASP(𝓐𝒞): Answer Set Programming with Algebraic Constraints.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Managing caching strategies for stream reasoning with reinforcement learning.

[BibT_eX]

[DOI]

Carmine Dodaro

Paul Ogris

Theory Pract. Log. Program., 2020

Dagstuhl Seminar on the Foundations of Composite Event Recognition.

[BibT_eX]

[DOI]

SIGMOD Rec., 2020

Preface.

[BibT_eX]

[DOI]

Marco Maratea

Mauro Vallati

Fundam. Informaticae, 2020

Foundations of Composite Event Recognition (Dagstuhl Seminar 20071).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2020

Constraint Monotonicity, Epistemic Splitting and Foundedness Are Too Strong in Answer Set Programming.

[BibT_eX]

[DOI]

CoRR, 2020

A Semantic Perspective on Omission Abstraction in ASP.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Weighted LARS for Quantitative Stream Reasoning.

[BibT_eX]

[DOI]

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

ASP-Based Signal Plan Adjustments for Traffic Flow Optimization.

[BibT_eX]

[DOI]

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

Reasoning with Justifiable Exceptions in Contextual Hierarchies.

[BibT_eX]

[DOI]

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

An Adaptive Semantic Stream Reasoning Framework for Deep Neural Networks.

[BibT_eX]

[DOI]

Danh Le Phuoc

Proceedings of the CIKM 2020 Workshops co-located with 29th ACM International Conference on Information and Knowledge Management (CIKM 2020), 2020

2019

A Distributed Approach to LARS Stream Reasoning (System paper).

[BibT_eX]

[DOI]

Paul Ogris

Theory Pract. Log. Program., 2019

Special issue on stream reasoning.

[BibT_eX]

[DOI]

Semantic Web, 2019

A Brief Survey on Forgetting from a Knowledge Representation and Reasoning Perspective.

[BibT_eX]

[DOI]

Gabriele Kern-Isberner

Künstliche Intell., 2019

Towards a Semantically Enriched Local Dynamic Map.

[BibT_eX]

[DOI]

Herbert Füreder

Fritz Kasslatter

Int. J. Intell. Transp. Syst. Res., 2019

Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems.

[BibT_eX]

[DOI]

CoRR, 2019

A Note on Reasoning on DL-LiteR with Defeasibility.

[BibT_eX]

[DOI]

CoRR, 2019

Determining inference semantics for disjunctive logic programs.

[BibT_eX]

[DOI]

Artif. Intell., 2019

Reasoning on \textitDL-Lite_ℛ with Defeasibility in ASP.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019

Pruning External Minimality Checking for ASP Using Semantic Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019

Meta-Interpretive Learning Using HEX-Programs.

[BibT_eX]

[DOI]

Katsumi Inoue

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Datalog Translation for Reasoning on DL-Lite_R with Defeasibility.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Justifiable Exceptions in General Contextual Hierarchies.

[BibT_eX]

[DOI]

Proceedings of the Modeling and Using Context, 2019

Reasoning with Justifiable Exceptions in Eℒ_\bot Contextualized Knowledge Repositories.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Stream Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning.

[BibT_eX]

[DOI]

Katsumi Inoue

Theory Pract. Log. Program., 2018

The DLVHEX System.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Lazy Grounding for Dynamic Configuration - Efficient Large-Scale (Re)Configuration of Cyber-Physical Systems with ASP.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Stream Reasoning with LARS.

[BibT_eX]

[DOI]

Künstliche Intell., 2018

Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2018

Alonzo Church Award 2018 - Call for Nominations.

[BibT_eX]

[DOI]

Bull. EATCS, 2018

Towards Abstraction in ASP with an Application on Reasoning about Agent Policies.

[BibT_eX]

[DOI]

CoRR, 2018

Reasoning with Justifiable Exceptions in Contextual Hierarchies (Appendix).

[BibT_eX]

[DOI]

CoRR, 2018

Enhancing context knowledge repositories with justifiable exceptions.

[BibT_eX]

[DOI]

Artif. Intell., 2018

LARS: A Logic-based framework for Analytic Reasoning over Streams.

[BibT_eX]

[DOI]

Artif. Intell., 2018

LARS: A Logic-Based Framework for Analytic Reasoning over Streams - (Extended Abstract).

[BibT_eX]

[DOI]

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

Intentional Forgetting in Artificial Intelligence Systems: Perspectives and Challenges.

[BibT_eX]

[DOI]

Gabriele Kern-Isberner

Proceedings of the KI 2018: Advances in Artificial Intelligence, 2018

Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Ticker: A system for incremental ASP-based stream reasoning.

[BibT_eX]

[DOI]

Christian Folie

Theory Pract. Log. Program., 2017

Preference-Based Inconsistency Management in Multi-Context Systems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2017

Detecting Mobility Patterns using Spatial Query Answering over Streams.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, 2017

Answer Set Programming with External Source Access.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Semantic Interoperability on the Web, 2017

Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Lazy-Grounding for Answer Set Programs with External Source Access.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Streaming Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Stream reasoning-based control of caching strategies in CCN routers.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2017

Spatial Ontology-Mediated Query Answering over Mobility Streams.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - 14th International Conference, 2017

Reactive Maintenance Policies over Equalized States in Dynamic Environments.

[BibT_eX]

[DOI]

Chitta Baral

Proceedings of the Progress in Artificial Intelligence, 2017

2016

A model building framework for answer set programming with external computations.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Computing Repairs of Inconsistent DL-Programs over EL Ontologies.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2016

Semantically Enriched Multi-Modal Routing.

[BibT_eX]

[DOI]

Matthias Prandtstetter

Christian Rudloff

Markus Straub

Int. J. Intell. Transp. Syst. Res., 2016

Helmut Veith (1971-2016).

[BibT_eX]

[DOI]

Richard Zach

Bull. EATCS, 2016

Answer Set Programming: An Introduction to the Special Issue.

[BibT_eX]

[DOI]

AI Mag., 2016

Evaluating epistemic negation in answer set programming.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Data repair of inconsistent nonmonotonic description logic programs.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Domain expansion for ASP-programs with external sources.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Semi-equilibrium models for paracoherent answer set programs.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Towards Spatial Ontology-Mediated Query Answering over Mobility Streams.

[BibT_eX]

[DOI]

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

Generalized Consistent Query Answering under Existential Rules.

[BibT_eX]

[DOI]

Livia Predoiu

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Reactive Policies with Planning for Action Languages.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Equivalent Stream Reasoning Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Artificial intelligence at the gates of dawn?

[BibT_eX]

[DOI]

Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016

A Benchmarking Framework for Stream Processors.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2016

Problem Solving Using the HEX Family.

[BibT_eX]

Proceedings of the Computational Models of Rationality, 2016

2015

Introduction to the 31st International Conference on Logic Programming special issue.

[BibT_eX]

[DOI]

Francesca Toni

Theory Pract. Log. Program., 2015

Distributed Evaluation of Nonmonotonic Multi-context Systems.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2015

Towards Ideal Semantics for Analyzing Stream Reasoning.

[BibT_eX]

[DOI]

CoRR, 2015

A Rule-based Framework for Creating Instance Data from OpenStreetMap.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

Reasoning with Forest Logic Programs Using Fully Enriched Automata.

[BibT_eX]

[DOI]

Cristina Feier

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Linking Open-World Knowledge Bases Using Nonmonotonic Rules.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Towards Comparing RDF Stream Processing Semantics.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on High-Level Declarative Stream Processing co-located with the 38th German AI conference (KI 2015), 2015

Contrasting RDF Stream Processing Semantics.

[BibT_eX]

[DOI]

Proceedings of the Semantic Technology - 5th Joint International Conference, 2015

Answer Update for Rule-Based Stream Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence.

[BibT_eX]

[DOI]

Hannes Strass

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

Preference-Based Diagnosis Selection in Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

LARS: A Logic-Based Framework for Analyzing Reasoning over Streams.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Efficient HEX-Program Evaluation Based on Unfounded Sets.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2014

Answering regular path queries in expressive Description Logics via alternating tree-automata.

[BibT_eX]

[DOI]

Inf. Comput., 2014

FLP answer set semantics without circular justifications for general logic programs.

[BibT_eX]

[DOI]

Artif. Intell., 2014

Finding explanations of inconsistency in multi-context systems.

[BibT_eX]

[DOI]

Artif. Intell., 2014

Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners.

[BibT_eX]

[DOI]

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

Vienna Summer of Logic.

[BibT_eX]

[DOI]

Matthias Baaz

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Computing Repairs for Inconsistent DL-programs over EL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Modular Paracoherent Answer Sets.

[BibT_eX]

[DOI]

Giovanni Amendola

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Towards Practical Deletion Repair of Inconsistent DL-programs.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Contextualized Knowledge Repositories with Justifiable Exceptions.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Defeasibility in Contextual Reasoning with CKR.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

Exploiting Support Sets for Answer Set Programs with External Evaluations.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Finding similar/diverse solutions in answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

Model-based recasting in answer-set programming.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2013

Marco Cadoli's work on nonmonotonic reasoning.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2013

Eliminating Unfounded Set Checking for HEX-Programs

[BibT_eX]

[DOI]

CoRR, 2013

Eliminating Nonmonotonic DL-Atoms in Description Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Inconsistency Management for Description Logic Programs and Beyond.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Hex Semantics via Approximation Fixpoint Theory.

[BibT_eX]

[DOI]

Christian Antic

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

hex-Programs with Existential Quantification.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming and Knowledge Management, 2013

Data Repair of Inconsistent DL-Programs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Lightweight Spatial Conjunctive Query Answering Using Keywords.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Semantics and Big Data, 10th International Conference, 2013

Liberal Safety for Answer Set Programs with External Sources.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

Conflict-driven ASP solving with external sources.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

Conjunctive query answering in the description logic SH using knots.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2012

Distribution and Modularity in Nonmonotonic Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Modular Ontologies, 2012

Linked Stream Data Processing Engines: Facts and Figures.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2012, 2012

Semantic Independence in DL-Programs.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Forgetting for Defeasible Logic.

[BibT_eX]

[DOI]

Grigoris Antoniou

Kewen Wang

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

Exploiting Unfounded Sets for HEX-Program Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Inconsistency Management for Traffic Regulations: Formalization and Complexity Results.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Uniform Evaluation of Nonmonotonic DL-Programs.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2012

Towards Practical Query Answering for Horn-SHIQ.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

The DReW System for Nonmonotonic DL-Programs.

[BibT_eX]

[DOI]

Guohui Xiao

Proceedings of the Semantic Web and Web Science, 2012

Simulating Production Rules Using ACTHEX.

[BibT_eX]

[DOI]

Cristina Feier

Proceedings of the Correct Reasoning, 2012

Query Rewriting for Horn-SHIQ Plus Rules.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Inconsistency Management for Traffic Regulations.

[BibT_eX]

[DOI]

Proceedings of the Semantic Cities, 2012

2011

Well-founded semantics for description logic programs in the semantic web.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2011

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

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2011

Embedding Description Logic Programs into Default Logic

[BibT_eX]

[DOI]

CoRR, 2011

Nested HEX-Programs

[BibT_eX]

[DOI]

CoRR, 2011

Answer set programming at a glance.

[BibT_eX]

[DOI]

Commun. ACM, 2011

Inline Evaluation of Hybrid Knowledge Bases - PhD Description.

[BibT_eX]

[DOI]

Guohui Xiao

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Declarative Belief Set Merging Using Merging Plans.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2011

Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Towards a Policy Language for Managing Inconsistency in Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011

Pushing Efficient Evaluation of HEX Programs by Modular Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Nonmonotonic Multi-Context Systems in Dynamic Environments.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011

Symmetry Breaking for Distributed Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Model Streaming for Distributed Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011

HEX-Programs with Nested Program Calls.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

The IMPL Policy Language for Managing Inconsistency in Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Managed Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010

FDNC: Decidable nonmonotonic disjunctive logic programs with function symbols.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2010

Updating action domain descriptions.

[BibT_eX]

[DOI]

Artif. Intell., 2010

Answer Set Programming in a Nutshell.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Automated Specification and Verification of Web Systems, 2010

F-Logic#: Loosely Coupling F-Logic Rules and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

Paracoherent Answer Set Programming.

[BibT_eX]

[DOI]

João Moura

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Distributed Nonmonotonic Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Preference-Based Inconsistency Assessment in Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

The mcs-ie System for Explaining Inconsistency in Multi-Context Systems.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems.

[BibT_eX]

[DOI]

Seif El-Din Bairakdar

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Decomposition of Distributed Nonmonotonic Multi-Context Systems.

[BibT_eX]

[DOI]

Seif El-Din Bairakdar

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Knowledge-Based Geo-risk Assessment for an Intelligent Measurement System.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Theory and Practice III, 2010

Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs.

[BibT_eX]

[DOI]

Jörg Pührer

Proceedings of the Semantic Web: Research and Applications, 2010

Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics.

[BibT_eX]

[DOI]

Guohui Xiao

Proceedings of the ECAI 2010, 2010

Query Answering in the Description Logic S.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

First-Order Encodings for Modular Nonmonotonic Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the Datalog Reloaded - First International Workshop, 2010

The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey.

[BibT_eX]

[DOI]

Thomas Schwentick

Proceedings of the Fields of Logic and Computation, 2010

Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities.

[BibT_eX]

[DOI]

Mushthofa Mushthofa

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Hybrid Reasoning with Rules and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

Query Answering in Description Logics: The Knots Approach.

[BibT_eX]

[DOI]

Proceedings of the Logic, 2009

Answer Set Programming: A Primer.

[BibT_eX]

[DOI]

Giovambattista Ianni

Proceedings of the Reasoning Web. Semantic Technologies for Information Systems, 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30, 2009

A Reasoner for Simple Conceptual Logic Programs.

[BibT_eX]

[DOI]

Cristina Feier

Proceedings of the Web Reasoning and Rule Systems, Third International Conference, 2009

Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

From Data Integration towards Knowledge Mediation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Argumentation Context Systems: A Framework for Abstract Group Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Bidirectional Answer Set Programs with Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Query Answering in Description Logics with Transitive Roles.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Decomposition of Declarative Knowledge Bases with External Functions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Regular Path Queries in Expressive Description Logics with Nominals.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Finding Similar or Diverse Solutions in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

Modular Nonmonotonic Logic Programming Revisited.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 25th International Conference, 2009

Combining Nonmonotonic Knowledge Bases with External Sources.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Realizing Default Logic over Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

2008

Repair localization for query answering from inconsistent databases.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2008

Data Complexity of Query Answering in Expressive Description Logics via Tableaux.

[BibT_eX]

[DOI]

J. Autom. Reason., 2008

Undoing the effects of action sequences.

[BibT_eX]

[DOI]

Esra Erdem

J. Appl. Log., 2008

Computational aspects of monotone dualization: A brief survey.

[BibT_eX]

[DOI]

Discret. Appl. Math., 2008

Exploiting conjunctive queries in description logic programs.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2008

Semantic forgetting in answer set programming.

[BibT_eX]

[DOI]

Kewen Wang

Artif. Intell., 2008

Combining answer set programming with description logics for the Semantic Web.

[BibT_eX]

[DOI]

Artif. Intell., 2008

Maintenance goals of agents in a dynamic environment: Formulation and policy construction.

[BibT_eX]

[DOI]

Artif. Intell., 2008

A knowledge-based videotheodolite measurement system for object representation/monitoring.

[BibT_eX]

[DOI]

Adv. Eng. Softw., 2008

Rules and Ontologies for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2008

Reasoning Using Knots.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

Embedding Approaches to Combining Rules and Ontologies into Autoepistemic Logic.

[BibT_eX]

[DOI]

Jos de Bruijn

Hans Tompits

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Query Answering in the Description Logic Horn-.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

SMS and ASP: Hype or TST?.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

New Results for Horn Cores and Envelopes of Horn Disjunctions.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Conjunctive Query Answering in SH using Knots.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

Worst-case Optimal Conjunctive Query Answering for an Expressive Description Logic without Inverses.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Error Classification in Action Descriptions: A Heuristic Approach.

[BibT_eX]

[DOI]

Ján Senko

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

A knowledge-based approach for selecting information sources.

[BibT_eX]

[DOI]

Hans Tompits

Theory Pract. Log. Program., 2007

Semantical characterizations and complexity of equivalences in answer set programming.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2007

Preface.

[BibT_eX]

[DOI]

Leonid Libkin

Theor. Comput. Sci., 2007

On computing all abductive explanations from a propositional Horn theory.

[BibT_eX]

[DOI]

J. ACM, 2007

A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Complexity results for answer set programming with bounded predicate arities and implications.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

Comparing action descriptions based on semantic preferences.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

Foundations of Rule-Based Query Answering.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2007

Conditional Planning with External Functions.

[BibT_eX]

[DOI]

Davy Van Nieuwenborgh

Dirk Vermeir

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

\mathbbFDNC: Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2007

Complexity Results for Checking Equivalence of Stratified Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

On Reversing Actions: Algorithms and Complexity.

[BibT_eX]

[DOI]

Esra Erdem

Proceedings of the IJCAI 2007, 2007

Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Answer Set Programming for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Axel Polleres

Theory Pract. Log. Program., 2006

Introduction to special ICDT section.

[BibT_eX]

[DOI]

Leonid Libkin

ACM Trans. Database Syst., 2006

The DLV system for knowledge representation and reasoning.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2006

Reasoning under minimal upper bounds in propositional logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Causes and explanations in the structural-model approach: Tractable cases.

[BibT_eX]

[DOI]

Artif. Intell., 2006

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

[BibT_eX]

[DOI]

Proceedings of the 20th Workshop on Logic Programming, 2006

Replacements in Non-Ground Answer-Set Programming.

[BibT_eX]

[DOI]

Proceedings of the 20th Workshop on Logic Programming, 2006

Forgetting in Managing Rules and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

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

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

Reasoning with Rules and Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2006

On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2006

An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.

[BibT_eX]

[DOI]

Patrick Traxler

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

A Tool for Answering Queries on Action Descriptions.

[BibT_eX]

[DOI]

Ján Senko

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

A Distance-Based Method for the Evaluation of Interest point Detection Algorithms.

[BibT_eX]

[DOI]

Alexander Reiterer

Proceedings of the International Conference on Image Processing, 2006

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

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2006

Resolving Conflicts in Action Descriptions.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Data Complexity of Answering Unions of Conjunctive Queries in SHIQ.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

LPForget: A System of Forgetting in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2006

Forgetting and Conflict Resolving in Disjunctive Logic Programming.

[BibT_eX]

[DOI]

Kewen Wang

Proceedings of the Proceedings, 2006

2005

Reasoning about evolving nonmonotonic knowledge bases.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2005

Complexity of propositional nested circumscription and nested abnormality theories.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2005

Preface.

[BibT_eX]

[DOI]

Domenico Lembo

J. Appl. Log., 2005

Data complexity of answering conjunctive queries over SHIQ knowledge bases

[BibT_eX]

[DOI]

CoRR, 2005

The INFOMIX system for advanced integration of incomplete and inconsistent data.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

Boosting Information Integration: The INFOMIX System.

[BibT_eX]

Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005

Information Extraction for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web, 2005

Data Integration: a Challenging ASP Application.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Testing Strong Equivalence of Datalog Programs - Implementation and Examples.

[BibT_eX]

[DOI]

Patrick Traxler

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

KMonitor - A Tool for Monitoring Plan Execution in Action Theories.

[BibT_eX]

[DOI]

Ján Senko

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Data Integration and Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

On Solution Correspondences in Answer-Set Programming.

[BibT_eX]

[DOI]

Hans Tompits

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

Using SAT and Logic Programming to Design Polynomial-Time Algorithms for Planning in Non-Deterministic Domains.

[BibT_eX]

[DOI]

Chitta Baral

Jicheng Zhao

Proceedings of the Proceedings, 2005

2004

A logic programming approach to knowledge-state planning: Semantics and complexity.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2004

Preface.

[BibT_eX]

[DOI]

Klaus-Dieter Schewe

Ann. Math. Artif. Intell., 2004

Complexity results for explanations in the structural-model approach.

[BibT_eX]

[DOI]

Artif. Intell., 2004

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

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

Plan reversals for recovery in execution monitoring.

[BibT_eX]

[DOI]

Esra Erdem

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Towards Automated Integration of Guess and Check Programs in Answer Set Programming.

[BibT_eX]

[DOI]

Axel Polleres

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Simplifying Logic Programs Under Uniform and Strong Equivalence.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Nonmonotonic Description Logic Programs: Implementation and Experiments.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2004

Combining Answer Set Programming with Description Logics for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

On Eliminating Disjunctions in Stable Logic Programming.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

A Polynomial-Time Algorithm for Constructing k-Maintainable Policies.

[BibT_eX]

[DOI]

Chitta Baral

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

04171 Abstracts Collection - Logic Based Information Agents.

[BibT_eX]

[DOI]

Jürgen Dix

Enrico Franconi

Proceedings of the Logic Based Information Agents, 18.04. - 23.04.2004, 2004

2003

Computing preferred answer sets by meta-interpretation in answer set programming.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2003

New Results on Monotone Dualization and Generating Hypergraph Transversals.

[BibT_eX]

[DOI]

SIAM J. Comput., 2003

Answer Set Planning Under Action Costs.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2003

Monitoring Agents using Declarative Planning.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

A logic programming approach to knowledge-state planning, II: The DLVK system.

[BibT_eX]

[DOI]

Artif. Intell., 2003

Probabilistic Reasoning about Actions in Nonmonotonic Causal Theories.

[BibT_eX]

[DOI]

Proceedings of the UAI '03, 2003

Efficient Evaluation of Logic Programs for Querying Data Integration Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

Uniform Equivalence of Logic Programs under the Stable Model Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

Abduction and the Dualization Problem.

[BibT_eX]

[DOI]

Proceedings of the Discovery Science, 6th International Conference, 2003

Declarative Update Policies for Nonmonotonic Knowledge Bases.

[BibT_eX]

Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

Generating All Abductive Explanations for Queries on Propositional Horn Theories.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 17th International Workshop, 2003

Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

Abduction and the Dualization Problem.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 14th International Conference, 2003

Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation.

[BibT_eX]

Axel Polleres

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Using Methods of Declarative Logic Programming for Intelligent Information Agents.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2002

On Properties of Update Sequences Based on Causal Rejection.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2002

On the complexity of data disjunctions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Decision lists and related Boolean functions.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

Recognition and dualization of disguised bidual Horn functions.

[BibT_eX]

[DOI]

Inf. Process. Lett., 2002

Complexity of Nested Circumscription and Nested Abnormality Theories

[BibT_eX]

[DOI]

CoRR, 2002

Comparing environments for developing software agents.

[BibT_eX]

[DOI]

Viviana Mascardi

AI Commun., 2002

Complexity results for structure-based causality.

[BibT_eX]

[DOI]

Artif. Intell., 2002

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

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

A Generic Approach for Knowledge-Based Information-Site Selection.

[BibT_eX]

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

The DLV System.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Hypergraph Transversal Computation and Related Problems in Logic and AI.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

The DLVK Planning System: Progress Report.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Error-Tolerant Agents.

[BibT_eX]

[DOI]

Viviana Mascardi

Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

On Computing all Abductive Explanations.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001

Probabilistic object bases.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2001

Disjunctions of Horn Theories and Their Cores.

[BibT_eX]

[DOI]

SIAM J. Comput., 2001

On ACTL Formulas Having Linear Counterexamples.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2001

Complexity and expressive power of logic programming.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2001

A data model and algebra for probabilistic complex values.

[BibT_eX]

[DOI]

Michael Walter

Ann. Math. Artif. Intell., 2001

An Update Front-End for Extended Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

System Description: The DLVK Planning System.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

A Framework for Declarative Update Specifications in Logic Programs.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Complexity of Nested Circumscription and Abnormality Theories.

[BibT_eX]

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Second-Order Logic over Strings: Regular and Non-regular Fragments.

[BibT_eX]

[DOI]

Thomas Schwentick

Proceedings of the Developments in Language Theory, 5th International Conference, 2001

Matchmaking for Structured Objects.

[BibT_eX]

[DOI]

Proceedings of the Data Warehousing and Knowledge Discovery, 2001

Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

2000

On the Difference of Horn Theories.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2000

Existential second-order logic over strings.

[BibT_eX]

[DOI]

Yuri Gurevich

J. ACM, 2000

Complexity results for some eigenvector problems.

[BibT_eX]

[DOI]

Int. J. Comput. Math., 2000

QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks

[BibT_eX]

[DOI]

CoRR, 2000

DLV - A System for Declarative Problem Solving

[BibT_eX]

[DOI]

CoRR, 2000

Heterogeneous active agents, III: Polynomially implementable agents.

[BibT_eX]

[DOI]

Timothy J. Rogers

Artif. Intell., 2000

Default reasoning from conditional knowledge bases: Complexity and tractable cases.

[BibT_eX]

[DOI]

Artif. Intell., 2000

Using the dlv System for Planning and Diagnostic Reasoning.

[BibT_eX]

Proceedings of the 14. Workshop Logische Programmierung, 2000

Implementing Default Reasoning Using Quantified Boolean Formulae.

[BibT_eX]

Proceedings of the 14. Workshop Logische Programmierung, 2000

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

[BibT_eX]

Proceedings of the WLP 2000, 2000

On the Complexity of Theory Curbing.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Complexity Results for Default Reasoning from Conditional Knowledge Bases.

[BibT_eX]

Proceedings of the KR 2000, 2000

New Tractable Cases in Default Reasoning from Conditional Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Considerations on Updates of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Extension of the Relational Algebra to Probabilistic Complex Values.

[BibT_eX]

[DOI]

Michael Walter

Proceedings of the Foundations of Information and Knowledge Systems, 2000

Planning under Incomplete Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

Prioritizing Default Logic.

[BibT_eX]

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas.

[BibT_eX]

[DOI]

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

[BibT_eX]

MIT Press, ISBN: 0-262-19436-8, 2000

1999

Impact: a platform for collaborating agents.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 1999

Bidual Horn Functions and Extensions.

[BibT_eX]

[DOI]

Discret. Appl. Math., 1999

The Diagnosis Frontend of the dlv System.

[BibT_eX]

[DOI]

AI Commun., 1999

Heterogeneous Active Agents, I: Semantics.

[BibT_eX]

[DOI]

George Pick

Artif. Intell., 1999

Heterogeneous Active Agents, II: Algorithms and Complexity.

[BibT_eX]

[DOI]

Artif. Intell., 1999

Computing Intersections of Horn Theories for Reasoning with Models.

[BibT_eX]

[DOI]

Artif. Intell., 1999

Enhancing Model Checking in Verification by AI Techniques.

[BibT_eX]

[DOI]

Artif. Intell., 1999

Preferred Answer Sets for Extended Logic Programs.

[BibT_eX]

[DOI]

Artif. Intell., 1999

1998

Expressive Power and Complexity of Partial Models for Disjunctive Deductive Databases.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1998

On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic.

[BibT_eX]

[DOI]

J. Symb. Log., 1998

Double Horn Functions.

[BibT_eX]

[DOI]

Inf. Comput., 1998

A First-Order Representation of Stable Models.

[BibT_eX]

[DOI]

James J. Lu

AI Commun., 1998

On Disguised Double Horn Functions and Extensions.

[BibT_eX]

[DOI]

Proceedings of the STACS 98, 1998

The KR System dlv: Progress Report, Comparisons and Benchmarks.

[BibT_eX]

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Progress Report on the Disjunctive Deductive Database System <tt>dlv</tt>.

[BibT_eX]

[DOI]

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

Deontic Action Programs.

[BibT_eX]

Proceedings of the Fundamentals of Information Systems, 1998

1997

Disjunctive Datalog.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1997

Default Logic as a Query Language.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1997

Abduction from Logic Programs: Semantics and Complexity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

On the Indiscernibility of Individuals in Logic Programming.

[BibT_eX]

[DOI]

J. Log. Comput., 1997

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions.

[BibT_eX]

[DOI]

J. Log. Program., 1997

On the Partial Semantics for Disjunctive Deductive Databases.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1997

Semantics and Complexity of Abduction from Default Theories.

[BibT_eX]

[DOI]

Artif. Intell., 1997

Distance Measures for Point Sets and their Computation.

[BibT_eX]

[DOI]

Acta Informatica, 1997

The dlv System: Model Generator and Advanced Frontends (system description).

[BibT_eX]

Proceedings of the Twelfth Workshop Logic Programming, 1997

Computing Non-Ground Representations of Stable Models.

[BibT_eX]

[DOI]

James J. Lu

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

A Deductive System for Non-Monotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Modular Logic Programming and Generalized Quantifiers.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Two-Face Horn Extensions.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Computation, 8th International Symposium, 1997

The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

Generalized Quantifiers in Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Generalized Quantifiers and Computation, 1997

The Architecture of a Disjunctive Deductive Database System.

[BibT_eX]

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Querying Disjunctive Databases Through Nonmonotonic Logics.

[BibT_eX]

[DOI]

Piero A. Bonatti

Theor. Comput. Sci., 1996

Mächtigkeit von Logikprogrammierung über Datenbanken.

[BibT_eX]

Künstliche Intell., 1996

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1996

Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems.

[BibT_eX]

[DOI]

Yuri Gurevich

Ann. Pure Appl. Log., 1996

The Expressive Power of Partial Models in Disjunctive Deductive Databases.

[BibT_eX]

[DOI]

Proceedings of the Logic in Databases, 1996

Unfounded Sets and Partial Stable Models for Disjuntive Deductive Databases.

[BibT_eX]

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Identifying the Minimal Transversals of a Hypergraph and Related Problems.

[BibT_eX]

[DOI]

SIAM J. Comput., 1995

The Complexity of Logic-Based Abduction.

[BibT_eX]

[DOI]

J. ACM, 1995

Recognizing Renamable Generalized Propositional Horn Formulas Is NP-complete.

[BibT_eX]

[DOI]

Pekka Kilpeläinen

Discret. Appl. Math., 1995

On the Computational Cost of Disjunctive Logic Programming: Propositional Case.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1995

Generating Boolean mu-Expressions.

[BibT_eX]

[DOI]

Acta Informatica, 1995

On Modularity Properties of Partial Semantics for Disjunctive Logic Programs.

[BibT_eX]

Proceedings of the 11. Workshop Logische Programmierung, 1995

Complexity Results for Abductive Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Querying Disjunctive Database Through Nonmonotonic Logics.

[BibT_eX]

[DOI]

Piero A. Bonatti

Proceedings of the Database Theory, 1995

1994

Exact Transversal Hypergraphs and Application to Boolean µ-Functions.

[BibT_eX]

[DOI]

J. Symb. Comput., 1994

Adding Disjunction to Datalog.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28, 1994

Disjunctive Logic Programming over Finite Structures.

[BibT_eX]

[DOI]

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

Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1993

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics.

[BibT_eX]