Sciweavers

ICGI
1994
Springer

Object-Oriented Inferences in a Logical Framework for Feature Grammars

13 years 8 months ago
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.
Liviu-Virgil Ciortuz
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where ICGI
Authors Liviu-Virgil Ciortuz
Comments (0)