24 results
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct Examples
-
- Journal:
- Theory and Practice of Logic Programming / Volume 18 / Issue 3-4 / July 2018
- Published online by Cambridge University Press:
- 10 August 2018, pp. 623-637
-
- Article
-
- You have access
- Export citation
Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them
-
- Journal:
- Theory and Practice of Logic Programming / Volume 12 / Issue 4-5 / July 2012
- Published online by Cambridge University Press:
- 05 September 2012, pp. 775-791
-
- Article
- Export citation
Probabilistic reasoning with answer sets
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 1 / January 2009
- Published online by Cambridge University Press:
- 01 January 2009, pp. 57-144
-
- Article
- Export citation
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
-
- Journal:
- Theory and Practice of Logic Programming / Volume 7 / Issue 4 / July 2007
- Published online by Cambridge University Press:
- 01 July 2007, pp. 377-450
-
- Article
- Export citation
Introduction to the special issue on Programming with answer sets
-
- Journal:
- Theory and Practice of Logic Programming / Volume 3 / Issue 4-5 / July 2003
- Published online by Cambridge University Press:
- 31 July 2003, pp. 387-391
-
- Article
- Export citation
Bibliography
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 498-518
-
- Chapter
- Export citation
1 - Declarative programming in AnsProlog*: introduction and preliminaries
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 1-45
-
- Chapter
- Export citation
5 - Reasoning about actions and planning in AnsProlog*
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 199-277
-
- Chapter
- Export citation
Appendix B - Turing machines
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 496-497
-
- Chapter
- Export citation
Contents
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp v-viii
-
- Chapter
- Export citation
8 - Query answering and answer set computing systems
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 382-457
-
- Chapter
- Export citation
4 - Declarative problem solving and reasoning in AnsProlog*
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 170-198
-
- Chapter
- Export citation
6 - Complexity, expressiveness, and other properties of AnsProlog* programs
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 278-344
-
- Chapter
- Export citation
2 - Simple modules for declarative programming with answer sets
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 46-82
-
- Chapter
- Export citation
9 - Further extensions of and alternatives to AnsProlog*
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 458-493
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp i-iv
-
- Chapter
- Export citation
Index of terms
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 522-530
-
- Chapter
- Export citation
Index of notation
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 519-521
-
- Chapter
- Export citation
Appendix A - Ordinals, lattices, and fixpoint theory
-
- Book:
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003, pp 494-495
-
- Chapter
- Export citation
Knowledge Representation, Reasoning and Declarative Problem Solving
-
- Published online:
- 13 August 2009
- Print publication:
- 09 January 2003