scientific article
From MaRDI portal
Publication:3998267
zbMath0722.68023MaRDI QIDQ3998267
Ulf S. Nilsson, Jan Małuszyński
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Artificial intelligence (68T99) Logic programming (68N17)
Related Items (10)
Operational semantics of resolution and productivity in Horn clause logic ⋮ \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs ⋮ On correctness of normal logic programs ⋮ kProbLog: an algebraic Prolog for machine learning ⋮ Unnamed Item ⋮ Abstract interpretation: a kind of magic ⋮ Proving completeness of logic programs with the cut ⋮ A new SLDNF-tree ⋮ Fuzzy logic programming reduced to reasoning with attribute implications ⋮ Logic programming and knowledge representation---The A-Prolog perspective
This page was built for publication:
