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

by Stephen J. Hegner
Citations:1 - 1 self

Documents Related by Co-Citation

666 The Description Logic Handbook: Theory, Implementation and Applications – F Baader, D Calvanese, D McGuinness, D Nardi, P Patel-Schneider - 2003
336 The Logic of Typed Feature Structures – Bob Carpenter, Fernando Pereira - 1992
324 The Object-Oriented Database System Manifesto – Malcolm Atkinson, Fran├žois Bancilhon, David DeWitt, Klaus Dittrich, David Maier, Stanley Zdonik - 1989
313 Linear-time algorithms for testing the satisfiability of propositional Horn formulae – W DOWLING, J GALLIER - 1984
284 Formal Concept Analysis – B Ganter, R Wille - 1999
282 Lexical-functional syntax – Joan Bresnan - 2001
217 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
173 Implementing Typed Feature Structure Grammars – Ann Copestake - 2002
143 Programming Expert Systems in OPS5: An Introduction to Rule-based Programming – Lee Brownston, Robert Farrell, Elaine Kant, Nancy Martin - 1985
118 Efficient implementation of lattice operations – Robert Boyer, Patrick Lincoln, Roger Nasr - 1989