| Publication | Date of Publication | Type |
|---|
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 7453121 (Why is no real title available?)
| 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
| 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 |
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 |
