| Publication | Date of Publication | Type |
|---|
Linear-time temporal answer set programming
Theory and Practice of Logic Programming | 2025-02-14 | Paper |
Metric temporal equilibrium logic over timed traces
Theory and Practice of Logic Programming | 2025-01-03 | Paper |
| Probabilistic autoepistemic equilibrium logic | 2024-10-24 | Paper |
| Logic, accountability and design (extended abstract) | 2024-05-29 | Paper |
| Deontic equilibrium logic with explicit negation | 2024-05-29 | Paper |
| Past-present temporal programs over finite traces | 2024-05-29 | Paper |
Metric dynamic equilibrium logic
Journal of Applied Non-Classical Logics | 2023-10-30 | Paper |
Temporal ASP: from logical foundations to practical use with \texttt{telingo}
Reasoning Web. Declarative Artificial Intelligence | 2023-08-03 | Paper |
| Metric temporal answer set programming over timed traces | 2023-04-04 | Paper |
| scientific article; zbMATH DE number 7455713 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455713 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
| scientific article; zbMATH DE number 7453121 (Why is no real title available?) | 2022-01-06 | Paper |
scientific article; zbMATH DE number 7453121 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-06 | Paper |
Splitting epistemic logic programs
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Autoepistemic answer set programming
Artificial Intelligence | 2021-08-16 | Paper |
| Explicit negation in linear-dynamic equilibrium logic | 2021-07-06 | Paper |
\texttt{eclingo}: a solver for epistemic logic programs
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Towards metric temporal answer set programming
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Modular answer set programming as a formal specification language
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
| Temporal logic programs with temporal description logic axioms | 2020-06-04 | Paper |
| Lower bound founded logic of here-and-there | 2020-02-18 | Paper |
| Splitting epistemic logic programs | 2019-10-10 | Paper |
Founded world views with autoepistemic equilibrium logic
(available as arXiv preprint) | 2019-10-10 | Paper |
| Founded world views with autoepistemic equilibrium logic | 2019-10-10 | Paper |
| Towards dynamic answer set programming over finite traces | 2019-10-10 | Paper |
| \textit{telingo} = ASP + time | 2019-10-10 | Paper |
Gelfond-Zhang aggregates as propositional formulas
Artificial Intelligence | 2019-08-28 | Paper |
Multi-context systems in dynamic environments
Annals of Mathematics and Artificial Intelligence | 2019-08-13 | Paper |
Verification for ASP denotational semantics: a case study using the PVS theorem prover
Logic Journal of the IGPL | 2019-01-08 | Paper |
Temporal answer set programming on finite traces
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Temporal equilibrium logic with past operators
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Temporal equilibrium logic: a survey
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
Temporal logic programs with variables
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
An infinitary encoding of temporal equilibrium logic
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Justifications for programs with disjunctive and causal-choice rules
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Enablers and inhibitors in causal justifications of logic programs
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Gelfond-Zhang aggregates as propositional formulas
Logic Programming and Nonmonotonic Reasoning | 2017-09-05 | Paper |
A qualitative spatial representation of string loops as holes
Artificial Intelligence | 2016-09-07 | Paper |
Stable Models for Temporal Theories
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Enablers and inhibitors in causal justifications of logic programs
Lecture Notes in Computer Science | 2015-11-04 | Paper |
Explaining preferences and preferring explanations
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | 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 |
| Paving the way for temporal grounding | 2014-02-25 | Paper |
Automata-Based Computation of Temporal Equilibrium Models
Logic-Based Program Synthesis and Transformation | 2013-03-13 | Paper |
Causal Logic Programming
Correct Reasoning | 2012-07-23 | Paper |
| A logical characterisation of ordered disjunction | 2011-06-28 | Paper |
A logical characterisation of ordered disjunction
(available as arXiv preprint) | 2011-06-28 | Paper |
Formalising the Fisherman's Folly puzzle
Artificial Intelligence | 2011-06-17 | Paper |
Functional answer set programming
Theory and Practice of Logic Programming | 2011-06-15 | Paper |
Loop formulas for splitable temporal logic programs
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
Answer set; programming?
Lecture Notes in Computer Science | 2011-05-19 | Paper |
A normal form for linear temporal equilibrium logic
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Partial Functions and Equality in Answer Set Programming
Logic Programming | 2009-01-22 | Paper |
Strongly Equivalent Temporal Logic Programs
Logics in Artificial Intelligence | 2008-10-27 | Paper |
Strings and Holes: An Exercise on Spatial Reasoning
Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 | 2008-10-16 | Paper |
Temporal Equilibrium Logic: A First Approach
Computer Aided Systems Theory – EUROCAST 2007 | 2008-09-02 | Paper |
Propositional theories are strongly equivalent to logic programs
Theory and Practice of Logic Programming | 2007-12-10 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
| scientific article; zbMATH DE number 2090540 (Why is no real title available?) | 2004-08-12 | Paper |
