| Publication | Date of Publication | Type |
|---|
Minimal constraint violation probability in model predictive control for linear systems
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Model-based recasting in answer-set programming
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
A model building framework for answer set programming with external computations
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Towards practical deletion repair of inconsistent DL-programs
| 2017-07-18 | Paper |
Semantical characterizations and complexity of equivalences in answer set programming
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Data repair of inconsistent nonmonotonic description logic programs
Artificial Intelligence | 2016-10-14 | Paper |
Computing repairs of inconsistent DL-programs over \(\mathcal{EL}\) ontologies
The Journal of Artificial Intelligence Research (JAIR) | 2016-09-07 | Paper |
Semi-equilibrium models for paracoherent answer set programs
Artificial Intelligence | 2016-03-08 | Paper |
Domain expansion for ASP-programs with external sources
Artificial Intelligence | 2016-03-08 | Paper |
Distributed evaluation of nonmonotonic multi-context systems
Journal of Artificial Intelligence Research | 2015-05-28 | Paper |
Preference-Based Diagnosis Selection in Multi-Context Systems
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
Computing repairs for inconsistent DL-programs over \(\mathcal{EL}\) ontologies
Logics in Artificial Intelligence | 2015-01-14 | Paper |
A complexity assessment for queries involving sufficient and necessary causes
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Causal graph justifications of logic programs
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Finding explanations of inconsistency in multi-context systems
Artificial Intelligence | 2014-10-13 | Paper |
FLP answer set semantics without circular justifications for general logic programs
Artificial Intelligence | 2014-06-10 | Paper |
Efficient HEX-Program Evaluation Based on Unfounded Sets
Journal of Artificial Intelligence Research | 2014-03-24 | Paper |
Hex semantics via approximation fixpoint theory
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Towards query answering in relational multi-context systems
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Finding similar/diverse solutions in answer set programming
Theory and Practice of Logic Programming | 2013-06-14 | Paper |
Conflict-driven ASP solving with external sources
Theory and Practice of Logic Programming | 2013-03-13 | Paper |
scientific article; zbMATH DE number 6139986 (Why is no real title available?)
| 2013-02-28 | Paper |
Modular nonmonotonic logic programming revisited
Logic Programming | 2012-11-13 | Paper |
Exploiting unfounded sets for HEX-program evaluation
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Simulating production rules using ACTHEX
Correct Reasoning | 2012-07-23 | Paper |
HEX programs with action atoms
| 2012-05-11 | Paper |
A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there
Theory and Practice of Logic Programming | 2011-06-15 | Paper |
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Approximations for explanations of inconsistency in partially known multi-context systems
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Relational information exchange and aggregation in multi-context systems
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Symmetry breaking for distributed multi-context systems
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources
Lecture Notes in Computer Science | 2011-05-19 | Paper |
Reasoning about evolving nonmonotonic knowledge bases
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Updating action domain descriptions
Artificial Intelligence | 2011-01-31 | Paper |
The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Preference-Based Inconsistency Assessment in Multi-Context Systems
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Decomposition of distributed nonmonotonic multi-context systems
Logics in Artificial Intelligence | 2010-10-01 | Paper |
The mcs-ie System for Explaining Inconsistency in Multi-Context Systems
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Monitoring agents using declarative planning
Lecture Notes in Computer Science | 2010-03-03 | Paper |
Combining nonmonotonic knowledge bases with external sources
Frontiers of Combining Systems | 2010-01-07 | Paper |
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
Logic Programming | 2009-01-22 | Paper |
Comparing Action Descriptions Based on Semantic Preferences
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence | 2008-04-21 | Paper |
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Comparing action descriptions based on semantic preferences
Annals of Mathematics and Artificial Intelligence | 2007-10-23 | Paper |
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming | 2007-04-19 | Paper |
scientific article; zbMATH DE number 2063027 (Why is no real title available?)
| 2004-03-29 | Paper |
On properties of update sequences based on causal rejection
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
scientific article; zbMATH DE number 1890622 (Why is no real title available?)
| 2003-05-18 | Paper |
scientific article; zbMATH DE number 1759366 (Why is no real title available?)
| 2002-06-25 | Paper |
