scientific article; zbMATH DE number 2031626

zbMATH Open1082.68526MaRDI QIDQ4446116

Author name not available (Why is that?)

Publication date: 25 January 2004

Title of this publication is not available (Why is that?)

zbMATH Keywords

search algorithmsautomated induction-based theorem proversrule-based constraint solvers

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Related Items (7)

Title not available (Why is that?) ⋮ Constraint and Logic Programming: Ugo Montanari’s Main Contributions and Introduction to the Volume Section ⋮ Recent advances in constraints. Joint ERCIM/CologNet international workshop on constraint solving and constraint logic programming, Cork, Ireland, June 19--21, 2002. Selected papers ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Constraints on computational logic. International conference, Munich, Germany, 1994

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Constraint functional logic programming revisited 👍 👎
• Constraint Logic Programming 👍 👎
• Higher-Order Logic Programming Languages with Constraints: A Semantics 👍 👎
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1 👍 👎
• On logical constraints in logic programming 👍 👎
• Logic Programs with Abstract Constraints: Representaton, Disjunction and Complexities 👍 👎

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 Q4446116)