- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Logical separability of labeled data examples under ontologies
Artificial Intelligence 313 (C):103785 (2022)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
On the role of logical separability in knowledge compilation.Junming Qiu, Wenqing Li, Liangda Fang, Quanlong Guan, Zhanhao Xiao, Zhao-Rong Lai & Qian Dong - 2024 - Artificial Intelligence 328 (C):104077.
Sampling Labeled Deductive Systems.D. M. Gabbay - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 742–769.
Logical analysis of binary data with missing bits.Endre Boros, Toshihide Ibaraki & Kazuhisa Makino - 1999 - Artificial Intelligence 107 (2):219-263.
Ontology Summit 2017 communiqué – AI, learning, reasoning and ontologies.Kenneth Baclawski, Mike Bennett, Gary Berg-Cross, Donna Fritzsche, Todd Schneider, Ravi Sharma, Ram D. Sriram & Andrea Westerinen - 2018 - Applied ontology 13 (1):3-18.
Logical foundations of information disclosure in ontology-based data integration.Michael Benedikt, Bernardo Cuenca Grau & Egor V. Kostylev - 2018 - Artificial Intelligence 262 (C):52-95.
Ontology Summit 2017 communiqué – AI, learning, reasoning and ontologies.Kenneth Baclawski, Mike Bennett, Gary Berg-Cross, Donna Fritzsche, Todd Schneider, Ravi Sharma, Ram D. Sriram & Andrea Westerinen - 2018 - Applied ontology 13 (1):3-18.
Query inseparability for ALC ontologies.Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter & Michael Zakharyaschev - 2019 - Artificial Intelligence 272 (C):1-51.
Foundations of ontology-based data access under bag semantics.Charalampos Nikolaou, Egor V. Kostylev, George Konstantinidis, Mark Kaminski, Bernardo Cuenca Grau & Ian Horrocks - 2019 - Artificial Intelligence 274 (C):91-132.
Inference of lexical ontologies. The LeOnI methodology.Javier Farreres, Karina Gibert, Horacio Rodríguez & Charnyote Pluempitiwiriyawej - 2010 - Artificial Intelligence 174 (1):1-19.
Analytics
Added to PP
2022-09-28
Downloads
15 (#1,232,057)
6 months
3 (#1,470,822)
2022-09-28
Downloads
15 (#1,232,057)
6 months
3 (#1,470,822)
Historical graph of downloads
References found in this work
Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.
On languages with two variables.Michael Mortimer - 1975 - Mathematical Logic Quarterly 21 (1):135-140.
On the restraining power of guards.Erich Grädel - 1999 - Journal of Symbolic Logic 64 (4):1719-1742.
Computational Generation of Referring Expressions: A Survey.Emiel Krahmer & Kees van Deemter - unknown
On the decision problem for two-variable first-order logic.Erich Grädel, Phokion G. Kolaitis & Moshe Y. Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-559df78dcc-ppxv8 uwo