Programming with Annotated Logics

DOI10.1007/978-3-319-40418-9_7zbMath1429.68041OpenAlexW2484349227MaRDI QIDQ5213779

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

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

Uses Software

• EVALPSN

Cites Work

• Computational intelligence: A compendium
• Towards a general theory of action and time
• Semantical considerations on nonmonotonic logic
• A logic for default reasoning
• Paraconsistent logic programming
• Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning
• Propositional calculus for contradictory deductive systems
• On the relation between vector annotated logic programs and defeasible theories
• The Paraconsistent Logics PJ
• Bilattices and the semantics of logic programming
• Defeasible Logic is Stable
• The well-founded semantics for general logic programs
• Actions and Events in Interval Temporal Logic
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Rough Sets and Current Trends in Computing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Programming with Annotated Logics