Linear deductive planning

G Grosse

doi:10.1093/logcom/6.2.233

Linear deductive planning

Journal of Logic and Computation ◽

10.1093/logcom/6.2.233 ◽

1996 ◽

Vol 6 (2) ◽

pp. 233-262 ◽

Cited By ~ 13

Author(s):

G Grosse

Keyword(s):

Deductive Planning

Download Full-text

Towards efficient calculi for resource-oriented deductive planning

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-58216-9_37 ◽

1994 ◽

pp. 174-188 ◽

Cited By ~ 3

Author(s):

Stefan Brüning

Keyword(s):

Deductive Planning

Download Full-text

Deductive planning with temporal constraints using TAL

Proceedings of the 2006 international symposium on Practical cognitive agents and robots - PCAR '06 ◽

10.1145/1232425.1232444 ◽

2006 ◽

Author(s):

Martin Magnusson ◽

Patrick Doherty

Keyword(s):

Temporal Constraints ◽

Deductive Planning

Download Full-text

On deductive planning and the frame problem

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/bfb0013045 ◽

2005 ◽

pp. 13-29 ◽

Cited By ~ 4

Author(s):

Steffen Hölldobler

Keyword(s):

Frame Problem ◽

Deductive Planning ◽

The Frame Problem

Download Full-text

Deductive Planning and Pathfinding for Relational Data Bases

Logic and Data Bases ◽

10.1007/978-1-4684-3384-5_7 ◽

1978 ◽

pp. 179-200 ◽

Cited By ~ 16

Author(s):

Charles Kellogg ◽

Philip Klahr ◽

Larry Travis

Keyword(s):

Relational Data ◽

Data Bases ◽

Deductive Planning ◽

Relational Data Bases

Download Full-text

Default reasoning by deductive planning

Journal of Automated Reasoning ◽

10.1007/bf00881829 ◽

1995 ◽

Vol 15 (1) ◽

pp. 1-40 ◽

Cited By ~ 8

Author(s):

Michael Thielscher ◽

Torsten Schaub

Keyword(s):

Default Reasoning ◽

Deductive Planning

Download Full-text

Modeling cooperating agents scenarios by deductive planning methods and logical fiberings

Integrating Symbolic Mathematical Computation and Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/3-540-60156-2_13 ◽

1995 ◽

pp. 167-190 ◽

Cited By ~ 2

Author(s):

Jochen Pfalzgraf ◽

Ute Cornelia Sigmund ◽

Karel Stokkermans

Keyword(s):

Deductive Planning ◽

Planning Methods ◽

Cooperating Agents

Download Full-text

Solving deductive planning problems using program analysis and transformation

Logic Program Synthesis and Transformation - Lecture Notes in Computer Science ◽

10.1007/3-540-60939-3_15 ◽

1996 ◽

pp. 189-203 ◽

Cited By ~ 1

Author(s):

D. A. Waal ◽

M. Thielscher

Keyword(s):

Program Analysis ◽

Deductive Planning ◽

Planning Problems

Download Full-text

Control Strategies in Deductive Planning

Automated Planning ◽

10.1016/b978-155860856-6/50018-1 ◽

2004 ◽

pp. 263-279

Author(s):

Malik Ghallab ◽

Dana Nau ◽

Paolo Traverso

Keyword(s):

Control Strategies ◽

Deductive Planning

Download Full-text