deductive planning
Recently Published Documents

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 13

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 ◽

Cited By ~ 1

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 ◽

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

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 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

deductive planningRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Deductive planning with temporal constraints using TAL

On deductive planning and the frame problem

Control Strategies in Deductive Planning

Linear deductive planning

Solving deductive planning problems using program analysis and transformation

Default reasoning by deductive planning

Modeling cooperating agents scenarios by deductive planning methods and logical fiberings

Towards efficient calculi for resource-oriented deductive planning

Deductive Planning and Pathfinding for Relational Data Bases

deductive planning
Recently Published Documents