Pushing the envelope: Planning, propositional logic, and stochastic search

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 1996, Pages 1194-1201

  Kautz, Henry ^a   Selman, Bart ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; PROBLEM SOLVING; RANDOM PROCESSES; ROBOT LEARNING;

PROPOSITIONAL LOGIC;

ROBOT PROGRAMMING;

EID: 0030352389     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (0)