Vivid: a framework for heterogeneous problem solving (Q1045993): Difference between revisions

@@ Property / describes a project that uses @@
+GROVER
@@ Property / describes a project that uses: GROVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CafeOBJ
@@ Property / describes a project that uses: CafeOBJ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CafePie
@@ Property / describes a project that uses: CafePie / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dr.Doodle
@@ Property / describes a project that uses: Dr.Doodle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hyperproof
@@ Property / describes a project that uses: Hyperproof / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2009.06.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2093149618
@@ Property / OpenAlex ID: W2093149618 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagram processing: Computing with diagrams
@@ Property / cites work: Diagram processing: Computing with diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Every Planar Map is Four Colorable
@@ Property / cites work: Every Planar Map is Four Colorable / rank @@
+Normal rank
@@ Property / cites work @@
+Q4951952
@@ Property / cites work: Q4951952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2733893
@@ Property / cites work: Q2733893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184604
@@ Property / cites work: Q3184604 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3258669
@@ Property / cites work: Q3258669 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear diagrams for syllogisms (with relationals)
@@ Property / cites work: Linear diagrams for syllogisms (with relationals) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3200589
@@ Property / cites work: Q3200589 / rank @@
+Normal rank
@@ Property / cites work @@
+A simplied universal relation assumption and its properties
+Normal rank
@@ Property / cites work @@
+Q4224224
@@ Property / cites work: Q4224224 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789490
@@ Property / cites work: Q4789490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3774923
@@ Property / cites work: Q3774923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3367297
@@ Property / cites work: Q3367297 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4740120
@@ Property / cites work: Q4740120 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023825
@@ Property / cites work: Q4023825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4851570
@@ Property / cites work: Q4851570 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid reasoning using universal attachment
@@ Property / cites work: Hybrid reasoning using universal attachment / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023244
@@ Property / cites work: Q4023244 / rank @@
+Normal rank
@@ Property / cites work @@
+Theories of Programming Languages
@@ Property / cites work: Theories of Programming Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Heterogeneous Reasoning and Its Logic
@@ Property / cites work: Heterogeneous Reasoning and Its Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Expressiveness of Spider Diagrams
@@ Property / cites work: The Expressiveness of Spider Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Aligning logical and psychological perspectives on diagrammatic reasoning
+Normal rank
@@ Property / cites work @@
+Q4737294
@@ Property / cites work: Q4737294 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737277
@@ Property / cites work: Q4737277 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1045993