Programming with annotated logics

DOI10.1007/978-3-319-40418-9_7MaRDI QIDQ5213779zbMATH OpenOpenAlexFDO

Authors Kazumi Nakamatsu, Seiki Akama

Publication date 4 February 2020

Published in Towards Paraconsistent Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-40418-9_7

zbMATH Keywords

intelligent controlannotated logicEVALPSNbf-EVALPSNparaconsistent annotated logic programming

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 1841998
• scientific article; zbMATH DE number 1983183
• A survey of annotated logics
• Rough Sets and Current Trends in Computing
• The Paraconsistent Logics PJ

Cites work

• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 4106297 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 733394 (Why is no real title available?)
• scientific article; zbMATH DE number 1158757 (Why is no real title available?)
• scientific article; zbMATH DE number 1163376 (Why is no real title available?)
• scientific article; zbMATH DE number 1983183 (Why is no real title available?)
• 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?)
• A logic for default reasoning
• Actions and Events in Interval Temporal Logic
• Advances in logic based intelligent systems. Selected papers of LAPTEC 2005, 5th Congress of Logic Applied to Technology, Himeji, Japan, April 2--4, 2005
• Bilattices and the semantics of logic programming
• Computational intelligence: A compendium
• Defeasible Logic is Stable
• Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning
• On the relation between vector annotated logic programs and defeasible theories
• Paraconsistent logic programming
• Propositional calculus for contradictory deductive systems
• Rough Sets and Current Trends in Computing
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Semantical considerations on nonmonotonic logic
• The Paraconsistent Logics PJ
• The well-founded semantics for general logic programs
• Towards a general theory of action and time

Cited in

(5)

• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• scientific article; zbMATH DE number 1841998 (Why is no real title available?)
• The Paraconsistent Logics PJ
• scientific article; zbMATH DE number 1983183 (Why is no real title available?)
• Rough Sets and Current Trends in Computing

Describes a project that uses

Uses Software

• EVALPSN

This page was built for publication: Programming with annotated logics

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