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