260 search results - page 1 / 52 » Nonmonotonic Reasoning in FLORA-2 |
LPNMR
2005
Springer
13 years 10 months ago
2005
Springer
FLORA-2 is an advanced knowledge representation system that integrates F-logic, HiLog, and Transaction Logic. In this paper we give an overview of the theoretical foundations of th...
AAAI
1990
13 years 6 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...
ECAI
1998
Springer
13 years 9 months ago
1998
Springer
In probabilistics, reasoning at optimum entropy (ME-reasoning) has proved to be a most sound and consistent method for inference. This paper investigates its properties in the fram...
AUSAI
2006
Springer
13 years 8 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...
ICLP
1991
Springer
13 years 8 months ago
1991
Springer
Well Founded Semantics is adequate to capture nonmonotonic reasoning if we interpret the Well Founded model of a program P as a (possibly incomplete) view of the world. Thus the W...