scientific article
From MaRDI portal
Publication:3972030
zbMath0748.03019MaRDI QIDQ3972030
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Artificial intelligence (68T99) Logic programming (68N17) Many-valued logic (03B50) General topics in artificial intelligence (68T01) Other applications of logic (03B80)
Related Items
A three-valued semantics for deductive databases and logic programs, What is failure? An approach to constructive negation, Generalized disjunctive well-founded semantics for logic programs., On the complexity of entailment in propositional multivalued logics, Autoepistemic logic of knowledge and beliefs, A resolution framework for finitely-valued first-order logics, Resolution approximation of first-order logics, Stable and extension class theory for logic programs and default logics, On the autoepistemic reconstruction of logic programming, On the relations between stable and well-founded semantics of logic programs, Logic programming semantics made easy, Dualities between alternative semantics for logic programming and nonmonotonic reasoning
