Implication and Referential Constraints: A New Formal Reasoning.
Xubo ZhangZ. Meral ÖzsoyogluPublished in: IEEE Trans. Knowl. Data Eng. (1997)
Keyphrases
- consistency checking
- logical reasoning
- formal models
- knowledge base
- neural network
- constraint satisfaction
- distributed constraint satisfaction
- formal methods
- legal argument
- point algebra
- reasoning problems
- model based reasoning
- fuzzy relations
- reasoning systems
- global constraints
- temporal reasoning
- formal model
- knowledge representation