Multi-agent Systems and Paraconsistent Knowledge

DOI10.1007/978-3-540-88049-3_5zbMath1171.68359OpenAlexW2218890679MaRDI QIDQ3627852

Jair Minoro Abe, Kazumi Nakamatsu

Publication date: 13 May 2009

Published in: Knowledge Processing and Decision Making in Agent-Based Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-88049-3_5

zbMATH Keywords

distributed systemmulti-agentparaconsistent logicannotated logic

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Logic in artificial intelligence (68T27) Distributed systems (68M14)

Cites Work

• Formal theories of knowledge in AI and robotics
• Consensus system for solving conflicts in distributed systems
• On the theory of inconsistent formal systems
• Intensional logics and logical truth
• The Paraconsistent Logics PJ
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Multi-agent Systems and Paraconsistent Knowledge