Search results for "subsumption"

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