scientific article; zbMATH DE number 1787156

zbMATH Open1009.68111MaRDI QIDQ4548196FDOQ4548196

Authors: Nik Swoboda 

Publication date: 21 August 2002

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

directed acyclic graphsEuler/Venn reasoning system

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01)

Cited In (6)

• Efficient on-line algorithms for Euler diagram region computation
• Syllogisms in rudimentary linear logic, diagrammatically
• 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
• Automated theorem proving in Euler diagram systems
• A survey of reasoning systems based on Euler diagrams

This page was built for publication:

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