Object-Oriented Inferences in a Logical Framework for Feature Grammars

: This paper deals on defining object-oriented inferences by desining a new unification procedure called ?-unification (which leads to a sound and complete resolution) in DF-logic, a significant subset of F-logic [KLW,1990], an useful frame-based logical framework that enables the declarative implementation of feature grammars like LFGs, GPSGs, HPSGs, etc.

• Type: Conference
• Year: 1994
• Where: ICGI
• Authors: Liviu-Virgil Ciortuz
• Keywords: Frame-based Logical Framework, ICGI 1994, Natural Language Processing, Object-oriented Inferences, Significant Subset