scientific article

zbMath0748.03019MaRDI QIDQ3972030

Teodor C. Przymusinski

Publication date: 25 June 1992

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

zbMATH Keywords

nonmonotonic logic

Mathematics Subject Classification ID

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 (12)

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

This page was built for publication: