Combination of constraint systems II: Rational amalgamation

DOI10.1016/S0304-3975(00)00164-XzbMath0992.68192MaRDI QIDQ5958755

Klaus U. Schulz, Stephan Kepser

Publication date: 3 March 2002

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

zbMATH Keywords

unificationcombinationuniversal algebraconstraint solving

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Combination of constraint solvers for free and quasi-free structures ⋮ Unions of non-disjoint theories and combinations of satisfiability procedures

Uses Software

• MEDLAR

Cites Work

• Unnamed Item
• Unnamed Item
• A complete and recursive feature theory
• Fundamental properties of infinite trees
• Combination of constraint solvers for free and quasi-free structures
• A feature constraint system for logic programming with entailment
• The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Records for logic programming
• Combination of constraint solving techniques: An algebraic point of view
• How to win a game with features

This page was built for publication: Combination of constraint systems II: Rational amalgamation