Act, and the rest will follow: Exploiting determinism in Planning as Satisfiability

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 1998, Pages 948-952

  Giunchiglia, Enrico ^a   Massarotto, Alessandro ^a   Sebastiani, Roberto ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; PROBLEM SOLVING;

PLANNING AS SATISFIABILITY (SAT);

ARTIFICIAL INTELLIGENCE;

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

References (10)