3776 search results - page 143 / 756 » Partition-Based Logical Reasoning |
139
Voted
AAAI
2006
15 years 4 months ago
2006
Recently, Lakemeyer and Levesque proposed a logic of onlyknowing which precisely captures three forms of nonmonotonic reasoning: Moore's Autoepistemic Logic, Konolige's ...
127
Voted
AUSAI
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
125
click to vote
ENTCS
2008
15 years 3 months ago
2008
Logical frameworks serve as meta-languages to represent deductive systems, sometimes requiring special purpose meta logics to reason about the representations. In this work, we de...
143
Voted
ENTCS
2000
15 years 3 months ago
2000
Abstract. Logic programming languages based on linear logic are of both theoretical and practical interest, particulaly because such languages can be seen as providing a logical ba...
126
Voted
AAAI
1990
15 years 4 months ago
1990
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...