Searching for "Non-Monotonic Reasoning with Logic Programming." – sorted by Relevance.
-
Non-monotonic Reasoning with Logic Programming
- Non--monotonic Reasoning with Logic Programming Lu'is Moniz Pereira, Joaquim N. Apar'icio, Jos'e J
- Cited by 38 (16 self) – Add To MetaCart
-
NoMoRe: Non-Monotonic Reasoning with Logic Programs
- NoMoRe: Non-Monotonic Reasoning with Logic Programs 1 Introduction Christian Anger, Kathrin
- Cited by 9 (6 self) – Add To MetaCart
-
Belief Revision in Non-Monotonic Reasoning and Logic Programming
- reason about beliefs, we've introduced a non-monotonic formalism, called the Autoepistemic Logic
- Cited by 3 (3 self) – Add To MetaCart
-
"Classical" Negation in Non-Monotonic Reasoning and Logic Programming
- "Classical" Negation in Non-Monotonic Reasoning and Logic Programming Jos'e Alferes and Lu
- Cited by 40 (26 self) – Add To MetaCart
-
Strong and explicit negation in non-monotonic reasoning and logic programming
- Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming José Júlio Alferes 1
- Cited by 20 (12 self) – Add To MetaCart
-
Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming
- Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming Jos'e J'ulio Alferes
- Add To MetaCart
-
noMoRe A Graph-Based System for Non-Monotonic Reasoning with Logic Programs under Answer Set
- noMoRe A Graph-Based System for Non-Monotonic Reasoning with Logic Programs under Answer Set
- Cited by 2 (0 self) – Add To MetaCart
-
Non-monotonic Reasoning vs. Logic Programming: A New Perspective
- Non--monotonic Reasoning vs. Logic Programming: A New Perspective Teodor C. Przymusinski July 1
- Cited by 5 (2 self) – Add To MetaCart
-
Extending Classical Logic with Inductive Definitions
- logics was shown. In the context of non-monotonic reasoning, Reiter (Reiter 1996) and Amati et al (Amati
- Cited by 53 (35 self) – Add To MetaCart
-
Prolegomena to Logic Programming for Non-Monotonic Reasoning
- Prolegomena to Logic Programming for Non--Monotonic Reasoning Jurgen Dix 1 and Lu'is Moniz
- Cited by 20 (13 self) – Add To MetaCart

