Reasoning under minimal upper bounds in propositional logic (Q861253): Difference between revisions

@@ Property / author @@
-Georg Gottlob
@@ Property / author: Georg Gottlob / rank @@
-Normal rank
@@ Property / author @@
+Georg Gottlob
@@ Property / author: Georg Gottlob / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATCHMO
@@ Property / describes a project that uses: SATCHMO / 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.tcs.2006.07.054
+Normal rank
@@ Property / OpenAlex ID @@
+W2108315311
@@ Property / OpenAlex ID: W2108315311 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59259664
@@ Property / Wikidata QID: Q59259664 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385536
@@ Property / cites work: Q4385536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798018
@@ Property / cites work: Q4798018 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with minimal models: efficient algorithms and applications
+Normal rank
@@ Property / cites work @@
+An incremental algorithm for generating all minimal models
+Normal rank
@@ Property / cites work @@
+How many minimal upper bounds of minimal upper bounds
+Normal rank
@@ Property / cites work @@
+Minimal model generation with positive unit hyper-resolution tableaux
+Normal rank
@@ Property / cites work @@
+The complexity of model checking for circumscriptive formulae
+Normal rank
@@ Property / cites work @@
+Q4506459
@@ Property / cites work: Q4506459 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of propositional nested circumscription and nested abnormality theories
+Normal rank
@@ Property / cites work @@
+The complexity of propositional closed world reasoning and circumscription
+Normal rank
@@ Property / cites work @@
+Q4411139
@@ Property / cites work: Q4411139 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4225120
@@ Property / cites work: Q4225120 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing circumscription revisited: A reduction algorithm
+Normal rank
@@ Property / cites work @@
+Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Q2767002
@@ Property / cites work: Q2767002 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692605
@@ Property / cites work: Q4692605 / rank @@
+Normal rank
@@ Property / cites work @@
+A circumscriptive theorem prover
@@ Property / cites work: A circumscriptive theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of belief update
@@ Property / cites work: The complexity of belief update / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+Nested abnormality theories
@@ Property / cites work: Nested abnormality theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391449
@@ Property / cites work: Q4391449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q4707748
@@ Property / cites work: Q4707748 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing circumscriptive databases
@@ Property / cites work: Computing circumscriptive databases / rank @@
+Normal rank
@@ Property / cites work @@
+A tableau calculus for minimal model reasoning
@@ Property / cites work: A tableau calculus for minimal model reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring negative information from disjunctive databases
+Normal rank
@@ Property / cites work @@
+Embedding circumscriptive theories in general disjunctive programs
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:861253