Mathematical Logic for Life Science Ontologies (Q3638273): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-02261-6_4
+Normal rank
@@ Property / OpenAlex ID @@
+W1605620672
@@ Property / OpenAlex ID: W1605620672 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatization of bisimulation quantifiers via the \(\mu\)-calculus
+Normal rank
@@ Property / cites work @@
+Semantic forgetting in answer set programming
@@ Property / cites work: Semantic forgetting in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Undefinability of propositional quantifiers in the modal system S4
+Normal rank
@@ Property / cites work @@
+Q3624118
@@ Property / cites work: Q3624118 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logical Difference Problem for Description Logic Terminologies
+Normal rank
@@ Property / cites work @@
+Conservative Extensions in the Lightweight Description Logic $\mathcal{EL}$
+Normal rank
@@ Property / cites work @@
+CASL reference manual. The complete documentation of the common algebraic specification language.
+Normal rank
@@ Property / cites work @@
+On an interpretation of second order quantification in first order intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Modular ontologies. Concepts, theories and techniques for knowledge modularization
+Normal rank
@@ Property / cites work @@
+Q4893140
@@ Property / cites work: Q4893140 / rank @@
+Normal rank