31 results
Embracing Background Knowledge in the Analysis of Actual Causality: An Answer Set Programming Approach
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 26 July 2023, pp. 715-729
-
- Article
- Export citation
Thirty years of Epistemic Specifications
-
- Journal:
- Theory and Practice of Logic Programming / Volume 22 / Issue 6 / November 2022
- Published online by Cambridge University Press:
- 08 November 2021, pp. 1043-1083
-
- Article
- Export citation
Modular action language ${\mathcal ALM}$
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 2 / March 2016
- Published online by Cambridge University Press:
- 06 July 2015, pp. 189-235
-
- Article
- Export citation
Vicious Circle Principle and Logic Programs with Aggregates
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 587-601
-
- Article
- Export citation
Appendix C - Introduction to SPARC
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp 314-316
-
- Chapter
- Export citation
3 - Roots of Answer Set Prolog
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp 40-60
-
- Chapter
- Export citation
10 - Diagnostic Agents
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp 216-234
-
- Chapter
- Export citation
Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- The Answer-Set Programming Approach
-
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014
Bibliography
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp 331-342
-
- Chapter
- Export citation
12 - The Prolog Programming Language
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp 271-306
-
- Chapter
- Export citation
Contents
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp vii-x
-
- Chapter
- Export citation
Appendix D - Code
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp 317-330
-
- Chapter
- Export citation
2 - Answer Set Prolog (ASP)
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp 11-39
-
- Chapter
- Export citation
Preface
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp xi-xiv
-
- Chapter
- Export citation
Appendix A - ASP Solver Quick-Start
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp 307-309
-
- Chapter
- Export citation
1 - Logic-Based Approach to Agent Design
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp 1-10
-
- Chapter
- Export citation
Appendix B - Aspide
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp 310-313
-
- Chapter
- Export citation
Dedication
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp v-vi
-
- Chapter
- Export citation
4 - Creating a Knowledge Base
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp 61-85
-
- Chapter
- Export citation
5 - Representing Defaults
-
- Book:
- Knowledge Representation, Reasoning, and the Design of Intelligent Agents
- Published online:
- 05 July 2014
- Print publication:
- 10 March 2014, pp 86-113
-
- Chapter
- Export citation