40 search results - page 3 / 8 » Nonmonotonic Reasoning with Well Founded Semantics |
LANMR
2007
13 years 8 months ago
2007
Abstract. We present GLukG, a paraconsistent logic recently introduced. We discuss our motivation as well as interesting properties of this logic. We introduce a non-monotonic sema...
LPNMR
2005
Springer
14 years 12 days ago
2005
Springer
ID-logic uses ideas from the field of logic programming to extend second order logic with non-monotone inductive defintions. In this work, we reformulate the semantics of this lo...
AI
2011
Springer
13 years 1 months ago
2011
Springer
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
MICAI
2000
Springer
13 years 10 months ago
2000
Springer
We introduce the new paradigm of High-Level Non-Monotonic reasoning (HLNM). This paradigm is the consolidation of our recent results on disjunctions, sets, explicit and implicit ne...
IJCAI
1989
13 years 8 months ago
1989
Recent results in the foundations of probability theory indicate that a conditional probability can be viewed as a probability attached to a mathematical entity called a measure-f...