12 search results - page 3 / 3 » Boosting the Correspondence between Description Logics and P... |
IEEESCC
2005
IEEE
13 years 11 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
AI
2011
Springer
13 years 24 days ago
2011
Springer
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...