Littérature scientifique sur le sujet « Description logics with spatial operators »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Description logics with spatial operators ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Description logics with spatial operators"
Schoop, D., et J. Bernauer. « Formal Classification of Medical Concept Descriptions : Graph-Oriented Operators ». Methods of Information in Medicine 37, no 04/05 (octobre 1998) : 510–17. http://dx.doi.org/10.1055/s-0038-1634546.
Texte intégralNascimento, Maikon, Jing Li et Dileepan Joseph. « Efficient Pipelined Circuits for Histogram-based Tone Mapping of Nonlinear CMOS Image Sensors ». Journal of Imaging Science and Technology 65, no 4 (1 juillet 2021) : 40503–1. http://dx.doi.org/10.2352/j.imagingsci.technol.2021.65.4.040503.
Texte intégralLehmann, Jens, et Pascal Hitzler. « Concept learning in description logics using refinement operators ». Machine Learning 78, no 1-2 (16 septembre 2009) : 203–50. http://dx.doi.org/10.1007/s10994-009-5146-2.
Texte intégralKamide, Norihiro. « Linear and affine logics with temporal, spatial and epistemic operators ». Theoretical Computer Science 353, no 1-3 (mars 2006) : 165–207. http://dx.doi.org/10.1016/j.tcs.2005.10.043.
Texte intégralFanizzi, Nicola. « Concept Induction in Description Logics Using Information-Theoretic Heuristics ». International Journal on Semantic Web and Information Systems 7, no 2 (avril 2011) : 23–44. http://dx.doi.org/10.4018/jswis.2011040102.
Texte intégralKlarman, Szymon, et Víctor Gutiérrez-Basulto. « Two-Dimensional Description Logics for Context-Based Semantic Interoperability ». Proceedings of the AAAI Conference on Artificial Intelligence 25, no 1 (4 août 2011) : 215–20. http://dx.doi.org/10.1609/aaai.v25i1.7854.
Texte intégralRoussey, Catherine, François Pinet et Michel Schneider. « Representations of Topological Relations Between Simple Regions in Description Logics ». International Journal of Agricultural and Environmental Information Systems 4, no 2 (avril 2013) : 50–69. http://dx.doi.org/10.4018/jaeis.2013040105.
Texte intégralWang, Zhe, Kewen Wang et Rodney Topor. « A New Approach to Knowledge Base Revision in DL-Lite ». Proceedings of the AAAI Conference on Artificial Intelligence 24, no 1 (3 juillet 2010) : 369–74. http://dx.doi.org/10.1609/aaai.v24i1.7593.
Texte intégralGnatenko, Anton Romanovich, et Vladimir Anatolyevich Zakharov. « On the Satisfiability and Model Checking for one Parameterized Extension of Linear-time Temporal Logic ». Modeling and Analysis of Information Systems 28, no 4 (18 décembre 2021) : 356–71. http://dx.doi.org/10.18255/1818-1015-2021-4-356-371.
Texte intégralZhou, Jianlong, Ivan Lee, Bruce Thomas, Roland Menassa, Anthony Farrant et Andrew Sansome. « In-Situ Support for Automotive Manufacturing Using Spatial Augmented Reality ». International Journal of Virtual Reality 11, no 1 (1 janvier 2012) : 33–41. http://dx.doi.org/10.20870/ijvr.2012.11.1.2835.
Texte intégralThèses sur le sujet "Description logics with spatial operators"
GABRIELLI, Nicoletta. « Investigation of the tradeoff between expressiveness and complexity in description logics with spatial operators ». Doctoral thesis, Università degli Studi di Verona, 2009. http://hdl.handle.net/11562/337448.
Texte intégralDescription Logics are a family of expressive Knowledge-Representation formalisms that have been deeply investigated. Nevertheless the few examples of DLs with spatial operators in the current literature are defined to include only the spatial reasoning capabilities corresponding to the Region Connection Calculus. In my thesis I consider all the most important Qualitative Spatial Reasoning formalisms for mereological, mereo-topological and directional information and investigate some general hybridization techniques. I will present a short overview of the main formalisms of Qualitative Spatial Reasoning and the principal families of DLs. I introduce the hybridization techniques to extend DLs to QSR and present the expressiveness of the resulting hybrid languages. I also present a general paradecidability result for undecidable languages equipped with composition-based role axioms and the tradeoff analysis of expressiveness and computational properties for the spatial DLs.
Lehmann, Jens. « Learning OWL Class Expressions ». Doctoral thesis, Universitätsbibliothek Leipzig, 2010. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-38351.
Texte intégralWolter, Frank, et Michael Zakharyaschev. « On the Decidability of Description Logics with Modal Operators ». 1998. https://ul.qucosa.de/id/qucosa%3A31937.
Texte intégralChapitres de livres sur le sujet "Description logics with spatial operators"
Sánchez-Ruiz, Antonio A., Santiago Ontañón, Pedro Antonio González-Calero et Enric Plaza. « Measuring Similarity in Description Logics Using Refinement Operators ». Dans Case-Based Reasoning Research and Development, 289–303. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-23291-6_22.
Texte intégralFanizzi, Nicola. « Concept Induction in Description Logics Using Information-Theoretic Heuristics ». Dans Semantic Web, 97–118. IGI Global, 2013. http://dx.doi.org/10.4018/978-1-4666-3610-1.ch005.
Texte intégralTennant, Neil. « The Concept of Real Number ». Dans The Logic of Number, 241–60. Oxford University Press, 2022. http://dx.doi.org/10.1093/oso/9780192846679.003.0021.
Texte intégralSikder, Iftikhar U., et Santosh K. Misra. « Agent-Based Semantic Interoperability of Geo-Services ». Dans Methodological Advancements in Intelligent Information Technologies, 110–27. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-970-0.ch007.
Texte intégralPuls, Stephan, et Heinz Wörn. « Seamless Interfacing ». Dans Emerging Research and Trends in Interactivity and the Human-Computer Interface, 144–59. IGI Global, 2014. http://dx.doi.org/10.4018/978-1-4666-4623-0.ch007.
Texte intégralFanizzi, Nicola, Claudia d’Amato et Floriana Esposito. « Evolutionary Conceptual Clustering Based on Induced Pseudo-Metrics ». Dans Advances in Semantic Web and Information Systems, 257–80. IGI Global, 2010. http://dx.doi.org/10.4018/978-1-60566-992-2.ch012.
Texte intégralPlerou, Antonia, et Panayiotis Vlamos. « Evaluation of Mathematical Cognitive Functions with the Use of EEG Brain Imaging ». Dans Advances in Multimedia and Interactive Technologies, 284–306. IGI Global, 2016. http://dx.doi.org/10.4018/978-1-4666-8659-5.ch014.
Texte intégralActes de conférences sur le sujet "Description logics with spatial operators"
Straccia, Umberto. « Towards spatial reasoning in fuzzy description logics ». Dans 2009 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE). IEEE, 2009. http://dx.doi.org/10.1109/fuzzy.2009.5277056.
Texte intégralGutiérrez-Basulto, Víctor, et Jean Christoph Jung. « Combining DL-Lite_{bool}^N with Branching Time : A gentle Marriage ». Dans Twenty-Sixth International Joint Conference on Artificial Intelligence. California : International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/149.
Texte intégralFortin, Marie, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter et Michael Zakharyaschev. « Unique Characterisability and Learnability of Temporal Instance Queries ». Dans 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}. California : International Joint Conferences on Artificial Intelligence Organization, 2022. http://dx.doi.org/10.24963/kr.2022/17.
Texte intégralKrasaki, Eirini. « Design as semiosis : A design mechanism for place branding ». Dans International Conference on the 4th Game Set and Match (GSM4Q-2019). Qatar University Press, 2019. http://dx.doi.org/10.29117/gsm4q.2019.0035.
Texte intégralCasasent, David, et Abhijit Mahalanobis. « Rule-Based, Probabilistic, Symbolic Target Classification by Object Segmentation ». Dans Optical Computing. Washington, D.C. : Optica Publishing Group, 1987. http://dx.doi.org/10.1364/optcomp.1987.tub3.
Texte intégralFei, Dingzhou. « The Framing Problem for Visual Representation Modules in Neuro-Symbolism Paradigm for Artificial Intelligence ». Dans Human Interaction and Emerging Technologies (IHIET-AI 2022) Artificial Intelligence and Future Applications. AHFE International, 2022. http://dx.doi.org/10.54941/ahfe100890.
Texte intégralCerjan, Charles. « Numerical methods for solving one-dimensional model atoms in intense laser fields ». Dans OSA Annual Meeting. Washington, D.C. : Optica Publishing Group, 1989. http://dx.doi.org/10.1364/oam.1989.fu2.
Texte intégralSchaposnik, Viviana, Cecilia Giusso et Andrea Ulacia. « Autopistas y situaciones intersticiales urbanas : el valor del análisis-diagnóstico previo como instrumento de gestión e intervención ». Dans International Conference Virtual City and Territory. Barcelona : Centre de Política de Sòl i Valoracions, 2009. http://dx.doi.org/10.5821/ctv.7567.
Texte intégralRapports d'organisations sur le sujet "Description logics with spatial operators"
Lutz, Carsten. TheComplexity of Reasoning with Concrete Domains (Revised Version). Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.88.
Texte intégralLutz, Carsten, et Frank Wolter. Modal Logics of Topological Relations. Technische Universität Dresden, 2004. http://dx.doi.org/10.25368/2022.142.
Texte intégralBaader, Franz, Silvio Ghilardi et Carsten Lutz. LTL over Description Logic Axioms. Technische Universität Dresden, 2008. http://dx.doi.org/10.25368/2022.164.
Texte intégralBorgwardt, Stefan, Marcel Lippmann et Veronika Thost. Reasoning with Temporal Properties over Axioms of DL-Lite. Technische Universität Dresden, 2014. http://dx.doi.org/10.25368/2022.208.
Texte intégralBorgwardt, Stefan, et Veronika Thost. Temporal Query Answering in DL-Lite with Negation. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.221.
Texte intégralBaader, Franz, Patrick Koopmann et Anni-Yasmin Turhan. Using Ontologies to Query Probabilistic Numerical Data (Extended Version). Technische Universität Dresden, 2017. http://dx.doi.org/10.25368/2022.235.
Texte intégralHorrocks, Ian, Ulrike Sattler et Stephan Tobies. A Description Logic with Transitive and Converse Roles, Role Hierarchies and Qualifying Number Restrictions. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.94.
Texte intégral