Sciweavers

156 search results - page 32 / 32
» Quasi-Classical Semantics for Expressive Description Logics
Sort
View
AI
2011
Springer
13 years 9 days ago
Approximation of action theories and its application to conformant planning
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ric...