Logic and Feature Structures

No abstract is available for this paper.

• Publication year

  1991

• Venue

  International Joint Conference on Artificial Intelligence

• Publication date

  1991-08-24

• Fields of study

  Mathematics, Linguistics, Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Features and Formulae

  1991cited by this paper
• The logic of unification in grammar

  1990cited by this paper
• An Interpretation of Negation in Feature Structure Descriptions

  1990cited by this paper
• Expressing Disjunctive and Negative Feature Constraints With Classical First-Order Logic.

  1990cited by this paper
• Feature-Constraint Logics for Unification Grammars

  1989influential reference
• Constraint-based grammar formalisms - parsing and type inference for natural and computer languages

  1989cited by this paper
• Attribute-value logic and the theory of grammar

  1988influential reference
• A Feature Logic with Subsorts

  1988influential reference
• A logic for partially specified data structures

  1987cited by this paper
• Logical foundations of artificial intelligence

  1987cited by this paper
• Grammars and Logics of Partial Information

  1987cited by this paper
• The Mental Representation of Grammatical Relations

  1986cited by this paper
• Using Restriction to Extend Parsing Algorithms for Complex-Feature-Based Formalisms

  1985cited by this paper
• The logic of unification.

  1985cited by this paper
• Features and Values

  1984cited by this paper
• Unification in Grammar

  1984cited by this paper
• Complexity Results for Classes of Quantificational Formulas

  1980cited by this paper
• The decision problem: Solvable classes of quantificational formulas

  1979cited by this paper
• The decision problem for standard classes

  1976cited by this paper

• Process Extraction from Texts using Semantic Unification

  2015cites this paper
• Gen-Meta: Generating Metaphors Using a Combination of AI Reasoning and Corpus-Based Modeling of Formulaic Expressions

  2013influential citation
• Data Semantics and Linguistic Semantics

  2013cites this paper
• MARK JOHNSON TWO WAYS OF FORMALIZING GRAMMARS

  2013cites this paper
• SSNF: Shared Datacenter Mechanism for Inter-datacenter Bulk Transfer

  2009influential citation
• Separating Syntax and Combinatorics in Categorial Grammar

  2007cites this paper
• Construction by Description in Discourse Representation

  2003cites this paper
• Lambda grammars and the syntax-semantics interface

  2001cites this paper
• Talking about Trees and Truth-Conditions

  2001influential citation
• Categorial Grammar and Lexical-Functional Grammar ⁄

  2001influential citation
• A Mathematical Formalism for Linguistic Theories with an Application in Head-Driven Phrase Structure Grammar

  2000cites this paper
• The Logic of Language

  1999cites this paper
• Underspeciied Semantics

  1999influential citation
• A Resource Sensitive Interpretation of Lexical Functional Grammar

  1999cites this paper
• Underspecified Semantics ∗

  1999influential citation
• Features as Resources in R-LFG

  1997cites this paper
• Type-driven semantic interpretation and feature dependencies in R-LFG

  1997cites this paper
• Feature Logics

  1997cites this paper
• A Complete Axiomatization of a Theory with Feature and Arity Constraints

  1995cites this paper
• Is there a genuine modal perspective on feature structures?

  1995cites this paper
• Regular Path Expressions in Feature Logic

  1994cites this paper
• A Complete and Recursive Feature Theory

  1994cites this paper
• Computing with Features as Formulae

  1994influential citation
• Two ways of formalizing grammars

  1994cites this paper
• A Complete and Recursive Feature Theory

  1993cites this paper
• Review of Constraint-based grammar formalisms: parsing and type inference for natural and computer languages by Stuart M. Shieber. The MIT Press 1992.

  1993cites this paper
• Constraint-Based Grammar Formalisms: Parsing and Type Inference for Natural and Computer Languages

  1992cites this paper
• Features and Formulae

  1991cites this paper
• λ-Grammars and the Syntax-Semantics Interface ∗

  year unknowncites this paper
• Language, Lambdas, and Logic

  year unknowninfluential citation
• Language, Lambdas, and Logic ∗

  year unknowninfluential citation