scientific article; zbMATH DE number 1158761

zbMath0900.68127MaRDI QIDQ4391452

Michael J. Maher, Joxan Jaffar

Publication date: 3 June 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (28)

Hybrid reasoning using universal attachment ⋮ Incremental constraint satisfaction for equational logic programming ⋮ A foundation for higher-order concurrent constraint programming ⋮ Path consistency in clp(FD) ⋮ Horn Clause Solvers for Program Verification ⋮ Contractibility for open global constraints ⋮ CAL: A theoretical background of constraint logic programming and its applications ⋮ Unnamed Item ⋮ The two variable per inequality abstract domain ⋮ Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini ⋮ Transformations of CLP modules ⋮ Nondeterminism and infinite computations in constraint programming ⋮ Introduction to the special issue on computational logic for verification ⋮ Predicate Pairing for program verification ⋮ Abstraction-carrying code: a model for mobile code safety ⋮ Using artificial neural networks for constraint satisfaction problem ⋮ Unfolding and fixpoint semantics of concurrent constraint logic programs ⋮ Constraint reasoning based on interval arithmetic: The tolerance propagation approach ⋮ Constraint satisfaction using constraint logic programming ⋮ On quantified linear implications ⋮ Reasoning About Data Trees Using CHCs ⋮ Preface ⋮ Tesseral spatio-temporal reasoning for multi-dimensional data ⋮ On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations ⋮ MACLP: multi agent constraint logic programming ⋮ Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques ⋮ Models and emerging trends of concurrent constraint programming ⋮ Combining slicing and constraint solving for validation of measurement software

This page was built for publication: