Logic programming as classical inference (Q898781): Difference between revisions

@@ Property / DOI @@
-.1016/j.jal.2015.06.003
@@ Property / DOI: 10.1016/j.jal.2015.06.003 / rank @@
-Normal rank
@@ Property / author @@
-Eric Martin
@@ Property / author: Eric Martin / rank @@
-Normal rank
@@ Property / author @@
+Eric Martin
@@ Property / author: Eric Martin / rank @@
+Normal rank
@@ 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.1016/j.jal.2015.06.003
+Normal rank
@@ Property / OpenAlex ID @@
+W1122782392
@@ Property / OpenAlex ID: W1122782392 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary logic and admissible sets
@@ Property / cites work: Infinitary logic and admissible sets / rank @@
+Normal rank
@@ Property / cites work @@
+MOLOG: A system that extends PROLOG with modal logic
+Normal rank
@@ Property / cites work @@
+The Modal Logic of Equilibrium Models
@@ Property / cites work: The Modal Logic of Equilibrium Models / rank @@
+Normal rank
@@ Property / cites work @@
+An interpretation of default logic in minimal temporal epistemic logic
+Normal rank
@@ Property / cites work @@
+A model-theoretic analysis of knowledge
@@ Property / cites work: A model-theoretic analysis of knowledge / rank @@
+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 @@
+The alternating fixpoint of logic programs with negation
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Some (in)translatability results for normal logic programs and propositional theories
+Normal rank
@@ Property / cites work @@
+Unfolding partiality and disjunctions in stable model semantics
+Normal rank
@@ Property / cites work @@
+Minimal belief and negation as failure
@@ Property / cites work: Minimal belief and negation as failure / rank @@
+Normal rank
@@ Property / cites work @@
+The relationship between stable, supported, default and autoepistemic semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509062
@@ Property / cites work: Q3509062 / rank @@
+Normal rank
@@ Property / cites work @@
+Contextual hypotheses and semantics of logic programs
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum model semantics for logic programs with negation-as-failure
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Strong equivalence made easy: nested expressions and weight constraints
+Normal rank
@@ Property / DOI @@
+.1016/J.JAL.2015.06.003
@@ Property / DOI: 10.1016/J.JAL.2015.06.003 / rank @@
+Normal rank