Ordering Constraints over Feature Trees (1999)

Cached

Download Links

by Martin Müller , Joachim Niehren , Andreas Podelski
Citations:14 - 5 self

Active Bibliography

27 A Complete And Recursive Feature Theory – Rolf Backofen, Gert Smolka - 1992
8 Ordering Constraints over Feature Trees Expressed in Second-order Monadic Logic – Martin Müller, Joachim Niehren - 1998
24 A Complete Axiomatization of a Theory with Feature and Arity Constraints – Rolf Backofen - 1994
19 The First-Order Theory of Ordering Constraints over Feature Trees – Martin Müller, Joachim Niehren, Ralf Treinen - 2001
40 On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations – Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka - 1993
83 Feature Constraint Logics for Unification Grammars – Gert Smolka - 1992
49 Representation and reasoning with attributive descriptions – Bernhard Nebel, Gert Smolka - 1990
17 The Specification and Implementation of Constraint-Based Unification Grammars – Bob Carpenter, Carl Pollard, Alex Franz - 1991
33 Feature Logics – William C. Rounds - 1994
Elsevier Attributive concept descriptions with complements – Manfred Schmidt-schaul, Gert Smolka - 1989
A Survey of Liguistically Motivated Extensions to . . . – Jochen Dörre, Andreas Eisele, Jürgen Wedekind, Jo Calder, Mike Reape - 1990
9 Feature Trees over Arbitrary Structures – Ralf Treinen - 1997
95 Records for Logic Programming – Gert Smolka, Ralf Treinen - 1994
69 A Feature-based Constraint System for Logic Programming with Entailment – Hassan Aït-Kaci, Andreas Podelski, Gert Smolka - 1992
72 A Feature Logic with Subsorts – Gert Smolka - 1992
An Abstract Machine for Unification Grammars – unknown authors - 1997
26 Features and Formulae – Mark Johnson - 1991
2 DF Constraint System – Liviu-virgil Ciortuz - 1995
16 A Feature Constraint System for Logic Programming with Entailment – Hassan Aït-Kaci, Andreas Podelski, Gert Smolka - 1992