clauses and feature-structure logic: Principles and unification algorithms, LLI (1993)

by Stephen J. Hegner
Citations:1 - 1 self

Documents Related by Co-Citation

2 Characterization of type hierarchies with open specification – Stephen J. Hegner
5 Distributivity in incompletely specified type hierarchies: Theory and computational complexity – Stephen J. Hegner - 1994
4 Computational and structural aspects of openly specified type hierarchies – Stephen J. Hegner - 1998
2 An ecient method for checking object oriented database schema correctness. TODS – A Formica, H D Groger, M Missiko - 1998
1 Types and constraints – V de Paiva - 1993
14 Feature logic with disjunctive unification – Jochen Dörre, Andreas Eisele - 1990
10 The use of a semantic network in a deductive question-answering system – James R. Mcskimin - 1977
47 Lexical Functional Grammar – M Dalrymple - 2001
118 Efficient implementation of lattice operations – Robert Boyer, Patrick Lincoln, Roger Nasr - 1989
42 Enderton, A Mathematical Introduction to Logic, 2nd Edition – H B - 2001
28 Why Horn formulas matter for computer science: Initial structures and generic examples – J A Makowsky - 1987
216 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
311 J.H.: Linear-time algorithms for testing the satisfiability of propositional Horn formulae – W F Dowling, Gallier - 1984
269 Formal Concept Analysis – B Ganter, R Wille
318 The Object-Oriented Database System Manifesto – Malcolm Atkinson, François Bancilhon, David DeWitt, Klaus Dittrich, David Maier, Stanley Zdonik - 1989
141 Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming – L Brownston, R Farell, E Kant, N martin - 1985
633 The Description Logic Handbook: Theory, Implementation and Applications – F Baader, D Calvanese, D McGuinness, D Nardi, P F Patel-Schneider, Eds - 2003
270 Optimal syntax – J Bresnan - 2000
330 The Logic of Typed Feature Structures – Bob Carpenter, Fernando Pereira - 1992