A feature constraint system for logic programming with entailment
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4053011 (Why is no real title available?)
- scientific article; zbMATH DE number 549955 (Why is no real title available?)
- scientific article; zbMATH DE number 3332047 (Why is no real title available?)
- An algebraic semantics approach to the effective resolution of type equations
- Feature-constraint logics for unification grammars
- Inheritance hierarchies: Semantics and unifications
- Login: a logic programming language with built-in inheritance
- The Logic of Typed Feature Structures
Cited in
(21)- Constructing infinitary quotient-inductive types
- Situated simplification
- On the bounded theories of finite trees
- Logical Aspects of Computational Linguistics
- Anti-patterns for rule-based languages
- scientific article; zbMATH DE number 516982 (Why is no real title available?)
- A foundation for higher-order concurrent constraint programming
- How to win a game with features
- A rational reconstruction of the domain of feature structures
- Combination of constraint systems II: Rational amalgamation
- scientific article; zbMATH DE number 1189066 (Why is no real title available?)
- How to win a game with features
- A new generic scheme for functional logic programming with constraints
- Combination of constraint solvers for free and quasi-free structures
- An improved lower bound for the elementary theories of trees
- Theories with the independence property
- Ordering constraints over feature trees expressed in second-order monadic logic.
- Set constraints with intersection
- A declarative framework for object-oriented programming with genetic inheritance
- Distributive \(\rho\)-calculus
- A complete and recursive feature theory
This page was built for publication: A feature constraint system for logic programming with entailment
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1314426)
