scientific article; zbMATH DE number 15392
From MaRDI portal
Publication:3972030
zbMATH Open0748.03019MaRDI QIDQ3972030FDOQ3972030
Authors: Teodor C. Przymusinski 
Publication date: 25 June 1992
Title of this publication is not available (Why is that?)
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)
- On the autoepistemic reconstruction of logic programming
- Autoepistemic logic of knowledge and beliefs
- On the relations between stable and well-founded semantics of logic programs
- Stable and extension class theory for logic programs and default logics
- Resolution approximation of first-order logics
- Dualities between alternative semantics for logic programming and nonmonotonic reasoning
- A three-valued semantics for deductive databases and logic programs
- On the complexity of entailment in propositional multivalued logics
- Prolegomena to logic programming for non-monotonic reasoning
- What is failure? An approach to constructive negation
- Title not available (Why is that?)
- Logic programming semantics made easy
- A resolution framework for finitely-valued first-order logics
- Generalized disjunctive well-founded semantics for logic programs.
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
