Open AccessOn the Use of Prime Implicates in Conformant Planning
Author(s) -
Son Thanh To,
Tran Cao Son,
Enrico Pontelli
Publication year - 2010
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v24i1.7757
Subject(s) - soundness , successor cardinal , belief revision , completeness (order theory) , prime (order theory) , state (computer science) , computer science , context (archaeology) , theoretical computer science , representation (politics) , action (physics) , artificial intelligence , mathematics , programming language , combinatorics , mathematical analysis , paleontology , politics , political science , law , biology , physics , quantum mechanics