The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1980-1986 (15) 1987-1990 (23) 1991 (19) 1992 (20) 1993-1994 (43) 1995-1996 (35) 1997 (23) 1998 (28) 1999 (30) 2000 (21) 2001-2002 (36) 2003 (43) 2004 (45) 2005 (31) 2006 (41) 2007 (46) 2008 (66) 2009 (35) 2010 (19) 2011-2012 (26) 2013 (19) 2014-2015 (22) 2016 (17) 2017 (16) 2018-2019 (22) 2020-2021 (21) 2022-2023 (25) 2024 (2)
Publication types (Num. hits)
article(167) book(1) data(4) incollection(8) inproceedings(606) phdthesis(3)
Venues (Conferences, Journals, ...)
Description Logics(34) CoRR(30) ILP(21) CADE(20) ICCS(14) ISMIS(11) ECAI(9) IJCAI(9) ISWC(9) ECML(8) JELIA(8) IEEE Trans. Knowl. Data Eng.(7) LPAR(7) AAAI(6) DEXA(6) ESWC(6) More (+10 of total 411)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 402 occurrences of 274 keywords

Results
Found 789 publication records. Showing 789 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
124Uwe Egly, Reinhard Pichler, Stefan Woltran On deciding subsumption problems. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF equational problems, satisfiability, subsumption, QBFs
105Reinhard Pichler On the Complexity of H-Subsumption. Search on Bibsonomy CSL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
94Samuel Wieczorek, Gilles Bisson, Mirta B. Gordon Guiding the Search in the NO Region of the Phase Transition Problem with a Partial Subsumption Test. Search on Bibsonomy ECML The full citation details ... 2006 DBLP  DOI  BibTeX  RDF similarity index, ?-subsumption, partial subsumption, CSP, Inductive Logic Programming, phase transition
88Andrei Voronkov An Implementation Technique for a Class of Bottom-Up Procedures. Search on Bibsonomy PLILP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
76François Bry, Tim Furche, Benedikt Linse Simulation Subsumption or Déjà vu on the Web. Search on Bibsonomy RR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
76Jérôme Maloberti, Michèle Sebag Fast Theta-Subsumption with Constraint Satisfaction Algorithms. Search on Bibsonomy Mach. Learn. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF k-locality, constraint satisfaction, phase transition, relational learning, meta-learning
75Kangpyo Lee, Hyunwoo Kim, Chungsu Jang, Hyoung-Joo Kim 0001 Folksoviz: a subsumption-based folksonomy visualization using wikipedia texts. Search on Bibsonomy WWW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF visualization, web 2.0, wikipedia, folksonomy, collaborative tagging, subsumption
66Aris M. Ouksel, Oana Jurca, Ivana Podnar, Karl Aberer Efficient Probabilistic Subsumption Checking for Content-Based Publish/Subscribe Systems. Search on Bibsonomy Middleware The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
66Jerzy Marcinkowski, Jan Otop, Grzegorz Stelmaszek On a Semantic Subsumption Test. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
66Marta Arias, Roni Khardon The Subsumption Lattice and Query Learning. Search on Bibsonomy ALT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
66Leo Bachmair, Ta Chen, C. R. Ramakrishnan 0001, I. V. Ramakrishnan Subsumption Algorithms Based on Search Trees. Search on Bibsonomy CAAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
66Vassilis Spiliopoulos, Alexandros G. Valarakos, George A. Vouros CSR: Discovering Subsumption Relations for the Alignment of Ontologies. Search on Bibsonomy ESWC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ontology alignment, subsumption, supervised machine learning
66Hojjat Jafarpour, Bijit Hore, Sharad Mehrotra, Nalini Venkatasubramanian Subscription Subsumption Evaluation for Content-Based Publish/Subscribe Systems. Search on Bibsonomy Middleware The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Subscription Subsumption, Publish/Subscribe, Message-oriented middleware
66Greg Butler, Andrea Gantchev, Peter Grogono Reusable Strategies for Software Agents via the Subsumption. Search on Bibsonomy APSEC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF architecture, agent, component, reuse, subsumption
59Alireza Tamaddoni-Nezhad, Stephen H. Muggleton A Note on Refinement Operators for IE-Based ILP Systems. Search on Bibsonomy ILP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
59Jérôme Maloberti, Einoshin Suzuki An Efficient Algorithm for Reducing Clauses Based on Constraint Satisfaction Techniques. Search on Bibsonomy ILP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
57Jens Bleiholder, Sascha Szott, Melanie Herschel, Frank Kaufer, Felix Naumann Subsumption and complementation as data fusion operators. Search on Bibsonomy EDBT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF complement union, minimum union, data integration, data quality
57Dazhou Kang, Jianjiang Lu, Baowen Xu, Peng Wang 0004, Yanhui Li A Framework of Checking Subsumption Relations Between Composite Concepts in Different Ontologies. Search on Bibsonomy KES (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
57Gabriel M. Kuper, Jérôme Siméon Subsumption for XML types. Search on Bibsonomy ICDT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
57Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. Search on Bibsonomy EDBT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
56Raúl A. Santelices, Saurabh Sinha, Mary Jean Harrold Subsumption of program entities for efficient coverage and monitoring. Search on Bibsonomy SOQUA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF entity hierarchies, predicate conditions, subsumption, coverage criteria
56Tim Gorton, Bakhtiar Mikhak A tangible architecture for creating modular, subsumption-based robot control systems. Search on Bibsonomy CHI Extended Abstracts The full citation details ... 2004 DBLP  DOI  BibTeX  RDF interactive system for children, modular robot controllers, tangible programming, toy, subsumption architecture
56Dan Murray The Subsumption Architecture: Distributed Control for Business Objects. Search on Bibsonomy EDOC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF distributed control, business process reengineering, business objects, subsumption architecture
55Xiulei Qin, Jun Wei 0001, Wenbo Zhang 0006, Hua Zhong 0001, Tao Huang 0001 A Two-Phase Approach to Subscription Subsumption Checking for Content-Based Publish/Subscribe Systems. Search on Bibsonomy AINA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF subscription subsumption, subscription subsumption graph(SSG), non-numeric constraints, publish/subscribe, numeric constraints
49Terrance Swift An Engine for Computing Well-Founded Models. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Tabling, WAM
49Marcin Benke Predicative Polymorphic Subtyping. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
49Andrea Schaerf On the Complexity of the Instance Checking Problem in Concept Languages with Existential Quantification. Search on Bibsonomy ISMIS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
47Olga Skvortsova theta -Subsumption Based on Object Context. Search on Bibsonomy ILP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Laure Bourgois, Alexandre Delteil, François Lévy Web Services Subsumption with a Specific PDL. Search on Bibsonomy AICT/ICIW The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
47Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz Generalizing Programs vis Subsumption. Search on Bibsonomy EUROCAST The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
46Aaron M. Levisohn, Philippe Pasquier BeatBender: subsumption architecture for autonomous rhythm generation. Search on Bibsonomy Advances in Computer Entertainment Technology The full citation details ... 2008 DBLP  DOI  BibTeX  RDF metacreation, sound and music, aesthetics, rhythm, generative art, subsumption architecture
46Jacques Calmet, Peter Kullmann A Data Structure for Subsumption-Based Tabling in Top-Drown Resolution Engines for Data-Intensive Logic Applications. Search on Bibsonomy ISMIS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Subsumption-based Tabling, Information Integration, Intelligent Information Retrieval, Logic for Artificial Intelligence
39Hongmei Zhu, Yongquan Liang, Yong Zhang Description Logic-Based Web Service Self-Adaptation Strategy Representation. Search on Bibsonomy CSSE (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Franz Baader, Rafael Peñaloza, Boontawee Suntisrivaraporn Pinpointing in the Description Logic EL+. Search on Bibsonomy KI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
39Francesca A. Lisi, Donato Malerba Bridging the Gap between Horn Clausal Logic and Description Logics in Inductive Learning. Search on Bibsonomy AI*IA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
39Cécile Capponi Type Extensibility of a Knowledge Representation System with Powersets. Search on Bibsonomy ISMIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
39Peter Idestam-Almquist Generalization under Implication by using Or-Introduction. Search on Bibsonomy ECML The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
38Yu Sun 0005, Yuefei Sui, Zhiping Li One Axiomatic System for the Ontology Revision. Search on Bibsonomy Intelligent Information Processing The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Subsumption relation, Default inheritance, Ontologies, Belief revision
38Gerard Ellis, Fritz Lehmann Exploiting the Induced Order on Type-Labeled Graphs for Fast Knowledge Retrieval. Search on Bibsonomy ICCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF type lattice, bit string, skeleton product, fret product, order theory, information retrieval, encoding, knowledge base, deductive database, conceptual graphs, poset, graph database, subsumption, subgraph isomorphism
37Sasu Tarkoma Chained forests for fast subsumption matching. Search on Bibsonomy DEBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Elias Zavitsanos, Georgios Paliouras, George A. Vouros, Sergios Petridis Discovering Subsumption Hierarchies of Ontology Concepts from Text Corpora. Search on Bibsonomy Web Intelligence The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
37Saswat Anand, Corina S. Pasareanu, Willem Visser Symbolic Execution with Abstract Subsumption Checking. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Sebastian Brandt, Jörg Model Subsumption in w.r.t. Hybrid TBoxes. Search on Bibsonomy KI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Lintao Zhang On Subsumption Removal and On-the-Fly CNF Simplification. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Robert C. Kremer, Roberto A. Flores Using a performative subsumption lattice to support commitment-based conversations. Search on Bibsonomy AAMAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CASA, performatives, protocols, policies, agent communications languages, ACL, FIPA, social commitments
37Stefan Schlobach Explaining Subsumption by Optimal Interpolation. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
37Hongwei Liu, Hitoshi Iba Multi-agent Learning of Heterogeneous Robots by Evolutionary Subsumption. Search on Bibsonomy GECCO The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
37Akihiro Yamamoto New Conditions for the Existence of Least Generalizations under Relative Subsumption. Search on Bibsonomy ILP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Alireza Tamaddoni-Nezhad, Stephen H. Muggleton Searching the Subsumption Lattice by a Genetic Algorithm. Search on Bibsonomy ILP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
37Mohammad Al-Qasem, S. Misbah Deen Query Subsumption. Search on Bibsonomy FQAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
37Martin Staudt 0001, Kai von Thadden A Generic Subsumption Testing Toolkit for Knowledge Based Queries. Search on Bibsonomy DEXA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
37Marc Champesme Using Empirical Subsumption to Reduce the Search Space in Learning. Search on Bibsonomy ICCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
37Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt 0001 Subsumption between Queries to Object-Oriented Databases. Search on Bibsonomy EDBT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
37Gerhard Köstler, Werner Kießling, Helmut Thöne, Ulrich Güntzer The Differential Fixpoint Operator with Subsumption. Search on Bibsonomy DOOD The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
37Roland N. Bol, Krzysztof R. Apt, Jan Willem Klop On the Power of Subsumption and Context Checks. Search on Bibsonomy DISCO The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
37Rolf Socher A Subsumption Algorithm Based on Characteristic Matrices. Search on Bibsonomy CADE The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
37Georg Gottlob, Alexander Leitsch On the Efficiency of Subsumption Algorithms Search on Bibsonomy J. ACM The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
37Ralph Butler, Arlan R. DeKock Implementaion of a parallel subsumption algorithm (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
35Thorsten Liebig, Stephan Scheele, Julian Lambertz Explaining Subsumption and Patching Non-Subsumption with Tableaux Methods. Search on Bibsonomy Description Logics The full citation details ... 2007 DBLP  BibTeX  RDF
29James Cheney Regular Expression Subtyping for XML Query and Update Languages. Search on Bibsonomy ESOP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Érick Alphonse, Aomar Osmani A Model to Study Phase Transition and Plateaus in Relational Learning. Search on Bibsonomy ILP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Ondrej Kuzelka, Filip Zelezný Fast estimation of first-order clause coverage through randomization and maximum likelihood. Search on Bibsonomy ICML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
29Yannis Theoharis, George F. Georgakopoulos, Vassilis Christophides On the Synthetic Generation of Semantic Web Schemas. Search on Bibsonomy SWDB-ODBIS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Carsten Lutz, Frank Wolter Conservative Extensions in the Lightweight Description Logic EL. Search on Bibsonomy CADE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
29Heiner Stuckenschmidt Toward Multi-viewpoint Reasoning with OWL Ontologies. Search on Bibsonomy ESWC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Robert C. Kremer, Roberto A. Flores Flexible Conversations Using Social Commitments and a Performatives Hierarchy. Search on Bibsonomy AC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Martin Hofmann 0001 Proof-Theoretic Approach to Description-Logic. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
29Ronald M. Kaplan, Annie Zaenen Things Are Not Always Equal. Search on Bibsonomy CICLing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
29Nicola Guarino, Christopher A. Welty A Formal Ontology of Properties. Search on Bibsonomy EKAW The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Franz Baader, Ralf Molitor, Stephan Tobies Tractable and Decidable Fragments of Conceptual Graphs. Search on Bibsonomy ICCS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
29Hans de Nivelle A Classification of Non-liftable Orders for Resolution. Search on Bibsonomy CADE The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
29Ernst Lippe Generating Tables for Bottom-Up Matching. Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
28Oscar J. Romero López, Angélica de Antonio Analysis of Emergent Properties in a Hybrid Bio-inspired Architecture for Cognitive Agents. Search on Bibsonomy Innovations in Hybrid Intelligent Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Hybrid Behaviour Co-evolution, Extended Classifier Systems, Neuro Connectionist Q-Learning Systems, Artificial Immune Systems, Gene Expression Programming, Subsumption Architecture
28Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin Enhancing modular OO verification with separation logic. Search on Bibsonomy POPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF enhanced subsumption, lossless casting, static and dynamic specifications, separation logic, automated verification
28David Windridge, Mikhail Shevchenko, Josef Kittler An Entropy-Based Approach to the Hierarchical Acquisition of Perception-Action Capabilities. Search on Bibsonomy ICVW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Perception-Action Architecture, Subsumption Hierarchy, Affordance, Saliency
28Hui-Qing Chong, Ah-Hwee Tan, Gee Wah Ng Integrated cognitive architectures: a survey. Search on Bibsonomy Artif. Intell. Rev. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Integrated cognitive architectures, ICARUS, CLARION, BDI, ACT-R, Soar, Subsumption architecture
28Rym Ameur, Jean-Claude Heudin Interactive Intelligent Agent Architecture. Search on Bibsonomy IAT Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF proactive architecture, artificial life, conversational agent, classifier systems, subsumption
28Martina Marré, Antonia Bertolino Using Spanning Sets for Coverage Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF ddgraph, spanning sets, data flow, Control flow, subsumption, coverage criteria
28Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori 0001 Description logics for semantic query optimization in object-oriented database systems. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF integrity constraints rules, query rewriting method, semantic expansion of a query, description logics, subsumption, Semantic query optimization
28Vilas Wuwongse, Ekawit Nantajeewarawat Declarative Programs with Implicit Implications. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF implicit implication, deductive object-oriented database, taxonomy, Declarative program, subsumption, fixpoint semantics, model-theoretic semantics
28Alexandre Riazanov, Andrei Voronkov Partially Adaptive Code Trees. Search on Bibsonomy JELIA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF term indexing, code trees, matching, automated theorem proving, subsumption
28Volker Haarslev, Ralf Möller 0001, Michael Wessel On Specifying Semantics of Visual Spatial Query Languages. Search on Bibsonomy VL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF visual spatial query languages, semantics of visual spatial query languages, query subsumption, description logic
28Georg Gottlob, Nicola Leone, Francesco Scarcello The Complexity of Acyclic Conjunctive Queries. Search on Bibsonomy FOCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF acyclic hypergraph, join tree, LOGCFL, parallel algorithms, computational complexity, database theory, constraint satisfaction problem, conjunctive query, subsumption, query containment, tree query
28Martina Schollmeyer, Bruce M. McMillin Checking Program Proofs Made Eas. Search on Bibsonomy COMPSAC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF temporal subsumption, proof checking, assertion-based reasoning, formal methods, program verification
28Phyllis G. Frankl, Elaine J. Weyuker A Formal Analysis of the Fault-Detecting Ability of Testing Methods. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF software testing criteria, subdomains, subsumption relation, program testing, system recovery, formal analysis, multisets, fault-detecting ability, probabilistic measures
28Lori A. Clarke, Andy Podgurski, Debra J. Richardson, Steven J. Zeil A Formal Evaluation of Data Flow Path Selection Criteria. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF formal evaluation, data flow path selection criteria, data-flow relationships, subsumption hierarchy, syntactic information, infeasible-path problem, software engineering, flowcharting
28Stefano Ceri, Georg Gottlob, Gio Wiederhold Efficient Database Access from Prolog. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1989 DBLP  DOI  BibTeX  RDF Prolog interpreter, memory-resident database, Prolog facts, subsumption rests, logic programming, relational database, relational databases, Prolog, pattern matching, program interpreters, secondary storage
27Allel HadjAli, Olivier Pivert Towards Fuzzy Query Answering Using Fuzzy Views - A Graded-Subsumption-Based Approach. Search on Bibsonomy ISMIS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Novak Novakovic A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Jing Chen, Qing Li 0001 Concept Hierarchy Construction by Combining Spectral Clustering and Subsumption Estimation. Search on Bibsonomy WISE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
27Ralf Küsters, Ralf Molitor Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF least common subsumer, complexity, description logics
27Megumi Kuwabara, Takeshi Ogawa, Kouichi Hirata, Masateru Harao On Generalization and Subsumption for Ordered Clauses. Search on Bibsonomy JSAI Workshops The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
27Shinichi Nagano, Tetsuo Hasegawa, Akihiko Ohsuga, Shinichi Honiden Dynamic Invocation Model of Web Services Using Subsumption Relations. Search on Bibsonomy ICWS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
27Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito Theta-Subsumption and Resolution: A New Algorithm. Search on Bibsonomy ISMIS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Stefano Ferilli, Nicola Di Mauro, Teresa Maria Altomare Basile, Floriana Esposito A Complete Subsumption Algorithm. Search on Bibsonomy AI*IA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27S. Misbah Deen, Mohammad Al-Qasem A Query Subsumption Technique. Search on Bibsonomy DEXA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
27Miki Hermann, Gernot Salzer On the Word, Subsumption, and Complement Problem for Recurrent Term Schematizations. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Tanel Tammet Towards Efficient Subsumption. Search on Bibsonomy CADE The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Zdravko Markov, Nikolay Pelov A Framework for Inductive Learning Based on Subsumption Lattices. Search on Bibsonomy AIMSA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
27Luc De Raedt, Peter Idestam-Almquist, Gunther Sablon Theta-Subsumption for Structural Matching. Search on Bibsonomy ECML The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 789 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][>>]
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