scientific article
From MaRDI portal
Publication:3771660
zbMath0633.68090MaRDI QIDQ3771660
Pier Giorgio Bosco, Corrado Moiso, Elio Giovannetti
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Horn clausesequational theoryparamodulationunification algorithmsemantic unificationcanonical rewrite systemnarrowing sequences
Artificial intelligence (68T99) Mechanization of proofs and logical operations (03B35) Equational classes, universal algebra in model theory (03C05)
Related Items (10)
Completion-time optimization of rewrite-time goal solving ⋮ Narrowing vs. SLD-resolution ⋮ Incremental constraint satisfaction for equational logic programming ⋮ Complete equational unification based on an extension of the Knuth-Bendix completion procedure ⋮ On completeness of narrowing strategies ⋮ A rationale for conditional equational programming ⋮ Conditional equational theories and complete sets of transformations ⋮ C-expressions: A variable-free calculus for equational logic programming ⋮ Basic narrowing revisited ⋮ A hybrid programming scheme combining fuzzy-logic and functional-logic resources
This page was built for publication:
