<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2009-12-11 19:06:44Logic Benjamin Peirce Semeiotic Pragmatism Ernst Schröder Truth Christine Ladd-Franklin Sign Diagrammatic reasoning Charles Sanders Peirce Philosophy Science |
| A Diagrammatic Reasoning System for ALC Frithjof Dau, Peter Eklund Faculty of Informatics University of Wollongong Wollongong, NSW, 2522 Australia dau,DocID: 1sBzj - View Document |
| Contents 1 Formal Logic with Conceptual Graphs Frithjof Dau 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . 1.2 Short Introduction to Conceptual Graphs . . . . .DocID: 1qNy3 - View Document |
| Notation - Book of AbstractsDocID: 1qeIU - View Document |
| Conceptual Spider Diagrams Frithjof Dau1 and Andrew Fish2? 1 University of WollongongDocID: 1pEcq - View Document |
| Concept Graphs with Cuts as Diagrammatic First Order Logic Frithjof Dau Darmstadt Technical University, Darmstadt, GermanyDocID: 1pxMW - View Document |