Programming with annotated logics

DOI10.1007/978-3-319-40418-9_7zbMATH Open1429.68041OpenAlexW2484349227MaRDI QIDQ5213779FDOQ5213779

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

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

zbMATH Keywords

intelligent controlannotated logicEVALPSNbf-EVALPSNparaconsistent annotated logic programming

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Paraconsistent logic programming
• Title not available (Why is that?)
• The well-founded semantics for general logic programs
• Towards a general theory of action and time
• Propositional calculus for contradictory deductive systems
• Title not available (Why is that?)
• Actions and Events in Interval Temporal Logic
• Title not available (Why is that?)
• Bilattices and the semantics of logic programming
• A logic for default reasoning
• Semantical considerations on nonmonotonic logic
• Title not available (Why is that?)
• Defeasible Logic is Stable
• Title not available (Why is that?)
• Computational intelligence: A compendium
• The Paraconsistent Logics PJ
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to annotated logics. Foundations for paracomplete and paraconsistent reasoning
• On the relation between vector annotated logic programs and defeasible theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• Rough Sets and Current Trends in Computing
• Advances in logic based intelligent systems. Selected papers of LAPTEC 2005, 5th Congress of Logic Applied to Technology, Himeji, Japan, April 2--4, 2005

Cited In (5)

• Title not available (Why is that?)
• The Paraconsistent Logics PJ
• Title not available (Why is that?)
• Rough Sets and Current Trends in Computing
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing

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)