Sciweavers

149 search results - page 1 / 30
» A Logical Semantics for Nonmonotonic Sorts
Sort
View
ACL
1993
13 years 6 months ago
A Logical Semantics for Nonmonotonic Sorts
Mark A. Young, William C. Rounds
JOLLI
2007
83views more  JOLLI 2007»
13 years 5 months ago
Modeling generalized implicatures using non-monotonic logics
This paper reports on an approach to model generalized implicatures using nonmonotonic logics. The approach, called compositional, is based on the idea of compositional semantics, ...
Jacques Wainer
AAAI
1990
13 years 6 months ago
The Generalized Theory of Model Preference
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...
Piotr Rychlik
FOAL
2007
ACM
13 years 9 months ago
Aspects and modular reasoning in nonmonotonic logic
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic l...
Klaus Ostermann
AAAI
2004
13 years 6 months ago
Loop Formulas for Circumscription
Clark's completion is a simple nonmonotonic formalism and a special case of several nonmonotonic logics. Recently there has been work on extending completion with "loop ...
Joohyung Lee, Fangzhen Lin