Implementing Euler/Venn reasoning systems

MaRDI QIDQ4548196zbMATH OpenFDO

Authors Nik Swoboda

Publication date 21 August 2002

zbMATH Keywords

directed acyclic graphsEuler/Venn reasoning system

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Recommendations

• A survey of reasoning systems based on Euler diagrams
• A diagrammatic inference system with Euler circles
• Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL
• Automated theorem proving in Euler diagram systems
• Euler’s visual logic

Cited in

(6)

• Venn diagram with names of individuals and their absence: a non-classical diagram logic
• Presence and absence of individuals in diagrammatic logics: an empirical comparison
• Syllogisms in rudimentary linear logic, diagrammatically
• Automated theorem proving in Euler diagram systems
• A survey of reasoning systems based on Euler diagrams
• Efficient on-line algorithms for Euler diagram region computation

This page was built for publication: Implementing Euler/Venn reasoning systems

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