The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Description with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1948-1960 (17) 1961-1963 (16) 1964-1966 (30) 1967-1968 (31) 1969 (24) 1970 (37) 1971 (33) 1972 (39) 1973 (21) 1974 (66) 1975 (56) 1976 (39) 1977 (74) 1978 (55) 1979 (50) 1980 (61) 1981 (39) 1982 (108) 1983 (48) 1984 (63) 1985 (107) 1986 (103) 1987 (149) 1988 (231) 1989 (244) 1990 (316) 1991 (302) 1992 (299) 1993 (308) 1994 (305) 1995 (404) 1996 (400) 1997 (475) 1998 (593) 1999 (861) 2000 (913) 2001 (936) 2002 (1044) 2003 (1308) 2004 (1650) 2005 (1828) 2006 (2090) 2007 (2221) 2008 (2113) 2009 (1426) 2010 (703) 2011 (595) 2012 (563) 2013 (580) 2014 (595) 2015 (564) 2016 (525) 2017 (499) 2018 (505) 2019 (574) 2020 (570) 2021 (558) 2022 (519) 2023 (520) 2024 (84)
Publication types (Num. hits)
article(7166) book(40) data(2) incollection(297) inproceedings(21597) phdthesis(318) proceedings(67)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 18647 occurrences of 7202 keywords

Results
Found 29487 publication records. Showing 29487 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
42Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt Tightly Coupled Probabilistic Description Logic Programs for the Semantic Web. Search on Bibsonomy J. Data Semantics The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Probabilistic description logic programs, Bayesian probabilities, merging ontology mappings, data tractability, Web Services, Semantic Web, algorithms, complexity, description logics, ontology mapping, disjunctive logic programs, answer set semantics, inconsistency handling
42Michael E. Senko Data Description Language in the Concept of a Multilevel Structured Description: DIAM II with FORAL. Search on Bibsonomy IFIP TC-2 Special Working Conference on Data Base Description The full citation details ... 1975 DBLP  BibTeX  RDF
37Jan Madsen, Bjarne Hald An approach to interface synthesis. Search on Bibsonomy ISSS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF channel optimization, client-side interface description, client/server module synthesis, communication events formalization, existing module reuse, multiple client/server environment, one-sided interface description, server interface description, software reusability, application program interfaces, client-server systems, subroutines, interface synthesis, point-to-point communication
37Antonie Azokly, Rolf Ingold A language for document generic layout description and its use for segmentation into regions. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF document generic layout description language, generic layout description, region boundary delimiters, separator determination, segmentation method, page description languages
37Philippe Lefèvre, François Reynaud ODIL: an SGML description language of the layout structure of documents. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF SGML description language, ODIL, coding format, document recognition prototype, Office Document Image description Language, logical structure recognition, RAINBOW transit DTD, layout structure, up-conversion, image segmentation, segmentation, OCR, document image processing, SGML, document recognition, ODL, page description languages
37Anikó Simon, Jean-Christophe Pret, A. Peter Johnson (Chem)DeTE/X automatic generation of a markup language description of (chemical) documents from bitmap images. Search on Bibsonomy ICDAR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF markup language description, bitmap images, style file, layout recognition, Kruskal's algorithm, physical page structure, chemical documents, recursive parsing algorithm, document style description language, DSDL, document processing, layout analysis, document handling, scientific publications, page description languages
37Yu Sun 0005, Yuefei Sui Default Description Logics with Reversing Inference Rules. Search on Bibsonomy IEEE ICCI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Michael J. Hu, Ye Jian MD2L: Content Description of Multimedia Documents for Efficient Process and Search/Retrieval. Search on Bibsonomy ADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF multimedia data/documents, MPEG-7, meta-data, Content description
35Liang Chang 0003, Zhongzhi Shi, Lirong Qiu, Fen Lin Dynamic Description Logic: Embracing Actions into Description Logic. Search on Bibsonomy Description Logics The full citation details ... 2007 DBLP  BibTeX  RDF
35Fred Kröger A Uniform Logical Basis for the Description, Specification and Verification of Programs. Search on Bibsonomy Formal Description of Programming Concepts The full citation details ... 1977 DBLP  BibTeX  RDF
35Leonid A. Kalinichenko Toward Data Description Language for Data Base with Partly Determined Schema. Search on Bibsonomy IFIP TC-2 Special Working Conference on Data Base Description The full citation details ... 1975 DBLP  BibTeX  RDF
34Hoon Choi, Kidong Nam, Sun You Kim Specification of video-on-demand service using object oriented technique. Search on Bibsonomy ICCCN The full citation details ... 1995 DBLP  DOI  BibTeX  RDF VOD service specification, ITU-T service modeling frame, prose description, static description, service attributes, dynamic description, event trace diagram, VOD service protocols, broadband services, formal specification, interactive video, video on demand service, object oriented technique
33Benjamin N. Grosof, Ian Horrocks 0001, Raphael Volz, Stefan Decker Description logic programs: combining logic programs with description logic. Search on Bibsonomy WWW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ontologies, XML, semantic web, interoperability, knowledge representation, logic programs, RDF, description logic, rules, information integration, translation, model-theoretic semantics, inferencing
33Ju Wang 0005, Yuncheng Jiang, Yuming Shen Satisfiability and reasoning mechanism of terminological cycles in description logic vL . Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF terminological cycles, description graph, model, description logic
33Hillel Rom, Gérard G. Medioni Hierarchical Decomposition and Axial Shape Description. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF smooth local symmetries, parallel symmetries, shape parsing, region information, axial shape description, segmented axial description, curvature sign changes, contour information, image segmentation, stability, robustness, scale, computational efficiency, hierarchical decomposition
33Roland Wilson, Michael Spann Finite Prolate Spheroidal Sequences and their Applications II: Image Feature Description and Segmentation. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF image feature description, finite prolate spheroidal sequences, frequency-domain locality, optimal feature sets, quadtree concept, texture description, multiresolution techniques, pattern recognition, pattern recognition, image processing, image segmentation, feature extraction, picture processing, picture processing, trees (mathematics), frequency-domain analysis, scale invariance
32Andrea Calì, Thomas Lukasiewicz, Livia Predoiu, Heiner Stuckenschmidt Rule-Based Approaches for Representing Probabilistic Ontology Mappings. Search on Bibsonomy URSW (LNCS Vol.) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Representing probabilistic ontology mappings, rule languages, probabilistic description logic programs, Bayesian probabilities, Bayesian description logic programs, Semantic Web, Bayesian networks, uncertainty, description logics, Datalog, inconsistency, disjunctive logic programs, answer set semantics
32Luca Penzo, Donatella Sciuto, Cristina Silvano VLSI design of systematic odd-weight-column byte error detecting SEC-DED codes. Search on Bibsonomy VLSI Design The full citation details ... 1995 DBLP  DOI  BibTeX  RDF odd-weight-column byte error detection, SEC-DED codes, single error correction, double error detection, single byte error detection, SEC-DED-SBD codes, high performances VLSI implementations, high speed encoding/decoding circuits, parallel data manipulation, VHSIC Hardware Description Language, VHDL description, parallel processing, VLSI, software tool, error correction codes, application specific integrated circuits, logic CAD, decoding, VLSI design, error detection codes, hardware description languages, integrated logic circuits, digital integrated circuits
31Anbang Zhao, Yun Yu, GuoCang Sun, GuanFang Li, JunYing Hui Multiple description video coding based on residuum compensation. Search on Bibsonomy Sci. China Ser. F Inf. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF successive refinement, coding noise, streaming transmission, multiple description coding
31Yangli Wang, Chengke Wu 0001 A Mesh-based Multiple Description Coding Method for Network Video. Search on Bibsonomy AINA (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Mesh-based Motion Compensation, Redundancy Rate Distortion, Multiple Description Coding, Packet Loss
30Zu Whan Kim, Ramakant Nevatia Expandable Bayesian Networks for 3D Object Description from Multiple Views and Multiple Mode Inputs. Search on Bibsonomy IEEE Trans. Pattern Anal. Mach. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Multiview object description, building description, learning, bayesian network, uncertain reasoning
29Yanhui Li, Baowen Xu, Jianjiang Lu, Dazhou Kang, Peng Wang 0004 A Family of Extended Fuzzy Description Logics. Search on Bibsonomy COMPSAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
28Langis Gagnon, Samuel Foucher, Maguelonne Héritier, Marc Lalonde, David Byrns, Claude Chapdelaine, James Turner, Suzanne Mathieu, Denis Laurendeau, Nath Tan Nguyen, Denis Ouellet Towards computer-vision software tools to increase production and accessibility of video description for people with vision loss. Search on Bibsonomy Univers. Access Inf. Soc. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF e-Accessibility, Video description, Computer vision, Video indexing
28Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Yvon Trinquet, Guillaume Savaton Instruction set simulator generation using HARMLESS, a new hardware architecture description language. Search on Bibsonomy SimuTools The full citation details ... 2009 DBLP  DOI  BibTeX  RDF hardware architecture description language, instruction set simulation
28Jing Wang 0029, Jie Liang 0001 Filter Banks for Prediction-Compensated Multiple Description Coding. Search on Bibsonomy DCC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF image coding, multiple description coding, filter banks
28Kyung-Ae Cha, Kyungdeok Kim MPEG-4 Scene Description Optimization for Interactive Terrestrial DMB Content. Search on Bibsonomy ICESS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF T-DMB, Scene description Optimization, MPEG-4 System, Interactive Content, BIFS
28Zsolt Nagy, Gergely Lukácsy, Péter Szeredi Translating Description Logic Queries to Prolog. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Instance retrieval, Prolog, Description Logics, Reasoning, Query-plan
28Lin Liu 0001, Xiuzi Ye, Min Yao, Sanyuan Zhang A Semantic Description Scheme of Soccer Video Based on MPEG-7. Search on Bibsonomy PCM (2) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Video Semantic Description, MPEG-7, Soccer Video
28Piero A. Bonatti Towards Service Description Logics. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Semantic Web, Description Logics
28Doris Gälle, Christian Kop, Heinrich C. Mayr A Uniform Web Service Description Representation for Different Readers. Search on Bibsonomy ICDS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Web service description, Human-friendly Service Description, Web service
28Mark A. Toleman, David A. Carrington, Phil Cook, Andrew Coyle, Anthony MacDonald, Jim Welsh, Tim Jones Generic Description of a Software Document Environment. Search on Bibsonomy HICSS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF generic implementation, document description languages, tool description languages, software tools, software documents
28Rafael Peñaloza Semiring Provenance in Expressive Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
28Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca ASP-based Axiom Pinpointing for Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
28Alessandro Artale, Andrea Mazzullo Non-Rigid Designators in Epistemic and Temporal Free Description Logics (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
28Oliver Fernández Gil, Pavlos Marantidis Towards Extending the Description Logic FL0 with Threshold Concepts Using Weighted Tree Automatas. Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
28Mario Alviano, Laura Giordano 0001, Daniele Theseider Dupré Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
28Balder ten Cate, Maurice Funk, Jean Christoph Jung, Carsten Lutz SAT-based PAC Learning of Description Logic Concepts (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
28Axel Mascaro, Christophe Rey Commonality Subtraction Operator for the EL Description Logic. Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
28Joshua Hirschbrunn, Yevgeny Kazakov Description Logics Go Second-Order - Extending EL with Universally Quantified Concepts. Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
28Carsten Lutz, Quentin Manière, Robin Nolte Querying Circumscribed Description Logic Knowledge Bases (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
28Franz Baader, Filippo De Bortoli On the Abstract Expressive Power of Description Logics with Concrete Domains. Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
28Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman 0001, Grant E. Weddell Path Description Dependencies in Feature-Based DLs. Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
28Ricardo Guimarães 0001, Ana Ozaki, Jandson S. Ribeiro Eviction and Reception for Description Logic Ontologies (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2023 DBLP  BibTeX  RDF
28Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Patrick Koopmann, Julián Méndez 0001, Alexej Popovic On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and Evonne. Search on Bibsonomy Description Logics The full citation details ... 2022 DBLP  BibTeX  RDF
28Ludovic Brieulle, Chan Le Duc, Pascal Vaillant Reasoning in the Description Logic ALC under Category Semantics (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2022 DBLP  BibTeX  RDF
28Mostafa Sakr, Renate A. Schmidt Fine-Grained Forgetting for the Description Logic ALC. Search on Bibsonomy Description Logics The full citation details ... 2022 DBLP  BibTeX  RDF
28Stefan Borgwardt, Jörg Hoffmann 0001, Alisa Kovtunova, Markus Krötzsch, Bernhard Nebel, Marcel Steinmetz Expressivity of Planning with Horn Description Logic Ontologies (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2022 DBLP  BibTeX  RDF
28Jean Christoph Jung, Andrea Mazzullo, Frank Wolter More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions. Search on Bibsonomy Description Logics The full citation details ... 2022 DBLP  BibTeX  RDF
28Bartosz Bednarczyk, Mateusz Urbanczyk Comonadic Semantics for Description Logics Games. Search on Bibsonomy Description Logics The full citation details ... 2022 DBLP  BibTeX  RDF
28Tim Lyon, Jonas Karge Uniform and Modular Sequent Systems for Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2022 DBLP  BibTeX  RDF
28Birte Glimm, Yevgeny Kazakov, Michael Welt Concept Abduction for Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2022 DBLP  BibTeX  RDF
28Sebastian Rudolph Charting the Borderland - Decidability in Description Logics and Beyond (DL Invited Talk Abstract). Search on Bibsonomy Description Logics The full citation details ... 2022 DBLP  BibTeX  RDF
28Faiq Miftakhul Falakh, Sebastian Rudolph AGM Revision in Description Logics Under Fixed-Domain Semantics. Search on Bibsonomy Description Logics The full citation details ... 2022 DBLP  BibTeX  RDF
28Bernardo Alkmim, Edward Hermann Haeusler, Cláudia Nalon A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals. Search on Bibsonomy Description Logics The full citation details ... 2022 DBLP  BibTeX  RDF
28Federica Di Stefano 0001, Magdalena Ortiz 0001, Mantas Simkus Pointwise Circumscription in Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2022 DBLP  BibTeX  RDF
28Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova Finding Good Proofs for Description Logic Entailments Using Recursive Quality Measures (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2021 DBLP  BibTeX  RDF
28Chan Le Duc Category-theoretical Semantics of the Description Logic ALC. Search on Bibsonomy Description Logics The full citation details ... 2021 DBLP  BibTeX  RDF
28Bartosz Bednarczyk, Emanuel Kieronski Finite-Controllability of Conjunctive Queries in the Z family of Description Logics (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2021 DBLP  BibTeX  RDF
28Tim French 0002, Thomas Smoker An Aleatoric Description Logic for Probabilistic Reasoning. Search on Bibsonomy Description Logics The full citation details ... 2021 DBLP  BibTeX  RDF
28Patrick Koopmann Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2021 DBLP  BibTeX  RDF
28Marie Fortin, Boris Konev, Frank Wolter Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2021 DBLP  BibTeX  RDF
28Cheikh Brahim El Vaigh, François Goasdoué A Well-founded Graph-based Summarization Framework for Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2021 DBLP  BibTeX  RDF
28Barbara Morawska 0001 Unification in the Description Logic FL⊥. Search on Bibsonomy Description Logics The full citation details ... 2021 DBLP  BibTeX  RDF
28Spyridon Kantarelis, Edmund Dervakos, Natalia Kotsani, Giorgos Stamou Musical Harmony Analysis with Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2021 DBLP  BibTeX  RDF
28Camille Bourgaux, Ana Ozaki, Jeff Z. Pan Geometric Models for (Temporally) Attributed Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2021 DBLP  BibTeX  RDF
28Steven Schockaert, Yazmín Angélica Ibáñez-García, Víctor Gutiérrez-Basulto Modelling Concept Interpolation in Description Logics using Abstract Betweenness Relations. Search on Bibsonomy Description Logics The full citation details ... 2021 DBLP  BibTeX  RDF
28Theo Ducros, Marinette Bouet, Farouk Toumani Weak Subsumption in the EL-Description Logic with Refreshing Variables (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2021 DBLP  BibTeX  RDF
28Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova On the Complexity of Finding Good Proofs for Description Logic Entailments. Search on Bibsonomy Description Logics The full citation details ... 2020 DBLP  BibTeX  RDF
28Franz Baader, Jakub Rydval Description Logics with Concrete Domains and General Concept Inclusions Revisited (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2020 DBLP  BibTeX  RDF
28Andreas Steigmiller, Birte Glimm Parallelised ABox Reasoning and Query Answering with Expressive Description Logics (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2020 DBLP  BibTeX  RDF
28Francesca Alessandra Lisi Using Higher-order Description Logics for Learning and Mining in Complex Domains. Search on Bibsonomy Description Logics The full citation details ... 2020 DBLP  BibTeX  RDF
28Patrick Koopmann, Jieying Chen Deductive Module Extraction for Expressive Description Logics (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2020 DBLP  BibTeX  RDF
28Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu Provenance for the Description Logic ELHr (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2020 DBLP  BibTeX  RDF
28Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2020 DBLP  BibTeX  RDF
28Satyadharma Tirtarasa Temporal Properties over Contextualized Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2020 DBLP  BibTeX  RDF
28Franz Baader, Filippo De Bortoli Description Logics That Count, and What They Can and Cannot Count (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2020 DBLP  BibTeX  RDF
28Gianluca Cima, Domenico Lembo, Riccardo Rosati 0001, Domenico Fabio Savo Controlled Query Evaluation in Description Logics Through Instance Indistinguishability (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2020 DBLP  BibTeX  RDF
28Alessandro Artale, Andrea Mazzullo, Ana Ozaki, Frank Wolter On Free Description Logics with Definite Descriptions. Search on Bibsonomy Description Logics The full citation details ... 2020 DBLP  BibTeX  RDF
28Ismail Ilkan Ceylan, Thomas Lukasiewicz, Enrico Malizia, Andrius Vaicenavicius Explanations for Ontology-Mediated Query Answering in Description Logics (Extended Abstract). Search on Bibsonomy Description Logics The full citation details ... 2020 DBLP  BibTeX  RDF
28Jakub Kuklis Data Complexity of Finite Query Entailment in Description Logics with Transitive Roles. Search on Bibsonomy Description Logics The full citation details ... 2020 DBLP  BibTeX  RDF
28Pedro Cabalar, Torsten Schaub Temporal Logic Programs with Temporal Description Logic Axioms. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28"Johann" Sebastian Rudolph Presburger Concept Cardinality Constraints in Very Expressive Description Logics - Allegro sexagenarioso ma non ritardando. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Katrin M. Dannert, Erich Grädel Provenance Analysis: A Perspective for Description Logics? Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Özgür Lütfü Özçep, Ralf Möller 0001 On Bounded-Memory Stream Data Processing with Description Logics. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß Situation Calculus Meets Description Logics. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Ana Ozaki, Markus Krötzsch, Sebastian Rudolph Temporally Attributed Description Logics. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Katarina Britz, Giovanni Casini, Thomas Meyer 0002, Ivan Varzinczak A KLM Perspective on Defeasible Reasoning for Description Logics. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Stephanie McIntyre, David Toman 0001, Grant E. Weddell FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Marco Wilhelm, Gabriele Kern-Isberner Maximum Entropy Calculations for the Probabilistic Description Logic $$\mathcal {ALC}^{\mathsf{ME}}$$. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Alexander Borgida Initial Steps Towards a Family of Regular-Like Plan Description Logics. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
28Sergei Obiedkov, Baris Sertkaya, Denis Zolotukhin Probably Approximately Correct Completion of Description Logic Knowledge Bases. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
28Maurice Funk, Jean Christoph Jung, Carsten Lutz, Hadrien Pulcini, Frank Wolter Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? (Abstract). Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
28Gerhard Lakemeyer Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
28Yizheng Zhao, Renate A. Schmidt On Concept Forgetting in Description Logics with Qualified Number Restrictions. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
28Haitao Cheng, Zongmin Ma 0001 Towards Spatio-Temporal Reasoning in Description Logic f-ALC(D)-LTL. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
28Franz Baader, Oliver Fernández Gil, Pavlos Marantidis Matching in the Description Logic FL0 with respect to General TBoxes (Extended abstract). Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
28Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
28Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki On Non-normal Modal Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
28Mitko Yanchev Rational Grading in an Expressive Description Logic. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
28Patrick Koopmann Maybe Eventually? Towards Combining Temporal and Probabilistic Description Logics and Queries. Search on Bibsonomy Description Logics The full citation details ... 2019 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 29487 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license