Truth versus information in logic programming (Q2933087): Difference between revisions

@@ Property / Wikidata QID @@
+Q57664999
@@ Property / Wikidata QID: Q57664999 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0141
@@ Property / arXiv ID: 1305.0141 / rank @@
+Normal rank
@@ Property / cites work @@
+Hypothesis-based semantics of logic programs in multivalued logics
+Normal rank
@@ Property / cites work @@
+Bottom-up dataflow analysis of normal logic programs
+Normal rank
@@ Property / cites work @@
+A logic covering undefinedness in program proofs
@@ Property / cites work: A logic covering undefinedness in program proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Negation in logic programming
@@ Property / cites work: Negation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a logical semantics for pure Prolog
@@ Property / cites work: Towards a logical semantics for pure Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Proof systems for reasoning about computation errors
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+A typed logic of partial functions reconstructed classically
+Normal rank
@@ Property / cites work @@
+Paraconsistent declarative semantics for extended logic programs
+Normal rank
@@ Property / cites work @@
+Derivation of Logic Programs
@@ Property / cites work: Derivation of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer science today. Recent trends and developments
+Normal rank
@@ Property / cites work @@
+Static analysis. 1st international symposium, SAS '94, Namur (Belgium), September 28--30, 1994. Proceedings
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics for logic programming a survey
@@ Property / cites work: Fixpoint semantics for logic programming a survey / rank @@
+Normal rank
@@ Property / cites work @@
+The family of stable models
@@ Property / cites work: The family of stable models / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene's Logic, Generalized
@@ Property / cites work: Kleene's Logic, Generalized / rank @@
+Normal rank
@@ Property / cites work @@
+Bilattices and the semantics of logic programming
@@ Property / cites work: Bilattices and the semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+A kripke-kleene semantics for logic programs*
@@ Property / cites work: A kripke-kleene semantics for logic programs* / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming revisited
@@ Property / cites work: Logic programming revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Logic-based program synthesis and transformation. 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009. Revised selected papers
+Normal rank
@@ Property / cites work @@
+A three-valued semantics for logic programmers
@@ Property / cites work: A three-valued semantics for logic programmers / rank @@
+Normal rank
@@ Property / cites work @@
+The recursion-theoretic complexity of the semantics of predicate logic as a programming language
+Normal rank
@@ Property / cites work @@
+Partiality and nondeterminacy in program proofs
@@ Property / cites work: Partiality and nondeterminacy in program proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3105042245
@@ Property / OpenAlex ID: W3105042245 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2933087