4595 search results - page 608 / 919 » Reasoning about Plans |
135
Voted
JODS
2007
15 years 19 days ago
2007
Abstract. A viable ontology engineering methodology requires supporting domain experts in gradually building and managing increasingly complex versions of ontological elements and ...
76
Voted
AI
2004
Springer
15 years 19 days ago
2004
Springer
Although many formalisms for reasoning about action and change have been proposed in the literature, any concrete examples provided in such articles have primarily consisted of ti...
98
Voted
LISP
2007
15 years 18 days ago
2007
We present a continuation-passing-style (CPS) transformation for some dynamic delimited-control operators, including Felleisen’s control and prompt, that extends a standard call-...
105
Voted
CAS
2004
15 years 18 days ago
2004
This lecture treats some enduring misconceptions about modeling. One of these is that the goal is always prediction. The lecture distinguishes between explanation and prediction a...
105
Voted
ENTCS
2000
15 years 17 days ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...