Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Basic Conceptual Structures Theory
ICCS '94 Proceedings of the Second International Conference on Conceptual Structures: Current Practices
Modelling and Simulating Human Behaviours with Conceptual Graphs
ICCS '97 Proceedings of the Fifth International Conference on Conceptual Structures: Fulfilling Peirce's Dream
Knowledge Representation and Reasonings Based on Graph Homomorphism
ICCS '00 Proceedings of the Linguistic on Conceptual Structures: Logical Linguistic, and Computational Issues
The Logic System of Concept Graphs With Negation: And Its Relationship to Predicate Logic
The Logic System of Concept Graphs With Negation: And Its Relationship to Predicate Logic
On querying simple conceptual graphs with negation
Data & Knowledge Engineering
Extensions of simple conceptual graphs: the complexity of rules and constraints
Journal of Artificial Intelligence Research
Local negation in concept graphs
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Formal and graphical annotations for digital objects
SADPI '07 Proceedings of the 2007 international workshop on Semantically aware document processing and indexing
An Algorithmic Study of Deduction in Simple Conceptual Graphs with Classical Negation
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Introducing reasoning into an industrial knowledge management tool
Applied Intelligence
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Information and Computation
| Hi-index | 0.00 |
This paper studies the introduction of atomic negation into simple conceptual graphs. Several semantics of negation are explored w.r.t. the deduction problem and the query answering problem. Sound and complete algorithm schemes based on projection (or coref-projection) are provided in all cases. The processing of equality/inequality is added to the framework.