deductive planning
Recently Published Documents

TOTAL DOCUMENTS

9

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Author(s):

Steffen Hölldobler

Keyword(s):

Frame Problem ◽

Deductive Planning ◽

The Frame Problem

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

Linear deductive planning

Journal of Logic and Computation ◽

10.1093/logcom/6.2.233 ◽

1996 ◽

Vol 6 (2) ◽

pp. 233-262 ◽

Author(s):

G Grosse

Keyword(s):

Deductive Planning

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 ◽

Author(s):

D. A. Waal ◽

M. Thielscher

Keyword(s):

Program Analysis ◽

Deductive Planning ◽

Planning Problems

Download Full-text

Default reasoning by deductive planning

Journal of Automated Reasoning ◽

10.1007/bf00881829 ◽

1995 ◽

Vol 15 (1) ◽

pp. 1-40 ◽

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 ◽

Author(s):

Jochen Pfalzgraf ◽

Ute Cornelia Sigmund ◽

Karel Stokkermans

Keyword(s):

Deductive Planning ◽

Planning Methods ◽

Cooperating Agents

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 ◽

Author(s):

Stefan Brüning

Keyword(s):

Deductive Planning

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 ◽

Author(s):

Charles Kellogg ◽

Philip Klahr ◽

Larry Travis

Keyword(s):

Relational Data ◽

Deductive Planning ◽

Relational Data Bases

Download Full-text