36th International Conference on Logic Programming Special Issue II
Editorial
Introduction to the 36th International Conference on Logic Programming Special Issue II
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 815-817
-
- Article
-
- You have access
- Export citation
Original Article
Flexible coinductive logic programming
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 818-833
-
- Article
- Export citation
eclingo : A Solver for Epistemic Logic Programs
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 834-847
-
- Article
- Export citation
Modular Constraint Solver Cooperation via Abstract Interpretation
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 848-863
-
- Article
- Export citation
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 864-879
-
- Article
- Export citation
Exploiting Game Theory for Analysing Justifications
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 880-894
-
- Article
- Export citation
ASP ($\mathcal A \mathcal C$): Answer Set Programming with Algebraic Constraints
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 895-910
-
- Article
-
- You have access
- Open access
- Export citation
A General Framework for Stable Roommates Problems using Answer Set Programming
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 911-925
-
- Article
-
- You have access
- Open access
- Export citation
An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 926-941
-
- Article
- Export citation
Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 942-957
-
- Article
- Export citation
DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 958-973
-
- Article
- Export citation
Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 974-989
-
- Article
- Export citation
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 990-1005
-
- Article
- Export citation
Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
-
- Published online by Cambridge University Press:
- 22 September 2020, pp. 1006-1020
-
- Article
- Export citation