36 search results - page 2 / 8 » Feature Logic with Disjunctive Unification |
COLING
1990
13 years 6 months ago
1990
This paper describes two novel techniques which, when applied together, in practice significantly reduce the time required for unifying disjunctive feature structures. The first i...
COLING
1990
13 years 6 months ago
1990
This article introduces a bidirectional grammar generation system called feature structure-directed generation, developed for a dialogue translation system. The system utilizes ty...
ICGI
1994
Springer
13 years 9 months ago
1994
Springer
: 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,...
ICFP
2002
ACM
14 years 4 months ago
2002
ACM
We propose an extension of Haskell's type class system with bstractions in the type language. Type inference for our extension relies on a novel constrained unification proce...
IJAR
2008
13 years 4 months ago
2008
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...