12 results
Knowledge-Based Stable Roommates Problem: A Real-World Application
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 6 / November 2021
- Published online by Cambridge University Press:
- 27 September 2021, pp. 852-869
-
- Article
-
- You have access
- Open access
- Export citation
Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 942-957
-
- Article
- Export citation
A General Framework for Stable Roommates Problems using Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 911-925
-
- Article
-
- You have access
- Open access
- Export citation
Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 1006-1020
-
- Article
- Export citation
Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 6 / November 2020
- Published online by Cambridge University Press:
- 22 September 2020, pp. 974-989
-
- Article
- Export citation
Introduction to the 35th International Conference on Logic Programming Special Issue
-
- Journal:
- Theory and Practice of Logic Programming / Volume 19 / Issue 5-6 / September 2019
- Published online by Cambridge University Press:
- 20 September 2019, pp. 630-635
-
- Article
-
- You have access
- Export citation
Hybrid conditional planning using answer set programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 5-6 / September 2017
- Published online by Cambridge University Press:
- 22 August 2017, pp. 1027-1047
-
- Article
- Export citation
Generating explanations for biomedical queries
-
- Journal:
- Theory and Practice of Logic Programming / Volume 15 / Issue 1 / January 2015
- Published online by Cambridge University Press:
- 17 December 2013, pp. 35-78
-
- Article
- Export citation
Finding optimal plans for multiple teams of robots through a mediator: A logic-based approach
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 831-846
-
- Article
- Export citation
Finding similar/diverse solutions in answer set programming*
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 3 / May 2013
- Published online by Cambridge University Press:
- 01 November 2011, pp. 303-359
-
- Article
- Export citation
Temporal phylogenetic networks and logic programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 6 / Issue 5 / September 2006
- Published online by Cambridge University Press:
- 02 August 2006, pp. 539-558
-
- Article
- Export citation
Tight logic programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 3 / Issue 4-5 / July 2003
- Published online by Cambridge University Press:
- 31 July 2003, pp. 499-518
-
- Article
- Export citation