3773 search results - page 86 / 755 » Logical Reasoning |
160
Voted
CONCUR
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
104
click to vote
ACSC
2006
IEEE
15 years 7 months ago
2006
IEEE
We introduce a logic for reasoning about and constructing refinements for
176
Voted
KR
1991
Springer
15 years 6 months ago
1991
Springer
Temporal logic can be used as a programming language. If temporal formulae are represented in the form of an implication where the antecedent refers to the past, and the consequen...
126
Voted
SARA
2009
Springer
15 years 10 months ago
2009
Springer
Real-world automated reasoning systems must contend with inconsistencies and the vast amount of information stored in relational databases. In this paper, we introduce compilation...
143
Voted
ECSQARU
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Even though in Artificial Intelligence, a set of classical logical formulae is often called a belief base, reasoning about beliefs requires more than the language of cla...