To Vladimir Lifschitz on His 65th Birthday (Q2900498): Difference between revisions

@@ Property / describes a project that uses @@
+Smodels
@@ Property / describes a project that uses: Smodels / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+clasp
@@ Property / describes a project that uses: clasp / 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.1007/978-3-642-30743-0_1
+Normal rank
@@ Property / OpenAlex ID @@
+W66106833
@@ Property / OpenAlex ID: W66106833 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized disjunctive well-founded semantics for logic programs.
+Normal rank
@@ Property / cites work @@
+Stable and extension class theory for logic programs and default logics
+Normal rank
@@ Property / cites work @@
+Q3007261
@@ Property / cites work: Q3007261 / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q3348436
@@ Property / cites work: Q3348436 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing action and change by logic programs
@@ Property / cites work: Representing action and change by logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4199578
@@ Property / cites work: Q4199578 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5679732
@@ Property / cites work: Q5679732 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830545
@@ Property / cites work: Q3830545 / rank @@
+Normal rank
@@ Property / cites work @@
+The Efficiency of an Algorithm of Integer Programming: A Probabilistic Analysis
+Normal rank
@@ Property / cites work @@
+The Worst and the Most Probable Performance of a Class of Set-Covering Algorithms
+Normal rank
@@ Property / cites work @@
+What is the inverse method?
@@ Property / cites work: What is the inverse method? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016556
@@ Property / cites work: Q4016556 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734935
@@ Property / cites work: Q2734935 / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4766612
@@ Property / cites work: Q4766612 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of nonmonotonic reasoning and logic programming
+Normal rank
@@ Property / cites work @@
+Homage to Michael Gelfond on His 65 th Birthday
@@ Property / cites work: Homage to Michael Gelfond on His 65 th Birthday / rank @@
+Normal rank
@@ Property / cites work @@
+Q4906892
@@ Property / cites work: Q4906892 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Q2734950
@@ Property / cites work: Q2734950 / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+Sixty Years of Stable Models
@@ Property / cites work: Sixty Years of Stable Models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779807
@@ Property / cites work: Q4779807 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2900498