| Publication | Date of Publication | Type |
|---|
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 |
| d-\( \mathcal{B} \): a language for well-founded deontic planning | 2025-12-15 | Paper |
Answer-set programming for lexicographical makespan optimisation in parallel machine scheduling
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
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 |
Managing caching strategies for stream reasoning with reinforcement learning
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
\(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints
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 |
A logic programming approach to knowledge-state planning, semantics and complexity
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 |
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 |
Semantical characterizations and complexity of equivalences in answer set programming
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Exploiting contextual knowledge for hybrid classification of visual objects
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Reactive policies with planning for action languages
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks
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 |
Linking open-world knowledge bases using nonmonotonic rules
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Reasoning with forest logic programs using fully enriched automata
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
FDNC: decidable nonmonotonic disjunctive logic programs with function symbols
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Well-founded semantics for description logic programs in the semantic web
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 |
A glimpse on Gerhard Brewka's contributions to artificial intelligence
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | 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 |
Modular paracoherent answer sets
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 |
Decomposition of 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 |
The DMCS Solver for 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 |
