Concept graphs and predicate logic

DOI10.1007/3-540-44583-8_6MaRDI QIDQ4781222zbMATH OpenFDO

Authors Frithjof Dau

Publication date 25 November 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44583-8_6

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• The logic system of concept graphs with negation. And its relationship to predicate logic.
• Negations in simple concept graphs
• Simple semiconcept graphs: A Boolean logic approach
• Concept graphs without negations: standard models and standard graphs
• Conceptual Graphs and First Order Logic

Cited in

(12)

• The logic system of concept graphs with negation. And its relationship to predicate logic.
• scientific article; zbMATH DE number 5010047 (Why is no real title available?)
• scientific article; zbMATH DE number 2062337 (Why is no real title available?)
• scientific article; zbMATH DE number 2090754 (Why is no real title available?)
• A graph calculus for predicate logic
• Conceptual Structures at Work
• Diagrammatic Representation and Inference
• scientific article; zbMATH DE number 2246053 (Why is no real title available?)
• scientific article; zbMATH DE number 2246057 (Why is no real title available?)
• Simple Conceptual Graphs and Simple Concept Graphs
• Concept graphs without negations: standard models and standard graphs
• Graphs as unifying logical structures in the construction of information system for complex domains

This page was built for publication: Concept graphs and predicate logic

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