506 search results - page 17 / 102 » Logics for Action |
106
click to vote
AAAI
2006
15 years 1 months ago
2006
We present tractable, exact algorithms for learning actions' effects and preconditions in partially observable domains. Our algorithms maintain a propositional logical repres...
107
click to vote
LICS
1990
IEEE
15 years 3 months ago
1990
IEEE
Reasoning about permissions and obligations sometimes requires to distinguish more than one level of permission: certain actions are preferable to others, or one has more confiden...
115
click to vote
FMICS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
116
click to vote
LPNMR
1999
Springer
15 years 4 months ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...
87
Voted
AAAI
2006
15 years 1 months ago
2006
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...