Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Sound and Complete Forward and backward Chainingd of Graph Rules
ICCS '96 Proceedings of the 4th International Conference on Conceptual Structures: Knowledge Representation as Interlingua
A Sound and Complete CG Proof Procedure Combining Projections with Analytic Tableaux
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Simple Concept Graphs: A Logic Approach
ICCS '98 Proceedings of the 6th International Conference on Conceptual Structures: Theory, Tools and Applications
Peircean Foundations for a Theory of Context
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Generality in artificial intelligence
ACM Turing award lectures
Quantificational logic of context
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
Dynamisation in Conceptual Graph Theory has been stimulated by mostly two trends: one inspired by computer science notions of actors and agents and the other one by computational semantics; we focus on the later, following John Sowa's parallel between Existential Graphs and Discourse Representation Theory or more generally Dynamic Semantics. CGs are usually interpreted by mean of a translation into FOL or directly but with a similar static impact, by mean of classical set-theoretic extensional semantics. This classical view in which meaning equals truth conditions does not capture contextual information. We propose to adopt the Dynajnic Semantics shift in which the meaning of a graph is chaxacterized by the change of information brought in an information state when it is updated with the graph.