Here and There among Logics for Logic Programming (Q2900511): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-30743-0_7
+Normal rank
@@ Property / OpenAlex ID @@
+W104321364
@@ Property / OpenAlex ID: W104321364 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with logical bilattices
@@ Property / cites work: Reasoning with logical bilattices / rank @@
+Normal rank
@@ Property / cites work @@
+Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
+Normal rank
@@ Property / cites work @@
+A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion
+Normal rank
@@ Property / cites work @@
+A logical foundation for logic programming II: Semantics of general logic programs
+Normal rank
@@ Property / cites work @@
+Explanatory Nonmonotonic Reasoning
@@ Property / cites work: Explanatory Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4906883
@@ Property / cites work: Q4906883 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional theories are strongly equivalent to logic programs
+Normal rank
@@ Property / cites work @@
+Characterization of strongly equivalent logic programs in intermediate logics
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Making prolog more expressive
@@ Property / cites work: Making prolog more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+Normal rank