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 partial-order 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. © Springer-Verlag Berlin Heidelberg 2000.
CITATION STYLE
Osorio, M., Nieves, J. C., Zacarias, F., & Saucedo, E. (2000). Knowledge representation using High-Level Non-Monotonic reasoning. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1793 LNAI, pp. 13–24). https://doi.org/10.1007/10720076_2
Mendeley helps you to discover research relevant for your work.