4595 search results - page 608 / 919 » Reasoning about Plans |
165
click to vote
JODS
2007
15 years 4 months ago
2007
Abstract. A viable ontology engineering methodology requires supporting domain experts in gradually building and managing increasingly complex versions of ontological elements and ...
100
click to vote
AI
2004
Springer
15 years 4 months 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...
123
click to vote
LISP
2007
15 years 4 months 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-...
135
click to vote
CAS
2004
15 years 4 months 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...
133
click to vote
ENTCS
2000
15 years 4 months 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...