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

by Stephen J. Hegner
Citations:1 - 1 self

Documents Related by Co-Citation

731 The Description Logic Handbook: Theory, Implementation and Applications, chapter Basic Description Logics – F Baader, W Nutt - 2003
364 The Logic of Typed Feature Structures – Bob Carpenter, Fernando Pereira - 1992
339 Stress and syntax – Joan Bresnan - 1972
335 The Object-Oriented Database System Manifesto – Malcolm Atkinson, Fran├žois Bancilhon, David DeWitt, Klaus Dittrich, David Maier, Stanley Zdonik - 1989
326 Linear-time algorithms for testing the satisfiability of propositional Horn formulae – W F Dowling, J H Gallier - 1984
309 Formal Concept Analysis – B Ganter, R Wille - 1999
225 Domain-Independent Extensions to GSAT: Solving Large Structured Satisfiability Problems – Bart Selman, Henry Kautz - 1993
193 Implementing Typed Feature Structure Grammars – Ann Copestake - 2002
151 Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming – L Brownston, R Farrell, E Kant, N Martin - 1985
122 Efficient implementation of lattice operations – Robert Boyer, Patrick Lincoln, Roger Nasr - 1989