Accessible Reasoning with Diagrams: From Cognition to Automation (Q5878874): Difference between revisions

@@ Property / cites work @@
+Q4619818
@@ Property / cites work: Q4619818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737279
@@ Property / cites work: Q4737279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789490
@@ Property / cites work: Q4789490 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle. A generic theorem prover
@@ Property / cites work: Isabelle. A generic theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+How diagrams can support syllogistic reasoning: an experimental study
+Normal rank
@@ Property / cites work @@
+Strategy analysis of non-consequence inference with Euler diagrams
+Normal rank
@@ Property / cites work @@
+Reasoning with concept diagrams about antipatterns in ontologies
+Normal rank
@@ Property / cites work @@
+Speedith: a reasoner for spider diagrams
@@ Property / cites work: Speedith: a reasoner for spider diagrams / rank @@
+Normal rank