A unifying view for logic programming with non-monotonic reasoning
From MaRDI portal
Publication:1390932
DOI10.1016/S0304-3975(97)80755-4zbMath0942.68021MaRDI QIDQ1390932
Paola Mello, Paolo Mancarella, Antonio Brogi, Evelina Lamma
Publication date: 22 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (2)
An abductive framework for extended logic programming ⋮ Integrating induction and abduction in logic programming
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fully abstract compositional semantics for an algebra of logic programs
- Compiling a default reasoning system into Prolog
- On the relations between stable and well-founded semantics of logic programs
- Compositional model-theoretic semantics for logic programs
- Knowledge representation and reasoning under uncertainty. Logic at work
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
- A logic programming system for nonmonotonic reasoning
- On the semantics of abstract argumentation
- On the correctness of unfold/fold transformation of normal and extended logic programs
- SLDNFA: An abductive procedure for abductive logic programs
- Short note preferred extensions are partial stable models
- Non-monotonic reasoning with logic programming
- The well-founded semantics for general logic programs
- Logic programming and negation: A survey
- Logic programming and knowledge representation
- On the equivalence of semantics for normal logic programs
- An argumentation-theoretic foundation for logic programming
- Dynamic updates of non-monotonic knowledge bases
- Representing Incomplete Knowledge in Abductive Logic Programming
- Abduction over 3-valued extended logic programs
- An abductive framework for extended logic programming
- Abductive Logic Programming
This page was built for publication: A unifying view for logic programming with non-monotonic reasoning
