Vivid: a framework for heterogeneous problem solving

DOI10.1016/j.artint.2009.06.002zbMath1185.68638OpenAlexW2093149618MaRDI QIDQ1045993

Selmer Bringsjord, Konstantine Arkoudas

Publication date: 21 December 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2009.06.002

zbMATH Keywords

vivid3-valued logicproblem solvingdiagramsassumption basesDPLsheterogeneous reasoningnamed system statesworlds

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (3)

Proof verification and proof discovery for relativity ⋮ Is Universal Computation a Myth? ⋮ Vivid

Uses Software

• CafeOBJ
• GROVER
• CafePie
• Dr.Doodle
• Hyperproof

Cites Work

• Diagram processing: Computing with diagrams
• Linear diagrams for syllogisms (with relationals)
• Hybrid reasoning using universal attachment
• A simplied universal relation assumption and its properties
• Every Planar Map is Four Colorable
• Theories of Programming Languages
• The Expressiveness of Spider Diagrams
• Heterogeneous Reasoning and Its Logic
• Automated Reasoning
• Aligning logical and psychological perspectives on diagrammatic reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Vivid: a framework for heterogeneous problem solving