175
click to vote
KR
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...
135
click to vote
KR
15 years 6 months ago
1991 Springer 
In the paper, we investigate the way in which nonmonotonic modal logics depend on their underlying monotonic modal logics. Most notably, we study when different monotonic modal l...
132
click to vote
KR
15 years 6 months ago
1991 Springer 
Theories of rational belief revision recently proposed by Alchourron, Gardenfors, Makinson, and Nebel illuminate many important issues but impose unnecessarily strong standards fo...
124
click to vote
KR
15 years 6 months ago
1991 Springer 
This paper describes a reasoning system based on a temporal logic that can solve planning problems along the lines of traditional planning systems. Because it is cast as inference...
|
Automated Reasoning