scientific article; zbMATH DE number 15392

MaRDI QIDQ3972030zbMATH OpenFDO

Authors Teodor C. Przymusinski

Publication date 25 June 1992

zbMATH Keywords

nonmonotonic logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Artificial intelligence (68T99) Many-valued logic (03B50) Logic programming (68N17) General topics in artificial intelligence (68T01) Other applications of logic (03B80)

Cited in

(16)

• Prolegomena to logic programming for non-monotonic reasoning
• What is failure? An approach to constructive negation
• Generalized disjunctive well-founded semantics for logic programs.
• scientific article; zbMATH DE number 1761893 (Why is no real title available?)
• A resolution framework for finitely-valued first-order logics
• scientific article; zbMATH DE number 549977 (Why is no real title available?)
• On the autoepistemic reconstruction of logic programming
• On the complexity of entailment in propositional multivalued logics
• Logic programming semantics made easy
• Dualities between alternative semantics for logic programming and nonmonotonic reasoning
• Resolution approximation of first-order logics
• Autoepistemic logic of knowledge and beliefs
• A three-valued semantics for deductive databases and logic programs
• On the relations between stable and well-founded semantics of logic programs
• Stable and extension class theory for logic programs and default logics
• scientific article; zbMATH DE number 988154 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3972030)