Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Implementing a semantic interpreter using conceptual graphs
IBM Journal of Research and Development
Partial Instantiation Methods for Inference in First-Order Logic
Journal of Automated Reasoning
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 Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference
FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure
CADE-17 Proceedings of the 17th International Conference on Automated Deduction
New Directions in Instantiation-Based Theorem Proving
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
The Guarded Fragment of Conceptual Graphs
The Guarded Fragment of Conceptual Graphs
Extensions of simple conceptual graphs: the complexity of rules and constraints
Journal of Artificial Intelligence Research
Conceptual graphs for a data base interface
IBM Journal of Research and Development
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
Hi-index | 0.00 |
This paper presents a conceptual graph formalism called simple graph boolean formulas that extends the $\mathcal{SG}$ with boolean connectors. This formalism is used to define categories of objects in a classification service that can be turned into a legal content management system. We define the $\mathcal{SGBF}$ of graph boolean formulas, present two decidable fragments of this formalism (relying on the first order logic BSR and guarded fragments), and describe the functional architecture of a generic classification service that can be used in the legal domain.