Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775): Difference between revisions

@@ Property / describes a project that uses @@
+SQEMA
@@ Property / describes a project that uses: SQEMA / 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-319-24312-2_18
+Normal rank
@@ Property / OpenAlex ID @@
+W2247158440
@@ Property / OpenAlex ID: W2247158440 / rank @@
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das Eliminationsproblem der mathematischen Logik
+Normal rank
@@ Property / cites work @@
+Zum Eliminationsproblem der mathematischen Logik
@@ Property / cites work: Zum Eliminationsproblem der mathematischen Logik / rank @@
+Normal rank
@@ Property / cites work @@
+The DL-Lite Family and Relations
@@ Property / cites work: The DL-Lite Family and Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282593
@@ Property / cites work: Q4282593 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5691140
@@ Property / cites work: Q5691140 / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+On the strength and scope of DLS
@@ Property / cites work: On the strength and scope of DLS / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA
+Normal rank
@@ Property / cites work @@
+Q5483000
@@ Property / cites work: Q5483000 / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination problems in logic: a brief history
@@ Property / cites work: Elimination problems in logic: a brief history / rank @@
+Normal rank
@@ Property / cites work @@
+Computing circumscription revisited: A reduction algorithm
+Normal rank
@@ Property / cites work @@
+Q2751377
@@ Property / cites work: Q2751377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3543581
@@ Property / cites work: Q3543581 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational and Kleene-Algebraic Methods in Computer Science
+Normal rank
@@ Property / cites work @@
+Logic-based ontology comparison and module extraction, with an application to DL-Lite
+Normal rank
@@ Property / cites work @@
+Uniform Interpolation of $\mathcal{ALC}$ -Ontologies Using Fixpoints
+Normal rank
@@ Property / cites work @@
+Count and Forget: Uniform Interpolation of  $\mathcal{SHQ}$ -Ontologies
+Normal rank
@@ Property / cites work @@
+Complexity results for classes of quantificational formulas
+Normal rank
@@ Property / cites work @@
+HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC
+Normal rank
@@ Property / cites work @@
+Automated Reasoning with Analytic Tableaux and Related Methods
+Normal rank
@@ Property / cites work @@
+Q4250040
@@ Property / cites work: Q4250040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751358
@@ Property / cites work: Q2751358 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of quantification
@@ Property / cites work: On the logic of quantification / rank @@
+Normal rank
@@ Property / cites work @@
+The Ackermann approach for modal logic, correspondence theory and second-order reduction
+Normal rank
@@ Property / cites work @@
+Forgetting for knowledge bases in DL-lite
@@ Property / cites work: Forgetting for knowledge bases in DL-lite / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaux for Projection Computation and Knowledge Compilation
+Normal rank
@@ Property / cites work @@
+Abduction in Logic Programming as Second-Order Quantifier Elimination
+Normal rank
@@ Property / cites work @@
+Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3455775