Query Graphs with Cuts: Mathematical Foundations
暂无分享,去创建一个
[1] Gerd Stumme,et al. Conceptual Structures: Broadening the Base , 2001, Lecture Notes in Computer Science.
[2] Frithjof Dau,et al. Nested Concept Graphs: Applications for Databases and Mathematical Foundations , 2003 .
[3] John F. Sowa,et al. Conceptual Structures: Information Processing in Mind and Machine , 1983 .
[4] Rudolf Wille. Contextual logic summary , 2000 .
[5] John F. Sowa,et al. Conceptual Structures: Fulfilling Peirce's Dream , 1997, Lecture Notes in Computer Science.
[6] Charles Sanders Peirce,et al. Phänomen und Logik der Zeichen , 1993 .
[7] Galia Angelova,et al. Conceptual Structures: Integration and Interfaces , 2002, Lecture Notes in Computer Science.
[8] Frithjof Dau,et al. From Formal Concept Analysis to Contextual Logic , 2005, Formal Concept Analysis.
[9] Robert W. Burch. A Peircean Reduction Thesis : The Foundations of Topological Logic , 1991 .
[10] Sun-Joo Shin. The Iconic Logic of Peirce's Graphs , 2002 .
[11] Rudolf Wille,et al. Existential Concept Graphs of Power Context Families , 2002, ICCS.
[12] Hilary Putnam,et al. Reasoning and the logic of things , 1992 .
[13] John F. Sowa,et al. Conceptual graphs summary , 1992 .
[14] Marie-Laure Mugnier,et al. Conceptual Structures: Theory, Tools and Applications , 1998, Lecture Notes in Computer Science.
[15] Eric M. Hammer,et al. Semantics for existential graphs , 1998, J. Philos. Log..
[16] H. Putnam,et al. Reasoning and the Logic of Things. The Cambridge Conferences Lectures of 1898. , 1993 .
[17] D. Roberts. The existential graphs , 1992 .
[18] Sun-Joo Shin. Reconstituting Beta Graphs into an Efficacious System , 1999, J. Log. Lang. Inf..
[19] Silke Pollandt,et al. Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations , 2002, ICCS.
[20] Sun-Joo Shin,et al. The logical status of diagrams , 1995 .
[21] Frithjof Dau,et al. An Embedding of Existential Graphs into Concept Graphs with Negations , 2002, ICCS.
[22] John F. Sowa,et al. Conceptual Graphs: Draft Proposed American National Standard , 1999, ICCS.
[23] Frithjof Dau,et al. Types and Tokens for Logic with Diagrams , 2004, ICCS.
[24] Bernhard Ganter,et al. Conceptual Structures: Logical, Linguistic, and Computational Issues , 2000, Lecture Notes in Computer Science.
[25] Susanne Prediger,et al. Kontextuelle Urteilslogik mit Begriffsgraphen: ein Beitrag zur Restrukturierung der mathematischen Logik , 1998 .
[26] Yi Zhang. Logic and Algebra , 2002 .
[27] Frithjof Dau,et al. The Logic System of Concept Graphs with Negation , 2003, Lecture Notes in Computer Science.
[28] John F. Sowa,et al. Knowledge representation: logical, philosophical, and computational foundations , 2000 .
[29] Frithjof Dau,et al. Negations in Simple Concept Graphs , 2000, ICCS.
[30] Rudolf Wille,et al. Conceptual Graphs and Formal Concept Analysis , 1997, ICCS.
[31] Bernhard Ganter,et al. Formal Concept Analysis: Mathematical Foundations , 1998 .
[32] William M. Tepfenhart,et al. Conceptual Structures: Standards and Practices , 1999, Lecture Notes in Computer Science.
[33] Peter Øhrstrøm,et al. Working with Conceptual Structures - Contributions to ICCS 2000 , 2000 .
[34] Silke Pollandt. Relational constructions on semiconcept graphs , 2001 .
[35] Peter W. Eklund,et al. Conceptual structures: current research and practice , 1992 .
[36] Susanne Prediger,et al. Simple Concept Graphs: A Logic Approach , 1998, ICCS.
[37] John F. Sowa,et al. Conceptual Graphs for Knowledge Representation , 1993, Lecture Notes in Computer Science.
[38] M. Chein,et al. Conceptual graphs: fundamental notions , 1992 .
[39] Eric Hammer,et al. Logic and Visual Information , 1995 .
[40] Rudolf Wille. Restructuring mathematical logic: an approach based on Peirce's pragmatism , 1996 .
[41] Stephen W. Smoliar,et al. J. F. Sowa, Conceptual Structures: Information Processing in Mind and Machine , 1987, Artif. Intell..
[42] John Taylor,et al. On Diagram Tokens and Types , 2002, Diagrams.
[43] Frithjof Dau,et al. Concept Graphs as Semantic Structures for Contextual Judgment Logic , 2007, CLA.