Sciweavers

Share
MICAI
2000
Springer

Knowledge Representation Using High-Level Non-monotonic Reasoning

9 years 5 months ago
Knowledge Representation Using High-Level Non-monotonic Reasoning
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 negation, and partialorder clauses. We show how these concepts are integrated in a natural way into the standard logic programming framework. For this purpose, we present several well known examples from the literature that motivate the need of this new paradigm. Finally, we define a declarative semantics for HLNM reasoning.
Mauricio Osorio, Juan Carlos Nieves, Fernando Zaca
Added 25 Aug 2010
Updated 25 Aug 2010
Type Conference
Year 2000
Where MICAI
Authors Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo
Comments (0)
books