Original Article
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
An ASP approach for reasoning in a concept-aware multipreferential lightweight DL
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 751-766
-
- Article
-
- You have access
- Open access
- Export citation
Modular Answer Set Programming as a Formal Specification Language
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 767-782
-
- 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
Towards Metric Temporal Answer Set Programming
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 783-798
-
- Article
- Export citation
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints
-
- Published online by Cambridge University Press:
- 21 September 2020, pp. 799-814
-
- Article
-
- You have access
- Open access
- Export citation