scientific article; zbMATH DE number 2086746

MaRDI QIDQ4737294zbMATH OpenFDO

Authors Nik Swoboda, Gerard Allwein

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2317/23170131.htm

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Recommendations

• Vivid: a framework for heterogeneous problem solving
• Reasoning with sentences and diagrams
• scientific article; zbMATH DE number 753770
• Heterogeneous Reasoning and Its Logic
• Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL

Cited in

(8)

• Vivid: a framework for heterogeneous problem solving
• Hierarchical modeling of heterogeneous bodies
• A logical investigation of heterogeneous reasoning with graphs in elementary economics
• Agenda control for heterogeneous reasoners
• Syllogisms in rudimentary linear logic, diagrammatically
• What Are the Advantages of Hyperproof-like Reasoning Systems?
• Heterogeneous Reasoning and Its Logic
• scientific article; zbMATH DE number 5245021 (Why is no real title available?)

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 Q4737294)