Solving First-Order Constraints in the Theory of the Evaluated Trees

DOI10.1007/978-3-540-73817-6_7MaRDI QIDQ3608448zbMATH OpenOpenAlexFDO

Authors Thi-Bich-Hanh Dao, Khalil Djelloul

Publication date 5 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.2570

Mathematics Subject Classification ID

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

Recommendations

• Solving First-Order Constraints in the Theory of the Evaluated Trees
• Theory of finite or infinite trees revisited
• Frontiers of Combining Systems
• A full first-order constraint solver for decomposable theories
• A Full First-Order Constraint Solver for Decomposable Theories

Cited in

(12)

• Extension of First-Order Theories into Trees
• Solving First-Order Constraints in the Theory of the Evaluated Trees
• The first-order theory of ordering constraints over feature trees
• A full first-order constraint solver for decomposable theories
• From decomposable to residual theories
• A Full First-Order Constraint Solver for Decomposable Theories
• Solving quantifier-free first-order constraints over finite sets and binary relations
• Frontiers of Combining Systems
• Expressiveness of full first-order constraints in the algebra of finite or infinite trees
• Theory of finite or infinite trees revisited
• scientific article; zbMATH DE number 2080306 (Why is no real title available?)
• scientific article; zbMATH DE number 2090031 (Why is no real title available?)

This page was built for publication: Solving First-Order Constraints in the Theory of the Evaluated Trees

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