10 results
Answer Set Planning: A Survey
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 01 April 2022, pp. 226-298
-
- Article
- Export citation
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 5 / September 2023
- Published online by Cambridge University Press:
- 04 March 2022, pp. 1029-1069
-
- Article
- Export citation
Preface
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 3 / May 2021
- Published online by Cambridge University Press:
- 18 January 2021, pp. 293-295
-
- Article
-
- You have access
- Export citation
Action-Centered Information Retrieval
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 2 / March 2020
- Published online by Cambridge University Press:
- 09 August 2019, pp. 249-272
-
- Article
- Export citation
An ASP Methodology for Understanding Narratives about Stereotypical Activities
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 535-552
-
- Article
-
- You have access
- Export citation
CASP solutions for planning in hybrid domains
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 4 / July 2017
- Published online by Cambridge University Press:
- 04 July 2017, pp. 591-633
-
- Article
- Export citation
Constraint answer set solver EZCSP and why integration schemas matter
-
- Journal:
- Theory and Practice of Logic Programming / Volume 17 / Issue 4 / July 2017
- Published online by Cambridge University Press:
- 29 June 2017, pp. 462-515
-
- Article
- Export citation
ASP with non-herbrand partial functions: a language and system for practical use
-
- Journal:
- Theory and Practice of Logic Programming / Volume 13 / Issue 4-5 / July 2013
- Published online by Cambridge University Press:
- 25 September 2013, pp. 547-561
-
- Article
- Export citation
Formalization of psychological knowledge in answer set programming and its application
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 725-740
-
- Article
- Export citation
Diagnostic reasoning with A-Prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 3 / Issue 4-5 / July 2003
- Published online by Cambridge University Press:
- 31 July 2003, pp. 425-461
-
- Article
- Export citation