4595 search results - page 272 / 919 » Reasoning about Plans |
199
click to vote
FM
2001
Springer
15 years 12 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
199
click to vote
AC
2000
Springer
15 years 11 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
188
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The conditions under which a formal system for reasoning about structural specifications, built over one logical system could be reused for reasoning about structured spe...
188
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
158
click to vote
AAAI
2004
15 years 8 months ago
2004
Pearl's probabilistic causal model has been used in many domains to reason about causality. Pearl's treatment of actions is very different from the way actions are repre...