Reasoning with coincidence grids—A sequent-based logic and an analysis of complexity-Reference-Cited by-同舟云学术

Reasoning with coincidence grids—A sequent-based logic and an analysis of complexity

Published:2011-02 Issue:1 Volume:22 Page:56-65
ISSN:1045-926X
Container-title:Journal of Visual Languages & Computing
language:en
Short-container-title:Journal of Visual Languages & Computing

Author:

Barker-Plummer Dave,Swoboda Nik

Publisher

Elsevier BV

Subject

Computer Science Applications,Human-Computer Interaction,Language and Linguistics

Reference9 articles.

1. Visual decision making: a computational architecture for heterogeneous reasoning;Barker-Plummer,2004

2. A computational architecture for heterogeneous reasoning;Barker-Plummer;Journal of Theoretical and Experimental Artificial Intelligence (JETAI),2007

3. Hyperproof;Barwise,1994

4. L. Euler, Lettres à une Princesse d’Allemagne sur Divers Sujets de Physique et de Philosophie, Imprimerie de l’Academie Impériale des Sciences, 1768–1772, Letters 102–108.

5. Computers and Intractability—A Guide to the Theory of NP-Completeness;Garey,1979

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization;Archive for Mathematical Logic;2021-02-24

2. CHANNEL-THEORETIC ACCOUNT OF REIFICATION IN REPRESENTATION SYSTEMS;LOG ANAL;2020

3. Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams;Diagrammatic Representation and Inference;2018

4. Operations on Single Feature Indicator Systems;Diagrammatic Representation and Inference;2018

5. Logical Investigation of Reasoning with Tables;Diagrammatic Representation and Inference;2014