A Simulation of Co-identity with Rules in Simple and Nested Graphs
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Dynamic Semantics for Conceptual Graphs
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
A Pure Graph-Based Solution to the SCG-1 Initiative
ICCS '99 Proceedings of the 7th International Conference on Conceptual Structures: Standards and Practices
Extension of RDFS Based on the CGs Formalisms
ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Chasing Relational Database Constraints Backwards
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Using transformations to improve semantic matching
Proceedings of the 2nd international conference on Knowledge capture
A semantic validation of conceptual graphs
Knowledge-Based Systems
Formal and graphical annotations for digital objects
SADPI '07 Proceedings of the 2007 international workshop on Semantically aware document processing and indexing
ICCS '08 Proceedings of the 16th international conference on Conceptual Structures: Knowledge Visualization and Reasoning
Conceptual Graph Rules and Equivalent Rules: A Synthesis
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application
ICCS '09 Proceedings of the 17th International Conference on Conceptual Structures: Conceptual Structures: Leveraging Semantic Technologies
Extensions of simple conceptual graphs: the complexity of rules and constraints
Journal of Artificial Intelligence Research
Extending decidable cases for rules with existential variables
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Introducing reasoning into an industrial knowledge management tool
Applied Intelligence
Default conceptual graph rules, atomic negation and Tic-Tac-Toe
ICCS'10 Proceedings of the 18th international conference on Conceptual structures: from information to intelligence
On rules with existential variables: Walking the decidability line
Artificial Intelligence
Ontological query answering with existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Towards farsighted dependencies for existential rules
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Introducing graph-based reasoning into a knowledge management tool: an industrial case study
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Conceptual graphs for semantic web applications
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Rules dependencies in backward chaining of conceptual graphs rules
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
The MIEL++ architecture when RDB, CGs and XML meet for the sake of risk assessment in food products
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Representation and reasoning on role-based access control policies with conceptual graphs
ICCS'06 Proceedings of the 14th international conference on Conceptual Structures: inspiration and Application
Effective and efficient relational query processing using conceptual graphs
IRSG'98 Proceedings of the 20th Annual BCS-IRSG conference on Information Retrieval Research
Boolean formulas of simple conceptual graphs SGBF
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
Supporting argumentation systems by graph representation and computation
GKR'11 Proceedings of the Second international conference on Graph Structures for Knowledge Representation and Reasoning
Publication analysis of the formal concept analysis community
ICFCA'12 Proceedings of the 10th international conference on Formal Concept Analysis
Towards more expressive ontology languages: The query answering problem
Artificial Intelligence
Existential rules: a graph-based view
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
A sound and complete backward chaining algorithm for existential rules
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
A sound and complete chase procedure for constrained tuple-generating dependencies
Journal of Intelligent Information Systems
On the exploration of the query rewriting space with existential rules
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Compact rewritings for existential rules
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Sound, complete, and minimal query rewriting for existential rules
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 0.00 |