On the relation between vector annotated logic programs and defeasible theories

DOI10.12775/LLP.2000.010MaRDI QIDQ3149222zbMATH OpenOpenAlexFDO

Authors Kazumi Nakamatsu

Publication date 30 January 2003

Published in Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL https://doi.org/10.12775/llp.2000.010

zbMATH Keywords

vector annotated logic program with strong negation

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1487560
• scientific article; zbMATH DE number 2087247
• Annotated defeasible logic
• scientific article; zbMATH DE number 2090541
• On Theorem Proving in Annotated Logics
• scientific article; zbMATH DE number 1696797
• Interdefinability of defeasible logic and logic programming under the well-founded semantics
• On the relationship between annotated logic programs and nonmonotonic formalisms
• Embedding defeasible logic into logic programming

Cited in

(4)

• scientific article; zbMATH DE number 1487560 (Why is no real title available?)
• scientific article; zbMATH DE number 1931921 (Why is no real title available?)
• scientific article; zbMATH DE number 1841998 (Why is no real title available?)
• Programming with annotated logics

This page was built for publication: On the relation between vector annotated logic programs and defeasible theories

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