Author:
Arkoudas Konstantine,Bringsjord Selmer
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference67 articles.
1. A visual syntax for logic and logic programming;Agusti;Journal of Visual Languages and Computing,1998
2. Diagram processing: Computing with diagrams;Anderson;Artificial Intelligence,2003
3. Every Map is Four Colorable;Appel,1989
4. Proofs and pictures: Proving the diamond lemma with the GROVER theorem proving system;Barker-Plummer,1992
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Argument-based inductive logics, with coverage of compromised perception;Frontiers in Artificial Intelligence;2024-01-08
2. Parallel Verification of Natural Deduction Proof Graphs;Electronic Proceedings in Theoretical Computer Science;2023-11-17
3. Logic-Based Modeling of Cognition;The Cambridge Handbook of Computational Cognitive Sciences;2023-05-11
4. Cognitive Modeling Paradigms;The Cambridge Handbook of Computational Cognitive Sciences;2023-05-11
5. Rectifying the Mischaracterization of Logic by Mental Model Theorists;Cognitive Science;2020-11-21