Vivid: a framework for heterogeneous problem solving
type: Item
instance of: scholarly article
title: Vivid: a framework for heterogeneous problem solving
zbMATH Open document ID: 1185.68638
author: Konstantine Arkoudas
author: Selmer Bringsjord
published in: Artificial Intelligence
publication date: 2009-12-21T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5650765
zbMATH Keywords: vivid
zbMATH Keywords: heterogeneous reasoning
zbMATH Keywords: problem solving
zbMATH Keywords: diagrams
zbMATH Keywords: DPLs
zbMATH Keywords: assumption bases
zbMATH Keywords: named system states
zbMATH Keywords: worlds
zbMATH Keywords: 3-valued logic
describes a project that uses: GROVER
describes a project that uses: CafeOBJ
describes a project that uses: CafePie
describes a project that uses: Dr.Doodle
describes a project that uses: Hyperproof
MaRDI profile type: Publication
full work available at URL: j.artint.2009.06.002
OpenAlex ID: W2093149618
cites work: Diagram processing: Computing with diagrams
cites work: Every Planar Map is Four Colorable
cites work: Q4951952
cites work: Q2733893
cites work: Q3184604
cites work: Q3258669
cites work: Linear diagrams for syllogisms (with relationals)
cites work: Q3200589
cites work: A simplied universal relation assumption and its properties
cites work: Q4224224
cites work: Q4789490
cites work: Q3774923
cites work: Q3367297
cites work: Q4740120
cites work: Q4023825
cites work: Q4851570
cites work: Hybrid reasoning using universal attachment
cites work: Q4023244
cites work: Theories of Programming Languages
cites work: Heterogeneous Reasoning and Its Logic
cites work: The Expressiveness of Spider Diagrams
cites work: Aligning logical and psychological perspectives on diagrammatic reasoning
cites work: Q4737294
cites work: Q3994458
cites work: Automated Reasoning
cites work: Q4737277
DOI: 10.1016/J.ARTINT.2009.06.002
description: scientific article; zbMATH DE number 5650765