Extending and implementing the stable model semantics (Q1603743): Difference between revisions

@@ Property / describes a project that uses @@
+SATO
@@ Property / describes a project that uses: SATO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GraphBase
@@ Property / describes a project that uses: GraphBase / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying security protocols as planning in logic programming
+Normal rank
@@ Property / cites work @@
+Mixed integer programming methods for computing nonmonotonic deductive databases
+Normal rank
@@ Property / cites work @@
+Default reasoning using classical logic
@@ Property / cites work: Default reasoning using classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with default logic
@@ Property / cites work: Computing with default logic / rank @@
+Normal rank
@@ Property / cites work @@
+Experimental results on the crossover point in random 3-SAT
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+On computing logic programs
@@ Property / cites work: On computing logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+A rational reconstruction of nonmonotonic truth maintenance systems
+Normal rank
@@ Property / cites work @@
+Q4800163
@@ Property / cites work: Q4800163 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264234
@@ Property / cites work: Q4264234 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3140399
@@ Property / cites work: Q3140399 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of optimization problems
@@ Property / cites work: The complexity of optimization problems / rank @@
+Normal rank
@@ Property / cites work @@
+LOGIDATA+: deductive databases with complex objects
+Normal rank
@@ Property / cites work @@
+Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
+Normal rank
@@ Property / cites work @@
+A constraint-based approach to narrow search trees for satisfiability
+Normal rank
@@ Property / cites work @@
+Q5750390
@@ Property / cites work: Q5750390 / rank @@
+Normal rank
@@ Property / cites work @@
+The relationship between stable, supported, default and autoepistemic semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+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 @@
+Q4955344
@@ Property / cites work: Q4955344 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028824
@@ Property / cites work: Q4028824 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983045
@@ Property / cites work: Q3983045 / 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 @@
+Lexicographic priorities in default logic
@@ Property / cites work: Lexicographic priorities in default logic / rank @@
+Normal rank
@@ Property / cites work @@
+An alternative approach to the semantics of disjunctive logic programs and deductive databases
+Normal rank
@@ Property / cites work @@
+Q4955343
@@ Property / cites work: Q4955343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767109
@@ Property / cites work: Q2767109 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798015
@@ Property / cites work: Q4798015 / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+SATO: An efficient propositional prover
@@ Property / cites work: SATO: An efficient propositional prover / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0004-3702(02)00187-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2011124182
@@ Property / OpenAlex ID: W2011124182 / rank @@
+Normal rank