18 results
Metric Temporal Equilibrium Logic over Timed Traces
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 18 September 2024, pp. 1-28
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Model Explanation via Support Graphs
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 29 February 2024, pp. 1-14
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Linear-Time Temporal Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 27 December 2021, pp. 2-56
-
- Article
-
- You have access
- Open access
- Export citation
eclingo : A Solver for Epistemic Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 834-847
-
- Article
- Export citation
Towards Metric Temporal Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 783-798
-
- Article
- Export citation
Modular Answer Set Programming as a Formal Specification Language
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 767-782
-
- Article
- Export citation
Splitting Epistemic Logic Programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 3 / May 2021
- Published online by Cambridge University Press:
- 05 May 2020, pp. 296-316
-
- Article
- Export citation
Revisiting Explicit Negation in Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 908-924
-
- Article
-
- You have access
- Open access
- Export citation
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 390-405
-
- Article
-
- You have access
- Export citation
Temporal Answer Set Programming on Finite Traces
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 406-420
-
- Article
-
- You have access
- Export citation
Temporal logic programs with variables*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 2 / March 2017
- Published online by Cambridge University Press:
- 11 November 2016, pp. 226-243
-
- Article
- Export citation
Justifications for programs with disjunctive and causal-choice rules*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 587-603
-
- Article
- Export citation
Enablers and inhibitors in causal justifications of logic programs*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 1 / January 2017
- Published online by Cambridge University Press:
- 03 May 2016, pp. 49-74
-
- Article
- Export citation
A denotational semantics for equilibrium logic*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 620-634
-
- Article
- Export citation
An infinitary encoding of temporal equilibrium logic*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 4-5 / July 2015
- Published online by Cambridge University Press:
- 03 September 2015, pp. 666-680
-
- Article
- Export citation
Causal Graph Justifications of Logic Programs*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 603-618
-
- Article
- Export citation
Functional answer set programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 11 / Issue 2-3 / March 2011
- Published online by Cambridge University Press:
- 04 February 2011, pp. 203-233
-
- Article
- Export citation
Propositional theories are strongly equivalent to logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 7 / Issue 6 / November 2007
- Published online by Cambridge University Press:
- 01 November 2007, pp. 745-759
-
- Article
- Export citation