3440 search results - page 362 / 688 » Logics For Context-Free Languages |
224
click to vote
RSCTC
2000
Springer
15 years 11 months ago
2000
Springer
The perception-based theory of probabilistic reasoning which is outlined in this paper is not in the traditional spirit. Its principal aim is to lay the groundwork for a radical e...
209
click to vote
AAAI
2007
15 years 9 months ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...
193
click to vote
EDOC
2008
IEEE
15 years 9 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
204
Voted
DLT
2010
15 years 9 months ago
2010
Abstract. Millstream systems have recently been proposed as a formalization of the linguistic idea that natural language should be described as a combination of different modules r...
214
click to vote
FOIS
2006
15 years 9 months ago
2006
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...