A context-based logic for distributed knowledge representation and reasoning

DOI10.1007/3-540-48315-2_13MaRDI QIDQ4941943zbMATH OpenFDO

Authors Luciano Serafini, Chiara Ghidini

Publication date 5 September 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48315-2_13

zbMATH Keywords

distributed first order logicformalization of distributed knowledge representation and reasoning systemsknowledge exchangelocal models semanticspartial knowledgesemantics for contextual reasoning

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Distributed first order logics
• scientific article; zbMATH DE number 1241674
• Distributed first order logic
• scientific article; zbMATH DE number 2014707
• Description logics in knowledge representation

Cited in

(12)

• Distributed first order logic
• Recording and analysing knowledge-based distributed deduction processes
• scientific article; zbMATH DE number 4162306 (Why is no real title available?)
• Hierarchical distributed systems based on semantic schemas
• Proof Theory for Distributed Knowledge
• The knowledge domain of an hierarchical distributed system determines its architecture
• scientific article; zbMATH DE number 67447 (Why is no real title available?)
• A modal type theory for formalizing trusted communications
• scientific article; zbMATH DE number 1947671 (Why is no real title available?)
• scientific article; zbMATH DE number 2014707 (Why is no real title available?)
• scientific article; zbMATH DE number 6863657 (Why is no real title available?)
• Embodied Context Semantics

This page was built for publication: A context-based logic for distributed knowledge representation and reasoning

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