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
42 Enderton, A Mathematical Introduction to Logic, 2nd Edition – H B - 2001
141 Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming – L Brownston, R Farell, E Kant, N martin - 1985
330 The Logic of Typed Feature Structures – Bob Carpenter, Fernando Pereira - 1992
633 editors. The Description Logic Handbook: Theory, Implementation and Applications – F Baader, D Calvanese, D McGuinness, D Nardi, P F Patel-Schneider - 2003
215 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
310 Linear-time algorithms for testing the satisfiability of propositional horn formulae – W F Dowling, J H Gallier - 1984
269 Formal Concept Analysis – B Ganter, R Wille - 1999
270 Lexical-Functional Syntax – J Bresnan - 2000
318 The Object-Oriented Database System Manifesto – Malcolm Atkinson, François Bancilhon, David DeWitt, Klaus Dittrich, David Maier, Stanley Zdonik - 1989
118 Efficient implementation of lattice operations – Robert Boyer, Patrick Lincoln, Roger Nasr - 1989
170 Implementing Typed Feature Structure Grammars.CSLI – Ann Copestake - 2002