Gert Smolka  Home/Search
Context Related
| ps.unisb.de/Paper...reConstraintLog.ps Cached: PS.gz PS This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
PDF Image Update HelpPS.gz PS From: ps.unisb.de/Papers/abstracts/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper studies feature description languages that have been developed for use in unification grammars, logic programming and knowledge representation. The distinctive notational primitive of these languages are features that can be understood as unary partial functions on a domain of abstract objects. We show that feature description languages can be captured naturally as sublanguages of first-order predicate logic with equality and show the equivalence of a loose Tarski semantics with ... (Update)
Context of citations to this paper: More
...to capture the relation between feature descriptions and linguistics objects in terms of a logic. Subsequently, Johnson [6] and Smolka [22, 23] realized that feature logics can be modeled straightforwardly in Predicate Logic. In this approach, which underlies the present paper,...
...found in many programming languages. Feature descriptions have been proposed in various forms with various formalizations [1, 13, 9, 15, 5, 10]. We will follow the logical approach pioneered by [15] which accommodates feature descriptions as standard first order...
Cited by: More
CLP(Flex): Constraint Logic Programming Applied to XML.. - Coelho, Florido (2004) (Correct)
Attributive Description Formalisms . . . and the Rest of the.. - Nebel, Smolka (1991) (Correct)
Logic Programming over Polymorphically Order-Sorted Types - Smolka (1989) (Correct)
Active bibliography (related documents): More All
0.7: Horn Clauses and Feature-Structure Logic: Principles and.. - Hegner (1993) (Correct)
0.7: A Feature Logic with Subsorts - Smolka (1992) (Correct)
0.6: Typed Feature Formalisms as a Common Basis for Linguistic.. - Krieger (1994) (Correct)
Similar documents based on text: More All
0.7: On the Expressivity of Feature Logics with.. - Baader, Bürckert, .. (1993) (Correct)
0.5: A Complete And Recursive Feature Theory - Backofen, Smolka (1993) (Correct)
0.5: A Complete and Recursive Feature Theory - Backofen, Smolka (1993) (Correct)
Related documents from co-citation: More All
34: Lexical-Functional Grammar: A Formal System for Grammatical Representation (context) - Kaplan, Bresnan - 1982
27: Attribute-Value Logic and the Theory of Grammar (context) - Mark - 1988
22: Records for logic programming - Smolka, Treinen - 1994
BibTeX entry: (Update)
G. Smolka. Feature constraint logics for unification grammars. Journal of Logic Programming, 12:51--87, 1992. http://citeseer.ist.psu.edu/smolka92feature.html More
@article{ smolka92featureconstraint,
author = "Gert Smolka",
title = "Feature-Constraint Logics for Unification Grammars",
journal = "Journal of Logic Programming",
volume = "12",
number = "1&2",
pages = "51-87",
year = "1992",
url = "citeseer.ist.psu.edu/smolka92feature.html" }
Citations (may not include all citations):1450 The Design and Analysis of Computer Algorithms (context) - Aho, Hopcroft et al. - 1974
561 Constraint logic programming (context) - Jaffar, Lassez - 1987 ACM DBLP
480 An overview of the KL-ONE knowledge representation system (context) - Brachman, Schmolze - 1985 DBLP
246 Lexical-Functional Grammar: A formal system for grammatical .. (context) - Kaplan, Bresnan - 1982
243 An Introduction to Unification-Based Approaches to Grammar (context) - Shieber - 1986
193 Reasoning and Revision in Hybrid Representation Systems (context) - Nebel - 1990
135 Definite clause grammars for language analysis--- a survey o.. (context) - Pereira, Warren - 1980
118 Complete axiomatizations of the algebras of finite (context) - Maher - 1988
118 The tractability of subsumption in frame-based description l.. (context) - Brachman, Levesque - 1984
118 Complete axiomatizations of the algebras of finite (context) - Maher - 1988
94 Expressiveness and tractability in knowledge representation .. (context) - Levesque, Brachman - 1987 DBLP
86 Attribute-Value Logic and the Theory of Grammar (context) - Johnson - 1988
80 Functional grammar (context) - Kay - 1979
79 A logical semantics for feature structures - Kasper, Rounds - 1986
75 Attributive concept descriptions with complements (context) - Schmidt-Schau, Smolka - 1991
75 The formalism and implementation of PATR-II (context) - Shieber, Uszkoreit et al. - 1983
70 Equational problems and disunification (context) - Comon, Lescanne - 1989 ACM DBLP
62 A feature logic with subsorts - Smolka - 1988
55 The undecidability of the semi-unification problem (context) - Kfoury, Tiuryn et al. - 1989 ACM DBLP
45 A complete logical calculus for record structures representi.. (context) - Rounds, Kasper - 1986
44 Definite relations over constraint languages - Hohfeld, Smolka - 1988
32 Representation and reasoning with attributive descriptions (context) - Nebel, Smolka - 1990
31 Parsing in functional unification grammars (context) - Kay - 1985
31 On subsumption and semi-unification in feature algebras (context) - Dorre, Rounds - 1989
29 Inheritance hierarchies: Semantics and unification (context) - Smolka, Ait-Kaci - 1989 ACM DBLP
22 LOGIN: A logic programming language with built-in inheritanc.. (context) - Ait-Kaci, Nasr - 1986 ACM DBLP
22 Center for the Study of Language and Information (context) - Pollard, Sag et al. - 1987
21 Parsing and type inference for natural and computer language.. (context) - Shieber - 1989 ACM
19 A unification method for disjunctive feature descriptions - Kasper - 1987
19 An algorithm for functional uncertainty - Kaplan - 1989 ACM DBLP
18 A logic for partially specified data structures (context) - Moshier, Rounds - 1987 ACM DBLP
18 The design of a computer language for linguistic information - Shieber - 1984 ACM
16 Set values for unification-based grammar formalisms and logi.. (context) - Rounds - 1988
15 Constituent coordination in lexical-functional grammar - Kaplan - 1989
13 Unification of disjunctive feature descriptions (context) - Eisele, Dorre - 1988 ACM DBLP
11 Feature Structures: A Logical Theory with Applications to La.. (context) - Kasper - 1987
11 A logical version of functional grammar (context) - Rounds, Manaster-Ramer - 1987 ACM
11 Unification grammar (context) - Kay - 1983
10 Subsumption in KL-ONE is undecidable (context) - Schmidt-Schau - 1989 ACM DBLP
9 Springer-Verlag (context) - Hermes, Decidability - 1965
8 Grammars and logics of partial information (context) - Pereira - 1987
6 Anadic tuples in Prolog (context) - Mukai - 1987
6 A three-valued interpretation of negation in feature structu.. (context) - Dawar, Vijay-Shanker - 1989
6 Determining consistency of feature terms with distributed di.. (context) - Dorre, Eisele - 1989 ACM DBLP
5 A Lattice-Theoretic Approach to Computation Based on a Calcu.. (context) - Ait-Kaci - 1984
5 An algebraic semantics approach to the effective resolution .. (context) - Ait-Kaci - 1986 ACM DBLP
3 From Feature Bundles to Abstract Data Types: New Directions .. (context) - Uszkoreit - 1988
3 Subsumption algorithms for some attributive concept descript.. (context) - Hollunder - 1989
2 Categorical Unification Grammar (context) - Uszkoreit - 1986
2 Conditional descriptions in functional unification grammar - Kasper - 1988
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ps.uni-sb.de/Papers/abstracts/): More
Set-Based Failure Analysis for Logic Programs and.. - Podelski, Charatonik, .. (1999) (Correct)
Type Inference for First-Class Messages with Feature Constraints - Müller, Nishimura (Correct)
Entailment of Non-Structural Subtype Constraints - Niehren, Priesnitz (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC