| Publication | Date of Publication | Type |
|---|
| Reasoning on with Defeasibility in ASP | 2023-12-12 | Paper |
| Witnesses for Answer Sets of Logic Programs | 2023-04-05 | Paper |
| The complexity class θp2: Recent results and applications in AI and modal logic | 2022-12-09 | Paper |
| On the regularity of weak solutions to time-periodic Navier--Stokes equations in exterior domains | 2022-12-01 | Paper |
| Existence of energy-variational solutions to hyperbolic conservation laws | 2022-11-22 | Paper |
| Complexity results for abductive logic programming | 2022-08-30 | Paper |
| Answer Set Programming with External Source Access | 2022-07-01 | Paper |
| Reasoning on Multirelational Contextual Hierarchies via Answer Set Programming with Algebraic Measures | 2022-01-10 | Paper |
| Abstraction for non-ground answer set programs | 2021-11-02 | Paper |
| Omission-Based Abstraction for Answer Set Programs | 2021-09-03 | Paper |
| Omission-based Abstraction for Answer Set Programs – ERRATUM | 2021-09-03 | Paper |
| Pruning external minimality checking for answer set programs using semantic dependencies | 2021-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999274 | 2021-07-06 | Paper |
| Managing caching strategies for stream reasoning with reinforcement learning | 2020-12-13 | Paper |
| ASP (): Answer Set Programming with Algebraic Constraints | 2020-12-13 | Paper |
| LARS: A Logic-Based Framework for Analytic Reasoning over Streams | 2020-10-21 | Paper |
| Reasoning with justifiable exceptions in \(\mathcal{EL}_\bot\) contextualized knowledge repositories | 2020-06-04 | Paper |
| A Distributed Approach to LARS Stream Reasoning (System paper) | 2020-05-04 | Paper |
| Abstraction for non-ground answer set programs | 2020-02-18 | Paper |
| Determining inference semantics for disjunctive logic programs | 2020-01-20 | Paper |
| Pruning external minimality checking for ASP using semantic dependencies | 2019-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967207 | 2019-07-03 | Paper |
| New results for the Oseen problem with applications to the Navier-Stokes equations in exterior domains | 2019-04-02 | Paper |
| Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning | 2018-12-04 | Paper |
| Model-based recasting in answer-set programming | 2018-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4580278 | 2018-08-14 | Paper |
| LARS: a logic-based framework for analytic reasoning over streams | 2018-06-27 | Paper |
| Enhancing context knowledge repositories with justifiable exceptions | 2018-05-16 | Paper |
| Preference-Based Inconsistency Management in Multi-Context Systems | 2017-11-13 | Paper |
| A model building framework for answer set programming with external computations | 2017-11-09 | Paper |
| Ticker: A system for incremental ASP-based stream reasoning | 2017-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5282982 | 2017-07-18 | Paper |
| A logic programming approach to knowledge-state planning | 2017-07-12 | Paper |
| Complexity of propositional nested circumscription and nested abnormality theories | 2017-07-12 | Paper |
| Reasoning about evolving nonmonotonic knowledge bases | 2017-07-12 | Paper |
| The DLV system for knowledge representation and reasoning | 2017-07-12 | Paper |
| Semantical characterizations and complexity of equivalences in answer set programming | 2017-07-12 | Paper |
| Exploiting Contextual Knowledge for Hybrid Classification of Visual Objects | 2016-11-30 | Paper |
| Reactive Policies with Planning for Action Languages | 2016-11-30 | Paper |
| Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks | 2016-11-30 | Paper |
| Data repair of inconsistent nonmonotonic description logic programs | 2016-10-14 | Paper |
| Computing Repairs of Inconsistent DL-Programs over EL Ontologies | 2016-09-07 | Paper |
| Evaluating epistemic negation in answer set programming | 2016-05-20 | Paper |
| Semi-equilibrium models for paracoherent answer set programs | 2016-03-08 | Paper |
| Domain expansion for ASP-programs with external sources | 2016-03-08 | Paper |
| Linking Open-World Knowledge Bases Using Nonmonotonic Rules | 2015-11-04 | Paper |
| Reasoning with Forest Logic Programs Using Fully Enriched Automata | 2015-11-04 | Paper |
| FDNC | 2015-09-17 | Paper |
| Well-founded semantics for description logic programs in the semantic web | 2015-09-17 | Paper |
| Embedding nonground logic programs into autoepistemic logic for knowledge-base combination | 2015-09-17 | Paper |
| A data model and algebra for probabilistic complex values | 2015-06-17 | Paper |
| Weighted Electoral Control | 2015-05-28 | Paper |
| A Glimpse on Gerhard Brewka’s Contributions to Artificial Intelligence | 2015-02-04 | Paper |
| Preference-Based Diagnosis Selection in Multi-Context Systems | 2015-02-04 | Paper |
| Computing Repairs for Inconsistent DL-programs over $\mathcal{EL}$ Ontologies | 2015-01-14 | Paper |
| Modular Paracoherent Answer Sets | 2015-01-14 | Paper |
| Finding explanations of inconsistency in multi-context systems | 2014-10-13 | Paper |
| Answering regular path queries in expressive description logics via alternating tree-automata | 2014-07-18 | Paper |
| FLP answer set semantics without circular justifications for general logic programs | 2014-06-10 | Paper |
| Efficient HEX-Program Evaluation Based on Unfounded Sets | 2014-03-24 | Paper |
| Hex Semantics via Approximation Fixpoint Theory | 2013-10-10 | Paper |
| Finding similar/diverse solutions in answer set programming | 2013-06-14 | Paper |
| Conflict-driven ASP solving with external sources | 2013-03-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4906884 | 2013-02-28 | Paper |
| Modular Nonmonotonic Logic Programming Revisited | 2012-11-13 | Paper |
| Inconsistency Management for Traffic Regulations: Formalization and Complexity Results | 2012-09-21 | Paper |
| Exploiting Unfounded Sets for HEX-Program Evaluation | 2012-09-21 | Paper |
| Simulating Production Rules Using ACTHEX | 2012-07-23 | Paper |
| Forgetting for Defeasible Logic | 2012-06-15 | Paper |
| Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots | 2012-05-11 | Paper |
| Symmetry Breaking for Distributed Multi-Context Systems | 2011-05-26 | Paper |
| Pushing Efficient Evaluation of HEX Programs by Modular Decomposition | 2011-05-26 | Paper |
| Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems | 2011-05-26 | Paper |
| Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources | 2011-05-19 | Paper |
| Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics | 2011-05-11 | Paper |
| Reasoning about Evolving Nonmonotonic Knowledge Bases | 2011-05-06 | Paper |
| Updating action domain descriptions | 2011-01-31 | Paper |
| Decomposition of Distributed Nonmonotonic Multi-Context Systems | 2010-10-01 | Paper |
| Preference-Based Inconsistency Assessment in Multi-Context Systems | 2010-10-01 | Paper |
| The DMCS Solver for Distributed Nonmonotonic Multi-Context Systems | 2010-10-01 | Paper |
| The mcs-ie System for Explaining Inconsistency in Multi-Context Systems | 2010-10-01 | Paper |
| The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey | 2010-09-03 | Paper |
| New results on monotone dualization and generating hypergraph transversals | 2010-08-05 | Paper |
| KI 2003: Advances in Artificial Intelligence | 2010-03-03 | Paper |
| Combining Nonmonotonic Knowledge Bases with External Sources | 2010-01-07 | Paper |
| Argumentation Context Systems: A Framework for Abstract Group Argumentation | 2009-11-10 | Paper |
| Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs | 2009-11-10 | Paper |
| Answer Set Programming: A Primer | 2009-10-28 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| Logic Programming | 2009-08-06 | Paper |
| Maintenance goals of agents in a dynamic environment: formulation and policy construction | 2009-07-17 | Paper |
| Combining answer set programming with description logics for the semantic web | 2009-07-17 | Paper |
| Semantic forgetting in answer set programming | 2009-07-17 | Paper |
| Exploiting conjunctive queries in description logic programs | 2009-07-06 | Paper |
| Realizing Default Logic over Description Logic Knowledge Bases | 2009-07-02 | Paper |
| Query Answering in Description Logics: The Knots Approach | 2009-07-02 | Paper |
| Foundations of Rule-Based Query Answering | 2009-02-17 | Paper |
| Reasoning Using Knots | 2009-01-27 | Paper |
| SMS and ASP: Hype or TST? | 2009-01-22 | Paper |
| On computing all abductive explanations from a propositional Horn theory | 2008-12-21 | Paper |
| Comparing Action Descriptions Based on Semantic Preferences | 2008-10-30 | Paper |
| Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$ | 2008-10-27 | Paper |
| Undoing the effects of action sequences | 2008-09-23 | Paper |
| Computational aspects of monotone dualization: a brief survey | 2008-09-10 | Paper |
| Data complexity of query answering in expressive description logics via tableaux | 2008-09-10 | Paper |
| Probabilistic object bases | 2008-06-18 | Paper |
| $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols | 2008-05-15 | Paper |
| Complexity results for answer set programming with bounded predicate arities and implications | 2008-04-21 | Paper |
| Conditional Planning with External Functions | 2007-11-13 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2007-11-07 | Paper |
| Causes and explanations in the structural-model approach: Tractable cases | 2007-10-23 | Paper |
| Comparing action descriptions based on semantic preferences | 2007-10-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5422266 | 2007-10-17 | Paper |
| Computer Science Logic | 2007-06-21 | Paper |
| A knowledge-based approach for selecting information sources | 2007-04-19 | Paper |
| Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications | 2007-03-08 | Paper |
| Reasoning under minimal upper bounds in propositional logic | 2007-01-09 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| Logic Programming and Nonmonotonic Reasoning | 2006-06-23 | Paper |
| A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system | 2006-02-07 | Paper |
| Complexity results for explanations in the structural-model approach | 2006-02-07 | Paper |
| Logic for Programming, Artificial Intelligence, and Reasoning | 2005-11-10 | Paper |
| Computing preferred answer sets by meta-interpretation in Answer Set Programming | 2004-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4737894 | 2004-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4460681 | 2004-03-29 | Paper |
| Using methods of declarative logic programming for intelligent information agents | 2004-03-01 | Paper |
| On properties of update sequences based on causal rejection | 2004-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434167 | 2003-11-04 | Paper |
| Semantics and complexity of abduction from default theories | 2003-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4412854 | 2003-07-17 | Paper |
| Existential second-order logic over strings | 2003-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708917 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708952 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708953 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708957 | 2003-06-20 | Paper |
| New Results on Monotone Dualization and Generating Hypergraph Transversals | 2003-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707752 | 2003-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4800170 | 2003-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4800165 | 2003-05-18 | Paper |
| Complexity results for structure-based causality. | 2003-01-21 | Paper |
| Recognition and dualization of disguised bidual Horn functions. | 2003-01-21 | Paper |
| On the complexity of data disjunctions. | 2003-01-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536334 | 2002-11-25 | Paper |
| Computing intersections of Horn theories for reasoning with models | 2002-07-24 | Paper |
| Enhancing model checking in verification by AI techniques | 2002-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767002 | 2002-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530456 | 2002-07-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536313 | 2002-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4535572 | 2002-06-16 | Paper |
| Disjunctions of Horn Theories and Their Cores | 2002-04-23 | Paper |
| Decision lists and related Boolean functions | 2002-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2734932 | 2002-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767106 | 2002-01-28 | Paper |
| On the difference of Horn theories | 2001-10-30 | Paper |
| On ACTL formulas having linear counterexamples | 2001-09-09 | Paper |
| Complexity results for some eigenvector problems | 2001-08-21 | Paper |
| Default reasoning from conditional knowledge bases: Complexity and tractable cases | 2000-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4504006 | 2000-09-14 | Paper |
| Heterogeneous active agents. III: Polynomially implementable agents | 2000-06-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955352 | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4936147 | 2000-01-25 | Paper |
| Bidual Horn functions and extensions | 2000-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251064 | 1999-11-07 | Paper |
| Preferred answer sets for extended logic programs | 1999-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249522 | 1999-06-17 | Paper |
| Double Horn functions | 1999-05-16 | Paper |
| Heterogeneous active agents, I: Semantics | 1999-04-28 | Paper |
| Heterogeneous active agents, II: Algorithms and complexity | 1999-04-28 | Paper |
| On the expressiveness of frame satisfiability and fragments of second-order logic | 1999-01-19 | Paper |
| Expressive power and complexity of partial models for disjunctive deductive databases | 1999-01-12 | Paper |
| Expressiveness of stable model semantics for disjunctive logic programs with functions | 1998-07-16 | Paper |
| Abduction from logic programs: Semantics and complexity | 1998-06-30 | Paper |
| On the indiscernibility of individuals in logic programming | 1998-04-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4370203 | 1998-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381405 | 1998-04-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375822 | 1998-03-02 | Paper |
| The complexity of logic-based abduction | 1998-02-02 | Paper |
| On the partial semantics for disjunctive deductive databases | 1997-10-26 | Paper |
| The complexity of nested counterfactuals and iterated knowledge base revisions | 1997-08-20 | Paper |
| On the computational cost of disjunctive logic programming: Propositional case | 1997-03-25 | Paper |
| Querying disjunctive databases through nonmonotonic logics | 1997-02-27 | Paper |
| Distance measures for point sets and their computation | 1996-09-25 | Paper |
| Identifying the Minimal Transversals of a Hypergraph and Related Problems | 1996-07-28 | Paper |
| Normal forms for second-order logic over finite structures, and classification of NP optimization problems | 1996-07-24 | Paper |
| Generating Boolean \(\mu\)-expressions | 1995-06-21 | Paper |
| Recognizing renamable generalized propositional Horn formulas is NP- complete | 1995-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4281509 | 1994-11-13 | Paper |
| Exact transversal hypergraphs and application to Boolean \(\mu\)-functions | 1994-09-13 | Paper |
| Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete | 1993-09-19 | Paper |
| On the complexity of propositional knowledge base revision, updates, and counterfactuals | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4022222 | 1993-01-17 | Paper |
| An efficient method for eliminating varying predicates from a circumscription | 1992-09-27 | Paper |
