scientific article; zbMATH DE number 516982

MaRDI QIDQ4282498zbMATH OpenFDO

Authors Hassan Aït-Kaci, Andreas Podelski

Publication date 21 August 1994

zbMATH Keywords

concurrent constraint logic languagesentailmentlogic programmingorder-sorted feature constraints

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1189066
• Ordering constraints over feature trees
• The first-order theory of ordering constraints over feature trees
• A feature constraint system for logic programming with entailment
• scientific article; zbMATH DE number 970739
• Ordering constraints over feature trees expressed in second-order monadic logic.
• Order-sorted feature theory unification
• Constraint propagation for ordering, abstraction, and aggregation relations
• An order-sorted logic for knowledge representation systems

Cited in

(3)

• Set constraints with intersection
• The first-order theory of ordering constraints over feature trees
• Towards a meaning of life

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4282498)