Default theory for well founded semantics with explicit negation

DOI10.1007/BFB0023437MaRDI QIDQ4244297zbMATH OpenFDO

Authors Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício

Publication date 27 May 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0023437

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 591001
• scientific article; zbMATH DE number 1136651
• Negation by default and unstratifiable logic programs
• A correct logic programming computation of default logic extensions

Cited in

(18)

• Logic knowledge bases with two default rules
• An encompassing framework for paraconsistent logic programs
• Non-monotonic extensions of logic programming. ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected papers
• Static semantics for normal and disjunctive logic programs
• A semantics for conditionals with default negation
• A rule based knowledge transaction model for mobile environments
• scientific article; zbMATH DE number 591001 (Why is no real title available?)
• scientific article; zbMATH DE number 1136651 (Why is no real title available?)
• scientific article; zbMATH DE number 2015298 (Why is no real title available?)
• scientific article; zbMATH DE number 2079775 (Why is no real title available?)
• A system for defeasible argumentation, with defeasible priorities
• scientific article; zbMATH DE number 2090540 (Why is no real title available?)
• Default Negation as Explicit Negation plus Update
• An abductive framework for extended logic programming
• Nonmonotonicity and answer set inference
• Graph theoretical structures in logic programs and default theories
• A correct logic programming computation of default logic extensions
• Negation by default and unstratifiable logic programs

This page was built for publication: Default theory for well founded semantics with explicit negation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4244297)