A Comprehensive Unication-Based Grammar Formalism

[1]  Andreas Eisele,et al.  Disjunctive Unification , 1990, IWBS Report.

[2]  Martin C. Emele,et al.  Typed Unification Grammars , 1990, COLING.

[3]  Christian Matthiessen,et al.  Representation Issues in Systemic Functional Grammar and Systemic Grammar and Functional Unification Grammar. , 1987 .

[4]  Gert Smolka,et al.  Feature-Constraint Logics for Unification Grammars , 1989, J. Log. Program..

[5]  Raymond Reiter,et al.  A Logic for Default Reasoning , 1987, Artif. Intell..

[6]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

[7]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[8]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[9]  Fernando Pereira,et al.  The Formalism and Implementation of PATR-II , 1983 .

[10]  H. B. Allen,et al.  A Functional Grammar , 1946 .

[11]  Gert Smolkaz,et al.  Deenite Relations over Constraint Languages , 1988 .

[12]  Ivan A. Sag,et al.  Information-based syntax and semantics , 1987 .

[13]  Robert T. Kasper,et al.  A Unification Method for Disjunctive Feature Descriptions , 1987, ACL.

[14]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[15]  Robert T. Kasper,et al.  A Logical Semantics for Feature Structures , 1986, ACL.

[16]  Hans Uszkoreit.  Categorial Unification Grammars , 1986, COLING.

[17]  Geoffrey K. Pullum,et al.  Generalized Phrase Structure Grammar , 1985 .

[18]  Ulrich Heid,et al.  Organizing linguistic knowledge for multilingual generation , 1990, COLING.

[19]  Mark Johnson,et al.  Attribute-value logic and the theory of grammar , 1988 .

[20]  Andreas Eisele,et al.  Feature Logic with Disjunctive Unification , 1990, COLING.

[21]  Mike Reape,et al.  A logical treatment of semi-free word order and bounded discontinuous constituency , 1989, EACL.

[22]  Ronald M. Kaplan,et al.  An Overview of Disjunctive Constraint Satisfaction , 1989, IWPT.

[23]  Gert Smolka,et al.  A Feature Logic with Subsorts , 1988, LILOG-Report.

[24]  Martin Kay,et al.  Parsing in functional unification grammar , 1986 .

[25]  Jürgen Wedekind.  Generation as structure driven derivation , 1988, COLING.

[26]  Jochen Dörre,et al.  A Survey of Linguistically Motivated Extensions to Unification-Based Formalisms , 1997 .

[27]  John F. Sowa,et al.  Logical foundations of artificial intelligence , 1987 .

[28]  Kurt Konolige,et al.  On the Relation Between Default and Autoepistemic Logic , 1987, Artif. Intell..