19 results
Locally Tight Programs
-
- Journal:
- Theory and Practice of Logic Programming , First View
- Published online by Cambridge University Press:
- 19 January 2024, pp. 1-31
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 26 July 2023, pp. 715-729
-
- Article
- Export citation
External Behavior of a Logic Program and Verification of Refactoring
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 18 July 2023, pp. 933-947
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Positive Dependency Graphs Revisited
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 5 / September 2023
- Published online by Cambridge University Press:
- 23 August 2022, pp. 1128-1137
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson’s Logic
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 2 / March 2023
- Published online by Cambridge University Press:
- 03 May 2022, pp. 444-467
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Thirty years of Epistemic Specifications
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 08 November 2021, pp. 1043-1083
-
- Article
- Export citation
Planning with Incomplete Information in Quantified Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 5 / September 2021
- Published online by Cambridge University Press:
- 24 September 2021, pp. 663-679
-
- 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
Verifying Tight Logic Programs with anthem and vampire
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 5 / September 2020
- Published online by Cambridge University Press:
- 21 September 2020, pp. 735-750
-
- 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
Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 671-687
-
- Article
-
- You have access
- Open access
- Export citation
Answering the “why” in answer set programming – A survey of explanation approaches
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 2 / March 2019
- Published online by Cambridge University Press:
- 15 January 2019, pp. 114-203
-
- Article
- 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
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
Deriving conclusions from non-monotonic cause-effect relations*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 670-687
-
- 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
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