| Publication | Date of Publication | Type |
|---|
Statistical relational extension of answer set programming
Reasoning Web. Causality, Explanations and Declarative Knowledge | 2023-08-17 | Paper |
Elaboration Tolerant Representation of Markov Decision Process via Decision-Theoretic Extension of Probabilistic Action Language +
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Action language \(\mathcal{BC}+\)
Journal Of Logic And Computation | 2020-08-05 | Paper |
Bridging commonsense reasoning and probabilistic planning via a probabilistic action language
Theory and Practice of Logic Programming | 2020-05-04 | Paper |
| Elaboration tolerant representation of Markov decision process via decision-theoretic extension of probabilistic action language \(p\mathcal{BC}+\) | 2019-10-10 | Paper |
First-order stable model semantics with intensional functions
Artificial Intelligence | 2019-08-28 | Paper |
| scientific article; zbMATH DE number 7047283 (Why is no real title available?) | 2019-04-24 | Paper |
Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
A probabilistic extension of action language \(\mathcal{BC}+\)
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers
Theory and Practice of Logic Programming | 2017-11-08 | Paper |
Representing hybrid automata by action language modulo theories
Theory and Practice of Logic Programming | 2017-11-08 | Paper |
Online action language \(o\mathcal {BC}+\)
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
System \textsc{aspmt2smt}: computing ASPMT theories by SMT solvers
Logics in Artificial Intelligence | 2015-01-14 | Paper |
Stable models of fuzzy propositional formulas
Logics in Artificial Intelligence | 2015-01-14 | Paper |
On the stable model semantics for intensional functions
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
| Stable models of formulas with generalized quantifiers (preliminary report) | 2014-02-25 | Paper |
Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Module theorem for the general theory of stable models
Theory and Practice of Logic Programming | 2013-03-13 | Paper |
Representing first-order causal theories by logic programs
Theory and Practice of Logic Programming | 2012-08-30 | Paper |
| Representing the language of the causal calculator in answer set programming | 2012-08-29 | Paper |
Reformulating action language \(\mathcal{C}+\) in answer set programming
Correct Reasoning | 2012-07-23 | Paper |
Vladimir Lifschitz — A Youth at 65
Correct Reasoning | 2012-07-23 | Paper |
On elementary loops of logic programs
Theory and Practice of Logic Programming | 2012-05-24 | Paper |
Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
The Journal of Artificial Intelligence Research (JAIR) | 2012-05-16 | Paper |
First-order stable model semantics and first-order loop formulas
(available as arXiv preprint) | 2012-01-12 | Paper |
| Classical logic event calculus as answer set programming | 2011-11-23 | Paper |
Stable models and circumscription
Artificial Intelligence | 2011-06-17 | Paper |
Integrating rules and ontologies in the first-order stable model semantics (preliminary report)
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
On Reductive Semantics of Aggregates in Answer Set Programming
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Safe Formulas in the General Theory of Stable Models (Preliminary Report)
Logic Programming | 2009-01-22 | Paper |
Head-Elementary-Set-Free Logic Programs
Logic Programming and Nonmonotonic Reasoning | 2007-11-13 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Loop formulas for circumscription
Artificial Intelligence | 2007-10-23 | Paper |
A generalization of the Lin-Zhao theorem
Annals of Mathematics and Artificial Intelligence | 2006-12-20 | Paper |
Nonmonotonic causal theories
Artificial Intelligence | 2006-02-07 | Paper |
Representing the Zoo World and the Traffic World in the language of the Causal Calculator
Artificial Intelligence | 2006-02-07 | Paper |
