scientific article
From MaRDI portal
Publication:4038706
zbMath0765.68180MaRDI QIDQ4038706
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Artificial intelligence (68T99)
Related Items (17)
The role of standardising apart in logic programming ⋮ A New Algorithm for Computing Least Generalization of a Set of Atoms ⋮ SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs ⋮ On fuzzy unfolding: A multi-adjoint approach ⋮ Seeking a safe and efficient similarity-based unfolding rule ⋮ Abstract Diagnosis of First Order Functional Logic Programs ⋮ A compositional semantic basis for the analysis of equational Horn programs ⋮ Multi-valued logic programming semantics An algebraic approach ⋮ From failure to success: Comparing a denotational and a declarative semantics for Horn clause logic ⋮ C-expressions: A variable-free calculus for equational logic programming ⋮ A framework for computing finite SLD trees ⋮ Selective Unification in (Constraint) Logic Programming* ⋮ Abstract interpretation of resolution-based semantics ⋮ Weighted systems of equations ⋮ A compositional semantics for logic programs ⋮ A denotational semantics and dataflow construction for logic programs ⋮ Logical optimality of groundness analysis
This page was built for publication:
