Vivid: a framework for heterogeneous problem solving (Q1045993): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(8 intermediate revisions by 4 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: GROVER / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: CafeOBJ / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: CafePie / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Dr.Doodle / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: Hyperproof / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.artint.2009.06.002 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2093149618 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Diagram processing: Computing with diagrams / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Every Planar Map is Four Colorable / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4951952 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2733893 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3184604 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3258669 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear diagrams for syllogisms (with relationals) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3200589 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A simplied universal relation assumption and its properties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4224224 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4789490 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3774923 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3367297 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4740120 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4023825 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4851570 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hybrid reasoning using universal attachment / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4023244 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theories of Programming Languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Heterogeneous Reasoning and Its Logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Expressiveness of Spider Diagrams / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Aligning logical and psychological perspectives on diagrammatic reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4737294 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994458 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automated Reasoning / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4737277 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 08:21, 2 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Vivid: a framework for heterogeneous problem solving |
scientific article |
Statements
Vivid: a framework for heterogeneous problem solving (English)
0 references
21 December 2009
0 references
vivid
0 references
heterogeneous reasoning
0 references
problem solving
0 references
diagrams
0 references
DPLs
0 references
assumption bases
0 references
named system states
0 references
worlds
0 references
3-valued logic
0 references