Object-Oriented Inferences in a Logical Framework for Feature Grammars.
Liviu-Virgil CiortuzPublished in: ICGI (1994)
Keyphrases
- logical framework
- object oriented
- inference rules
- belief revision
- reasoning tasks
- relational databases
- possibilistic logic
- programming language
- natural language
- linear logic
- query language
- normative systems
- automated reasoning
- argumentation frameworks
- machine learning
- constraint satisfaction
- situation calculus
- context free grammars
- dynamic programming
- data model
- feature vectors