Heterogeneous reasoning with euler/venn diagrams containing named constants and FOL

Electronic Notes in Theoretical Computer Science

Volumn 134, Issue , 2005, Pages 153-187

  Swoboda, Nik ^a   Allwein, Gerard ^b  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

^b NAVAL RESEARCH LABORATORY   (United States)

Author keywords

Euler diagrams; Heterogeneous reasoning; Venn diagrams

Indexed keywords

ARTIFICIAL INTELLIGENCE; DATA PROCESSING; LOGIC PROGRAMMING; MATHEMATICAL MODELS; SET THEORY; SYNTACTICS;

EULER DIAGRAMS; FIRST ORDER LOGIC (FOL); HETEROGENEOUS REASONING; VENN DIAGRAMS;

GRAPH THEORY;

EID: 18844395897     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.02.023     Document Type: Conference Paper

References (17)

1. J. Barwise, and J. Etchemendy Hyperproof 1994 CSLI Publications Stanford
2. H. Behmann Beiträge zur algebra der logik, insbesondere zum entscheidungsproblem Mathematische Annalen 86 1922 163 229
3. G.S. Boolos, and R.C. Jeffrey Computability and Logic third edition 1989 Cambridge University Press
4. Fish, A., J. Flower and J. Howse, The semantics of augmented constraint diagrams, Journal of Visual Languages and Computing (2005), in press
5. J.Y. Gil, J. Howse, and S. Kent Formalising spider diagrams Proceedings IEEE Symposium on Visual Languages (VL99) 1999 130 137
6. E.M. Hammer Logic and Visual Information 1995 CSLI and FOLLI Stanford
7. M. Hegarty B. Meyer N.H. Narayanan Diagrammatic Representation and Inference Lecture Notes in Artificial Intelligence Number 2317 2002 Springer-Verlag Berlin
8. J. Howse, F. Molina, J. Taylor, S. Kent, and J.Y. Gil Spider diagrams: A diagrammatic reasoning system Journal of Visual Languages and Computing 12 2001 299 324
9. Howse, J., G. Stapleton, J. Flower and J. Taylor, Corresponding regions in euler diagrams, in: Hegarty et al. [7] pp. 76-90
10. S. Kent Constraint diagrams: visualizing invariants in object-oriented models Proceedings of the 1997 ACM SIGPLAN conference on Object-oriented programming systems, languages and applications 1997 327 341
11. W.v. Quine Methods of Logic third edition 1974 Routledge and Kegan Paul
12. S.-J. Shin The Logical Status of Diagrams 1995 Cambridge University Press Cambridge
13. S.-J. Shin Situation-theoretic account of valid reasoning with Venn diagrams G. Allwein J. Barwise Logical Reasoning with Diagrams 1996 Oxford University Press New York 81 108
14. G. Stapleton A survey of reasoning systems based on euler diagrams Electronic Notes in Theoretical Computer Science ?? 2005
15. Stapleton, G., J. Howse and J. Taylor, A constraint diagram reasoning system, in: Proceedings of the 9th International Conference on Distributed Multimedia Systems, 2003, pp. 263-270
16. N. Swoboda Implementing Euler/Venn reasoning systems M. Anderson B. Meyer P. Olivier Diagrammatic Representation and Reasoning 2002 Springer-Verlag London 371 386
17. Swoboda, N. and G. Allwein, Modeling heterogeneous systems, in: Hegarty et al. [7] pp. 131-145