3573 search results - page 140 / 715 » Reasoning about Codata |
123
Voted
WADT
1998
Springer
15 years 7 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...
117
Voted
BIRTHDAY
2004
Springer
15 years 7 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...
110
Voted
AAAI
2004
15 years 4 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...
165
click to vote
AAAI
1996
15 years 4 months ago
1996
This paper presents mathematical results that can sometimes be used to simplify the task of reasoning about a default theory, by \splitting it into parts." These so-called Sp...
127
Voted
AMAI
2005
Springer
15 years 3 months ago
2005
Springer
Using the ideas from current investigations in Knowledge Representation we study the use of a class of logic programs for reasoning about infinite sets. Our programs reason about t...