The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Cambridge University Press (1992)
  Copy   BIBTEX

Abstract

This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems.

Categories

Keywords

Reprint years

ISBN(s)

9780521419321   0521419328

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,758

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Order independent and persistent typed default unification.Alex Lascarides, Ted Briscoe, Nicholas Asher & Ann Copestake - 1996 - Linguistics and Philosophy 19 (1):1 - 90.
Computability theory, semantics, and logic programming.Melvin Fitting - 1987 - Oxford: Clarendon Press.
Hybrid probabilistic logic programs as residuated logic programs.Carlos Viegas Damásio & Luís Moniz Pereira - 2002 - Studia Logica 72 (1):113 - 138.
Data storage interpretation of labeled modal logic.Sergei Artëmov & Vladimir Krupski - 1996 - Annals of Pure and Applied Logic 78 (1-3):57-71.
Off-line parsability and the well-foundedness of subsumption.Shuly Wintner & Nissim Francez - 1999 - Journal of Logic, Language and Information 8 (1):1-16.
Computing definite logic programs by partial instantiation.Vadim Kagan, Anil Nerode & V. S. Subrahmanian - 1994 - Annals of Pure and Applied Logic 67 (1-3):161-182.
Fibred semantics for feature-based grammar logic.Jochen Dörre, Esther König & Dov Gabbay - 1996 - Journal of Logic, Language and Information 5 (3-4):387-422.
A resource sensitive interpretation of lexical functional grammar.Mark Johnson - 1999 - Journal of Logic, Language and Information 8 (1):45-81.
Labelled resolution for classical and non-classical logics.D. M. Gabbay & U. Reyle - 1997 - Studia Logica 59 (2):179-216.
Unification of Simply Typed Lambda-Terms as Logic Programming.Dale Miller - 1991 - LFCS, Department of Computer Science, University of Edinburgh.
Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : Selected Papers.B. O'sullivan - 2003
Some independence results for control structures in complete numberings.Sanjay Jain & Jochen Nessel - 2001 - Journal of Symbolic Logic 66 (1):357-382.
Highly constrained unification grammars.Daniel Feinstein & Shuly Wintner - 2008 - Journal of Logic, Language and Information 17 (3):345-381.
Recent Advances in Constraints Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2003, Budapest, Hungary, June 30 - July 2, 2003 : Selected Papers.Krzysztof Apt, Francois Fages, Francesca Rossi, Peter Szeredi & Josef Váncza - 2004 - Springer Verlag.
Category-based Semantics for Equational and Constraint Logic Programming.Răzvan Diaconescu - 1994

Analytics

Added to PP
2015-02-02

Downloads
7 (#1,405,055)

6 months
7 (#481,211)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references