| Publication | Date of Publication | Type |
|---|
Adaptive large-neighbourhood search for optimisation in answer-set programming
Artificial Intelligence | 2025-01-17 | Paper |
| On the Stokes-type resolvent problem associated with time-periodic flow around a rotating obstacle | 2024-10-08 | Paper |
Aspmc: new frontiers of algebraic answer set counting
Artificial Intelligence | 2024-07-03 | Paper |
| Contrastive explanations for answer-set programs | 2024-05-29 | Paper |
| Reasoning on $$\textit{DL-Lite}_\mathcal{R}$$ with Defeasibility in ASP | 2024-03-14 | Paper |
Reasoning on with Defeasibility in ASP
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
Semiring reasoning frameworks in AI and their computational complexity
The Journal of Artificial Intelligence Research (JAIR) | 2023-10-23 | Paper |
Witnesses for Answer Sets of Logic Programs
ACM Transactions on Computational Logic | 2023-04-05 | Paper |
The complexity class θp2: Recent results and applications in AI and modal logic
Fundamentals of Computation Theory | 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
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
Answer set programming with external source access
Reasoning Web. Semantic Interoperability on the Web | 2022-07-01 | Paper |
Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures
Theory and Practice of Logic Programming | 2022-01-10 | Paper |
Abstraction for non-ground answer set programs
Artificial Intelligence | 2021-11-02 | Paper |
Omission-based abstraction for answer set programs
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Omission-based Abstraction for Answer Set Programs – ERRATUM
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Pruning external minimality checking for answer set programs using semantic dependencies
Artificial Intelligence | 2021-08-16 | Paper |
| Weighted Lars for quantitative stream reasoning | 2021-07-06 | Paper |
\(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Managing caching strategies for stream reasoning with reinforcement learning
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
LARS: a logic-based framework for analytic reasoning over streams (extended abstract)
SOFSEM 2018: Theory and Practice of Computer Science | 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)
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
Abstraction for non-ground answer set programs
Logics in Artificial Intelligence | 2020-02-18 | Paper |
Determining inference semantics for disjunctive logic programs
Artificial Intelligence | 2020-01-20 | Paper |
| Pruning external minimality checking for ASP using semantic dependencies | 2019-10-10 | Paper |
| scientific article; zbMATH DE number 7075908 (Why is no real title available?) | 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
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Model-based recasting in answer-set programming
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
| Exploiting partial assignments for efficient evaluation of answer set programs with external source access | 2018-08-14 | Paper |
LARS: a logic-based framework for analytic reasoning over streams
Artificial Intelligence | 2018-06-27 | Paper |
Enhancing context knowledge repositories with justifiable exceptions
Artificial Intelligence | 2018-05-16 | Paper |
Preference-based inconsistency management in multi-context systems
Journal of Artificial Intelligence Research | 2017-11-13 | Paper |
A model building framework for answer set programming with external computations
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Ticker: a system for incremental ASP-based stream reasoning
Theory and Practice of Logic Programming | 2017-11-08 | Paper |
| Towards practical deletion repair of inconsistent DL-programs | 2017-07-18 | Paper |
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
A logic programming approach to knowledge-state planning, semantics and complexity
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Semantical characterizations and complexity of equivalences in answer set programming
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Complexity of propositional nested circumscription and nested abnormality theories
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Reactive policies with planning for action languages
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Exploiting contextual knowledge for hybrid classification of visual objects
Logics in Artificial Intelligence | 2016-11-30 | 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 |
Evaluating epistemic negation in answer set programming
Artificial Intelligence | 2016-05-20 | 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 |
Reasoning with forest logic programs using fully enriched automata
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Linking open-world knowledge bases using nonmonotonic rules
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Well-founded semantics for description logic programs in the semantic web
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
FDNC: decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
A data model and algebra for probabilistic complex values
Annals of Mathematics and Artificial Intelligence | 2015-06-17 | 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 |
A glimpse on Gerhard Brewka's contributions to artificial intelligence
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
Modular paracoherent answer sets
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Computing repairs for inconsistent DL-programs over \(\mathcal{EL}\) ontologies
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Finding explanations of inconsistency in multi-context systems
Artificial Intelligence | 2014-10-13 | Paper |
Answering regular path queries in expressive description logics via alternating tree-automata
Information and Computation | 2014-07-18 | 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 |
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 |
Inconsistency management for traffic regulations: formalization and complexity results
Logics in Artificial Intelligence | 2012-09-21 | 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 |
Forgetting for defeasible logic
Logic for Programming, Artificial Intelligence, and Reasoning | 2012-06-15 | Paper |
Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots
Journal of Computer and System Sciences | 2012-05-11 | Paper |
Symmetry breaking for distributed multi-context systems
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | 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 |
Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources
Lecture Notes in Computer Science | 2011-05-19 | Paper |
| Tractable reasoning with DL-programs over Datalog-rewritable description logics | 2011-05-11 | 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 |
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey
Fields of Logic and Computation | 2010-09-03 | Paper |
New results on monotone dualization and generating hypergraph transversals
Proceedings of the thiry-fourth annual ACM symposium on Theory of computing | 2010-08-05 | 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 |
Argumentation Context Systems: A Framework for Abstract Group Argumentation
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Answer Set Programming: A Primer
Lecture Notes in Computer Science | 2009-10-28 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Maintenance goals of agents in a dynamic environment: formulation and policy construction
Artificial Intelligence | 2009-07-17 | Paper |
Combining answer set programming with description logics for the semantic web
Artificial Intelligence | 2009-07-17 | Paper |
Semantic forgetting in answer set programming
Artificial Intelligence | 2009-07-17 | Paper |
Exploiting conjunctive queries in description logic programs
Annals of Mathematics and Artificial Intelligence | 2009-07-06 | Paper |
Realizing Default Logic over Description Logic Knowledge Bases
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Query Answering in Description Logics: The Knots Approach
Logic, Language, Information and Computation | 2009-07-02 | Paper |
Foundations of Rule-Based Query Answering
Reasoning Web | 2009-02-17 | Paper |
Reasoning Using Knots
Logic for Programming, Artificial Intelligence, and Reasoning | 2009-01-27 | Paper |
SMS and ASP: Hype or TST?
Logic Programming | 2009-01-22 | Paper |
On computing all abductive explanations from a propositional Horn theory
Journal of the ACM | 2008-12-21 | Paper |
Comparing Action Descriptions Based on Semantic Preferences
Logics in Artificial Intelligence | 2008-10-30 | Paper |
Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Undoing the effects of action sequences
Journal of Applied Logic | 2008-09-23 | Paper |
Computational aspects of monotone dualization: a brief survey
Discrete Applied Mathematics | 2008-09-10 | Paper |
Data complexity of query answering in expressive description logics via tableaux
Journal of Automated Reasoning | 2008-09-10 | Paper |
Probabilistic object bases
ACM Transactions on Database Systems | 2008-06-18 | Paper |
$\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-15 | Paper |
Complexity results for answer set programming with bounded predicate arities and implications
Annals of Mathematics and Artificial Intelligence | 2008-04-21 | Paper |
Conditional Planning with External Functions
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | 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 |
Causes and explanations in the structural-model approach: Tractable cases
Artificial Intelligence | 2007-10-23 | Paper |
| scientific article; zbMATH DE number 5201473 (Why is no real title available?) | 2007-10-17 | Paper |
Computer Science Logic
Lecture Notes in Computer Science | 2007-06-21 | Paper |
A knowledge-based approach for selecting information sources
Theory and Practice of Logic Programming | 2007-04-19 | Paper |
Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications
Theory and Practice of Logic Programming | 2007-03-08 | Paper |
Reasoning under minimal upper bounds in propositional logic
Theoretical Computer Science | 2007-01-09 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2006-06-23 | Paper |
A logic programming approach to knowledge-state planning. II: The DLV\(^\mathcal K\) system
Artificial Intelligence | 2006-02-07 | Paper |
Complexity results for explanations in the structural-model approach
Artificial Intelligence | 2006-02-07 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Computing preferred answer sets by meta-interpretation in Answer Set Programming
Theory and Practice of Logic Programming | 2004-08-19 | Paper |
| scientific article; zbMATH DE number 2087211 (Why is no real title available?) | 2004-08-11 | 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 2000818 (Why is no real title available?) | 2003-11-04 | Paper |
Semantics and complexity of abduction from default theories
Artificial Intelligence | 2003-08-28 | Paper |
| scientific article; zbMATH DE number 1950256 (Why is no real title available?) | 2003-07-17 | Paper |
Existential second-order logic over strings
Journal of the ACM | 2003-06-25 | Paper |
| scientific article; zbMATH DE number 1931659 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1931696 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1931694 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1931693 (Why is no real title available?) | 2003-06-20 | Paper |
New Results on Monotone Dualization and Generating Hypergraph Transversals
SIAM Journal on Computing | 2003-06-19 | Paper |
| scientific article; zbMATH DE number 1926620 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1890627 (Why is no real title available?) | 2003-05-21 | Paper |
| scientific article; zbMATH DE number 1890622 (Why is no real title available?) | 2003-05-18 | Paper |
On the complexity of data disjunctions.
Theoretical Computer Science | 2003-01-21 | Paper |
Complexity results for structure-based causality.
Artificial Intelligence | 2003-01-21 | Paper |
Recognition and dualization of disguised bidual Horn functions.
Information Processing Letters | 2003-01-21 | Paper |
| scientific article; zbMATH DE number 1759386 (Why is no real title available?) | 2002-11-25 | Paper |
Enhancing model checking in verification by AI techniques
Artificial Intelligence | 2002-07-24 | Paper |
Computing intersections of Horn theories for reasoning with models
Artificial Intelligence | 2002-07-24 | Paper |
| scientific article; zbMATH DE number 1696754 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1748571 (Why is no real title available?) | 2002-07-10 | Paper |
| scientific article; zbMATH DE number 1759366 (Why is no real title available?) | 2002-06-25 | Paper |
| scientific article; zbMATH DE number 1755722 (Why is no real title available?) | 2002-06-16 | Paper |
Disjunctions of Horn theories and their cores
SIAM Journal on Computing | 2002-04-23 | Paper |
Decision lists and related Boolean functions
Theoretical Computer Science | 2002-03-03 | Paper |
| Declarative problem-solving using the DLV system | 2002-02-27 | Paper |
| scientific article; zbMATH DE number 1696837 (Why is no real title available?) | 2002-01-28 | Paper |
On the difference of Horn theories
Journal of Computer and System Sciences | 2001-10-30 | Paper |
On ACTL formulas having linear counterexamples
Journal of Computer and System Sciences | 2001-09-09 | Paper |
Complexity results for some eigenvector problems
International Journal of Computer Mathematics | 2001-08-21 | Paper |
Default reasoning from conditional knowledge bases: Complexity and tractable cases
Artificial Intelligence | 2000-12-12 | Paper |
| scientific article; zbMATH DE number 1507281 (Why is no real title available?) | 2000-09-14 | Paper |
Heterogeneous active agents. III: Polynomially implementable agents
Artificial Intelligence | 2000-06-04 | Paper |
| scientific article; zbMATH DE number 1453079 (Why is no real title available?) | 2000-05-25 | Paper |
| scientific article; zbMATH DE number 1392308 (Why is no real title available?) | 2000-01-25 | Paper |
Bidual Horn functions and extensions
Discrete Applied Mathematics | 2000-01-17 | Paper |
| scientific article; zbMATH DE number 1304333 (Why is no real title available?) | 1999-11-07 | Paper |
Preferred answer sets for extended logic programs
Artificial Intelligence | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1303023 (Why is no real title available?) | 1999-06-17 | Paper |
Double Horn functions
Information and Computation | 1999-05-16 | Paper |
Heterogeneous active agents, I: Semantics
Artificial Intelligence | 1999-04-28 | Paper |
Heterogeneous active agents, II: Algorithms and complexity
Artificial Intelligence | 1999-04-28 | Paper |
On the expressiveness of frame satisfiability and fragments of second-order logic
Journal of Symbolic Logic | 1999-01-19 | Paper |
Expressive power and complexity of partial models for disjunctive deductive databases
Theoretical Computer Science | 1999-01-12 | Paper |
Expressiveness of stable model semantics for disjunctive logic programs with functions
The Journal of Logic Programming | 1998-07-16 | Paper |
Abduction from logic programs: Semantics and complexity
Theoretical Computer Science | 1998-06-30 | Paper |
On the indiscernibility of individuals in logic programming
Journal Of Logic And Computation | 1998-04-22 | Paper |
| scientific article; zbMATH DE number 1104330 (Why is no real title available?) | 1998-04-01 | Paper |
| scientific article; zbMATH DE number 1136094 (Why is no real title available?) | 1998-04-01 | Paper |
| scientific article; zbMATH DE number 1114053 (Why is no real title available?) | 1998-03-02 | Paper |
The complexity of logic-based abduction
Journal of the ACM | 1998-02-02 | Paper |
On the partial semantics for disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence | 1997-10-26 | Paper |
The complexity of nested counterfactuals and iterated knowledge base revisions
Journal of Computer and System Sciences | 1997-08-20 | Paper |
On the computational cost of disjunctive logic programming: Propositional case
Annals of Mathematics and Artificial Intelligence | 1997-03-25 | Paper |
Querying disjunctive databases through nonmonotonic logics
Theoretical Computer Science | 1997-02-27 | Paper |
Distance measures for point sets and their computation
Acta Informatica | 1996-09-25 | Paper |
Identifying the Minimal Transversals of a Hypergraph and Related Problems
SIAM Journal on Computing | 1996-07-28 | Paper |
Normal forms for second-order logic over finite structures, and classification of NP optimization problems
Annals of Pure and Applied Logic | 1996-07-24 | Paper |
Generating Boolean \(\mu\)-expressions
Acta Informatica | 1995-06-21 | Paper |
Recognizing renamable generalized propositional Horn formulas is NP- complete
Discrete Applied Mathematics | 1995-05-17 | Paper |
| scientific article; zbMATH DE number 512816 (Why is no real title available?) | 1994-11-13 | Paper |
Exact transversal hypergraphs and application to Boolean \(\mu\)-functions
Journal of Symbolic Computation | 1994-09-13 | Paper |
Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
Theoretical Computer Science | 1993-09-19 | Paper |
| scientific article; zbMATH DE number 97788 (Why is no real title available?) | 1993-01-17 | Paper |
On the complexity of propositional knowledge base revision, updates, and counterfactuals
Artificial Intelligence | 1993-01-17 | Paper |
An efficient method for eliminating varying predicates from a circumscription
Artificial Intelligence | 1992-09-27 | Paper |
Representation formulas and far-field behavior of time-periodic incompressible viscous flow around a translating rigid body
(available as arXiv preprint) | N/A | Paper |
| Adaptive Large-Neighbourhood Search for Optimisation in Answer-Set Programming | N/A | Dataset |
