3 search results - page 1 / 1 » Towards State Update Axioms: Reifying Successor State Axioms |
JELIA
1998
Springer
14 years 3 months ago
1998
Springer
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions--but only as far as its representational aspect is concerned. We show how by g...
ECAI
2008
Springer
14 years 24 days ago
2008
Springer
At the "functional level", Semantic Web Services (SWS) are described akin to planning operators, with preconditions and effects relative to an ontology; the ontology prov...
OWLED
2008
14 years 13 days ago
2008
We present the latest release of the Ontology Pre-Processor Language, a language for querying and modifying Description Logic knowledge bases expressed in OWL. We briefly describe ...