Vivid: a framework for heterogeneous problem solving

DOI10.1016/J.ARTINT.2009.06.002MaRDI QIDQ1045993zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1633145 (Why is no real title available?)
• scientific article; zbMATH DE number 4176498 (Why is no real title available?)
• scientific article; zbMATH DE number 3140980 (Why is no real title available?)
• scientific article; zbMATH DE number 4035108 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 107664 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 1237648 (Why is no real title available?)
• scientific article; zbMATH DE number 2086734 (Why is no real title available?)
• scientific article; zbMATH DE number 2086746 (Why is no real title available?)
• scientific article; zbMATH DE number 3794378 (Why is no real title available?)
• scientific article; zbMATH DE number 1852974 (Why is no real title available?)
• scientific article; zbMATH DE number 804395 (Why is no real title available?)
• scientific article; zbMATH DE number 1442964 (Why is no real title available?)
• A simplied universal relation assumption and its properties
• Aligning logical and psychological perspectives on diagrammatic reasoning
• Automated Reasoning
• Comparing the efficacy of visual languages
• Diagram processing: Computing with diagrams
• Every Planar Map is Four Colorable
• Handbook of knowledge representation.
• Heterogeneous Reasoning and Its Logic
• Hybrid reasoning using universal attachment
• Linear diagrams for syllogisms (with relationals)
• The Expressiveness of Spider Diagrams
• Theories of Programming Languages

Cited in

(6)

• Heterogeneous proofs: spider diagrams meet higher-order provers
• scientific article; zbMATH DE number 2086746 (Why is no real title available?)
• Is universal computation a myth?
• Vivid
• scientific article; zbMATH DE number 1787151 (Why is no real title available?)
• Proof verification and proof discovery for relativity

Describes a project that uses

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)