Logic Programming over Polymorphically Order-Sorted Types (1989)

Cached

Download Links

by Gert Smolka
Citations:58 - 0 self

Active Bibliography

72 A Feature Logic with Subsorts – Gert Smolka - 1992
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
17 The Specification and Implementation of Constraint-Based Unification Grammars – Bob Carpenter, Carl Pollard, Alex Franz - 1991
41 Inheritance and Constraint-Based Grammar Formalisms – Remi Zajac - 1992
Existential Rigidity and Many Modalities in Order-Sorted Logic – Ken Kaneiwa
1 A Combinator-based Order-sorted Higher-order Unification Algorithm – Patricia Johann, Fachbereich Informatik - 1993
1 Higher-Order Order-Sorted Resolution – Michael Kohlhase - 1994
35 (ML)²: A formal language for KADS models of expertise – Frank Van Harmelen, John Balder - 1993
69 A Feature-based Constraint System for Logic Programming with Entailment – Hassan Aït-Kaci, Andreas Podelski, Gert Smolka - 1992
9 Feature Trees over Arbitrary Structures – Ralf Treinen - 1997
16 A Feature Constraint System for Logic Programming with Entailment – Hassan Aït-Kaci, Andreas Podelski, Gert Smolka - 1992
208 Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations – Joseph A. Goguen - 1992
10 TDL -- A Type Description Language for HPSG -- Part 1: Overview – Hans-Ulrich Krieger, Ulrich Schäfer - 1994
1 Evaluating complex constraints in linguistic formalisms – Rod Johnson, C.J. Rupp - 1992
4 The Formal and Computational Theory of Complex Constraint Resolution – Luís Damas, Nelma Moreira, Giovanni B. Varile - 1994
3 What is Hybrid in Hybrid Representation and Reasoning Systems? – Bernhard Nebel - 1989
83 Feature Constraint Logics for Unification Grammars – Gert Smolka - 1992
Elsevier Attributive concept descriptions with complements – Manfred Schmidt-schaul, Gert Smolka - 1989
14 Ordering Constraints over Feature Trees – Martin Müller, Joachim Niehren, Andreas Podelski - 1999