Knowledge Representation, Reasoning and Declarative Problem Solving
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Cambridge University Press

9780521818025, 9780511543357, 9780521147750

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Declarative programming in AnsProlog*: introduction and preliminaries

Knowledge Representation, Reasoning and Declarative Problem Solving ◽

10.1017/cbo9780511543357.002 ◽

2003 ◽

pp. 1-45

Keyword(s):

Declarative Programming

Download Full-text

Further extensions of and alternatives to AnsProlog*

Knowledge Representation, Reasoning and Declarative Problem Solving ◽

10.1017/cbo9780511543357.010 ◽

2003 ◽

pp. 458-493

Download Full-text

Query answering and answer set computing systems

Knowledge Representation, Reasoning and Declarative Problem Solving ◽

10.1017/cbo9780511543357.009 ◽

2003 ◽

pp. 382-457

Keyword(s):

Query Answering ◽

Computing Systems ◽

Download Full-text

Bibliography

Knowledge Representation, Reasoning and Declarative Problem Solving ◽

10.1017/cbo9780511543357.013 ◽

2003 ◽

pp. 498-518

Download Full-text

Reasoning about actions and planning in AnsProlog*

Knowledge Representation, Reasoning and Declarative Problem Solving ◽

10.1017/cbo9780511543357.006 ◽

2003 ◽

pp. 199-277

Keyword(s):

Reasoning About Actions

Download Full-text

Simple modules for declarative programming with answer sets

Knowledge Representation, Reasoning and Declarative Problem Solving ◽

10.1017/cbo9780511543357.003 ◽

2003 ◽

pp. 46-82

Keyword(s):

Declarative Programming ◽

Simple Modules ◽

Download Full-text

Ordinals, lattices, and fixpoint theory

Knowledge Representation, Reasoning and Declarative Problem Solving ◽

10.1017/cbo9780511543357.011 ◽

2003 ◽

pp. 494-495

Download Full-text

Complexity, expressiveness, and other properties of AnsProlog* programs

Knowledge Representation, Reasoning and Declarative Problem Solving ◽

10.1017/cbo9780511543357.007 ◽

2003 ◽

pp. 278-344

Download Full-text

Preface

Knowledge Representation, Reasoning and Declarative Problem Solving ◽

10.1017/cbo9780511543357.001 ◽

2003 ◽

pp. ix-xiv

Download Full-text

Answer set computing algorithms

Knowledge Representation, Reasoning and Declarative Problem Solving ◽

10.1017/cbo9780511543357.008 ◽

2003 ◽

pp. 345-381

Keyword(s):

Download Full-text