A feature constraint system for logic programming with entailment

DOI10.1016/0304-3975(94)90209-7MaRDI QIDQ1314426zbMATH OpenOpenAlexFDO

Authors Hassan Aït-Kaci, Andreas Podelski, Gert Smolka

Publication date 29 November 1994

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(94)90209-7

zbMATH Keywords

algebraic semanticsconstraint systementailmentlogic programmingnegative constraintstreesuniversal data structureunsatisfiability

Mathematics Subject Classification ID

Logic programming (68N17) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 970739
• Records for logic programming
• Ordering constraints over feature trees

Cites work

• An algebraic semantics approach to the effective resolution of type equations
• Feature-constraint logics for unification grammars
• 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?)
• Inheritance hierarchies: Semantics and unifications
• Login: a logic programming language with built-in inheritance
• The Logic of Typed Feature Structures

Cited in

(25)

• Combination of constraint solvers for free and quasi-free structures
• How to win a game with features
• Situated simplification
• Ordering constraints over feature trees expressed in second-order monadic logic.
• A rational reconstruction of the domain of feature structures
• Ordering constraints over feature trees
• Constructing infinitary quotient-inductive types
• Set constraints with intersection
• Distributive -calculus
• scientific article; zbMATH DE number 1189066 (Why is no real title available?)
• scientific article; zbMATH DE number 1223554 (Why is no real title available?)
• scientific article; zbMATH DE number 516982 (Why is no real title available?)
• Records for logic programming
• An improved lower bound for the elementary theories of trees
• A foundation for higher-order concurrent constraint programming
• How to win a game with features
• scientific article; zbMATH DE number 970739 (Why is no real title available?)
• Logical Aspects of Computational Linguistics
• A declarative framework for object-oriented programming with genetic inheritance
• Combination of constraint systems II: Rational amalgamation
• On the bounded theories of finite trees
• A complete and recursive feature theory
• A new generic scheme for functional logic programming with constraints
• Anti-patterns for rule-based languages
• Theories with the independence property

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)