Vivid: a framework for heterogeneous problem solving

DOI10.1016/J.ARTINT.2009.06.002zbMATH Open1185.68638OpenAlexW2093149618MaRDI QIDQ1045993FDOQ1045993

Authors: Konstantine Arkoudas, Selmer Bringsjord 

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

Recommendations

• scientific article; zbMATH DE number 2086746
• Heterogeneous proofs: spider diagrams meet higher-order provers
• A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
• scientific article; zbMATH DE number 918108
• Reasoning with sentences and diagrams

zbMATH Keywords

problem solvingdiagrams3-valued logicassumption basesDPLsheterogeneous reasoningnamed system statesvividworlds

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Handbook of knowledge representation.
• Title not available (Why is that?)
• A simplied universal relation assumption and its properties
• Every Planar Map is Four Colorable
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theories of Programming Languages
• Automated Reasoning
• Title not available (Why is that?)
• Linear diagrams for syllogisms (with relationals)
• Diagram processing: Computing with diagrams
• Aligning logical and psychological perspectives on diagrammatic reasoning
• Heterogeneous Reasoning and Its Logic
• Hybrid reasoning using universal attachment
• Title not available (Why is that?)
• Comparing the efficacy of visual languages
• The Expressiveness of Spider Diagrams
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (6)

• Is universal computation a myth?
• Heterogeneous proofs: spider diagrams meet higher-order provers
• Title not available (Why is that?)
• Title not available (Why is that?)
• Vivid
• Proof verification and proof discovery for relativity

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1045993)