Original Article
Inlining External Sources in Answer Set Programs
-
- Published online by Cambridge University Press:
- 11 February 2019, pp. 360-411
-
- Article
- Export citation
Editorial
Introduction to the 35th International Conference on Logic Programming Special Issue
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 630-635
-
- Article
-
- You have access
- Export citation
Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
-
- Published online by Cambridge University Press:
- 15 February 2019, pp. 109-113
-
- Article
-
- You have access
- Export citation
Original Article
Enabling reasoning with LegalRuleML
-
- Published online by Cambridge University Press:
- 14 September 2018, pp. 1-26
-
- Article
- Export citation
Hybrid ASP-based Approach to Pattern Mining
-
- Published online by Cambridge University Press:
- 18 January 2019, pp. 505-535
-
- Article
- Export citation
Querying Knowledge via Multi-Hop English Questions
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 636-653
-
- Article
- Export citation
Multi-shot ASP solving with clingo
-
- Published online by Cambridge University Press:
- 10 July 2018, pp. 27-82
-
- Article
- Export citation
Description, Implementation, and Evaluation of a Generic Design for Tabled CLP
-
- Published online by Cambridge University Press:
- 18 January 2019, pp. 412-448
-
- Article
- Export citation
Survey Article
Answering the “why” in answer set programming – A survey of explanation approaches
-
- Published online by Cambridge University Press:
- 15 January 2019, pp. 114-203
-
- Article
- Export citation
Original Article
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge
-
- Published online by Cambridge University Press:
- 18 January 2019, pp. 536-573
-
- Article
- Export citation
Technical Note
Hybrid metabolic network completion
-
- Published online by Cambridge University Press:
- 09 November 2018, pp. 83-108
-
- Article
- Export citation
Original Article
Property-Based Testing for Spark Streaming
-
- Published online by Cambridge University Press:
- 19 February 2019, pp. 574-602
-
- Article
- Export citation
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
-
- Published online by Cambridge University Press:
- 14 January 2019, pp. 449-476
-
- Article
- Export citation
Introducing Computer Science to High School Students Through Logic Programming
-
- Published online by Cambridge University Press:
- 14 November 2018, pp. 204-228
-
- Article
- Export citation
Enhancing Magic Sets with an Application to Ontological Reasoning
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 654-670
-
- Article
- Export citation
Rapid Communication
plasp 3: Towards Effective ASP Planning
-
- Published online by Cambridge University Press:
- 18 January 2019, pp. 477-504
-
- Article
- Export citation
Original Article
Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
-
- Published online by Cambridge University Press:
- 15 February 2019, pp. 229-261
-
- Article
- Export citation
Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 671-687
-
- Article
-
- You have access
- Open access
- Export citation
Rapid Communication
Optimizing Answer Set Computation via Heuristic-Based Decomposition
-
- Published online by Cambridge University Press:
- 28 February 2019, pp. 603-628
-
- Article
- Export citation
Original Article
Paracoherent Answer Set Semantics meets Argumentation Frameworks
-
- Published online by Cambridge University Press:
- 20 September 2019, pp. 688-704
-
- Article
- Export citation