1536 search results - page 59 / 308 » The Underlying Logic of Hoare Logic |
115
click to vote
IJCAI
1997
14 years 11 months ago
1997
We propose a method of compiling circumscription into Extended Logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized c...
ECAI
2010
Springer
14 years 11 months ago
2010
Springer
We investigate probabilistic propositional logic as a way of expressing and reasoning about uncertainty. In contrast to Bayesian networks, a logical approach can easily cope with i...
102
click to vote
IJAR
2007
14 years 9 months ago
2007
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integra...
CADE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
NMR
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents statistical default logic, an expansion of classical (i.e., Reiter) default logic that allows us to model common inference patterns found in standard inferenti...