Search results for "subsumption"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	Venky Harinarayan, Ashish Gupta 0001	Optimization Using Tuple Subsumption.	ICDT	1995	DBLP DOI BibTeX RDF
27	Werner Kießling, Ulrich Güntzer	Database Reasoning - A Deductive Framework for Solving Large and Complex Problems by Means of Subsumption.	IS/KI	1994	DBLP DOI BibTeX RDF
27	Patrick R. J. van der Laag, Shan-Hwei Nienhuys-Cheng	Subsumption and Refinement in Model Inference.	ECML	1993	DBLP DOI BibTeX RDF
27	François Barthélemy, Éric Villemonte de la Clergerie	Subsumption-oriented Push-Down Automata.	PLILP	1992	DBLP DOI BibTeX RDF
27	Pierre-Louis Curien, Giorgio Ghelli	Coherence of Subsumption.	CAAP	1990	DBLP DOI BibTeX RDF
20	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic execution with abstraction.	Int. J. Softw. Tools Technol. Transf.	2009	DBLP DOI BibTeX RDF
20	Jianfeng Du, Guilin Qi, Qiu Ji	Goal-Directed Module Extraction for Explaining OWL DL Entailments.	ISWC	2009	DBLP DOI BibTeX RDF
20	Hojjat Jafarpour, Sharad Mehrotra, Nalini Venkatasubramanian, Mirko Montanari	MICS: an efficient content space representation model for publish/subscribe systems.	DEBS	2009	DBLP DOI BibTeX RDF	publish/subscribe, event notification
20	Sean McLaughlin, Frank Pfenning	Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method.	CADE	2009	DBLP DOI BibTeX RDF
20	HyoJung Han, Fabio Somenzi	On-the-Fly Clause Improvement.	SAT	2009	DBLP DOI BibTeX RDF
20	Yannis Theoharis, Yannis Tzitzikas, Dimitris Kotzinos, Vassilis Christophides	On Graph Features of Semantic Web Schemas.	IEEE Trans. Knowl. Data Eng.	2008	DBLP DOI BibTeX RDF	conceptual schemas morphology, Semantic Web, power-laws
20	Muhammad Fahad 0011, Muhammad Abdul Qadir 0001, Syed Adnan Hussain Shah	Evaluation of Ontologies and DL Reasoners.	Intelligent Information Processing	2008	DBLP DOI BibTeX RDF
20	Steven C. S. Ng, Allan K. Y. Wong	RCR - A Novel Model for Effective Computer-Aided TCM (Traditional Chinese Medicine) Learning over the Web.	CSSE (5)	2008	DBLP DOI BibTeX RDF
20	Benjamin M. Good, Mark D. Wilkinson	Ontology engineering using volunteer labor.	WWW	2007	DBLP DOI BibTeX RDF	semantic web, knowledge acquisition, ontology engineering
20	Changrui Yu, Yan Luo	Term Consistency Checking of Ontology Model Based on Description Logics.	KSEM	2007	DBLP DOI BibTeX RDF
20	Michel Liquiere	Arc Consistency Projection: A New Generalization Relation for Graphs.	ICCS	2007	DBLP DOI BibTeX RDF
20	Cliff A. Joslyn, Karin Verspoor, Damian Gessler	Knowledge Integration in OpenWorlds: Utilizing the Mathematics of Hierarchical Structure.	ICSC	2007	DBLP DOI BibTeX RDF
20	Myunghee Kim	The First Step in a Self-Assembling Process in a System: A Picking-Up a Module Algorithm.	ICNSC	2007	DBLP DOI BibTeX RDF
20	Michael Botros	Evolving Complex Robotic Behaviors Using Genetic Programming.	Genetic Systems Programming	2006	DBLP DOI BibTeX RDF
20	Pramod G. Joisha	Compiler optimizations for nondeferred reference-counting garbage collection.	ISMM	2006	DBLP DOI BibTeX RDF	static analyses, reference counting
20	Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn	CEL - A Polynomial-Time Reasoner for Life Science Ontologies.	IJCAR	2006	DBLP DOI BibTeX RDF
20	Gang Wu, Kuo Zhang, Can Liu, Juan-Zi Li	Adapting Prime Number Labeling Scheme for Directed Acyclic Graphs.	DASFAA	2006	DBLP DOI BibTeX RDF
20	Yannis Theoharis, Vassilis Christophides, Gregory Karvounarakis	Benchmarking Database Representations of RDF/S Stores.	ISWC	2005	DBLP DOI BibTeX RDF
20	Vasile Rus, Arthur C. Graesser, Philip M. McCarthy, King-Ip (David) Lin	A Study on Textual Entailment.	ICTAI	2005	DBLP DOI BibTeX RDF
20	Hyoung Seok Hong, Hasan Ural	Using Model Checking for Reducing the Cost of Test Generation.	FATES	2004	DBLP DOI BibTeX RDF
20	Franz Baader, Baris Sertkaya	Applying Formal Concept Analysis to Description Logics.	ICFCA	2004	DBLP DOI BibTeX RDF
20	Nwe Ni Tun, Satoshi Tojo	Inheritance of Multiple Identity Conditions in Order-Sorted Logic.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
20	Jae C. Oh, Madhura S. Tamhankar, Daniel Mossé	Design of Very Lightweight Agents for Reactive Embedded Systems.	ECBS	2003	DBLP DOI BibTeX RDF
20	Sebastian Brandt 0001, Anni-Yasmin Turhan, Ralf Küsters	Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles.	LPAR	2003	DBLP DOI BibTeX RDF
20	Christel Kemke	A Formal Approach to Describing Action Concepts in Taxonomical Knowledge Bases.	ISMIS	2003	DBLP DOI BibTeX RDF
20	Vassilis Christophides, Dimitris Plexousakis, Michel Scholl, Sotirios Tourtounis	On labeling schemes for the semantic web.	WWW	2003	DBLP DOI BibTeX RDF
20	Christel Kemke	A Formal Theory for Describing Action Concepts in Terminological Knowledge Bases.	AI	2003	DBLP DOI BibTeX RDF
20	Oliver Ray, Krysia Broda, Alessandra Russo	Hybrid Abductive Inductive Learning: A Generalisation of Progol.	ILP	2003	DBLP DOI BibTeX RDF
20	Jin Uemura, Masako Sato	Compactness and Learning of Classes of Unions of Erasing Regular Pattern Languages.	ALT	2002	DBLP DOI BibTeX RDF
20	Henry Hexmoor	Evolution of Agent Architectures.	WRAC	2002	DBLP DOI BibTeX RDF
20	Éric Grégoire	Fusing Cooperative Technical-Specification Knowledge Components.	ICTAI	2002	DBLP DOI BibTeX RDF
20	Gang Chen	Full integration of subtyping and if-expression.	PPDP	2002	DBLP DOI BibTeX RDF	if-expression, Java, subtyping, type checking
20	Jörg-Uwe Kietz	Learnability of Description Logic Programs.	ILP	2002	DBLP DOI BibTeX RDF
20	Miguel A. Gutiérrez-Naranjo, José A. Alonso-Jiménez, Joaquín Borrego-Díaz	A Quasi-Metric for Machine Learning.	IBERAMIA	2002	DBLP DOI BibTeX RDF
20	Yolanda Gil, Surya Ramachandran	PHOSPHORUS: a task-based agent matchmaker.	Agents	2001	DBLP DOI BibTeX RDF
20	Peter Geibel, Fritz Wysotzki	Graphbasierte Lernverfahren für relationale Daten.	Inform. Forsch. Entwickl.	2000	DBLP DOI BibTeX RDF	Künstliche Intelligenz, Maschinelles Lernen, Graphen, Induktive Logische Programmierung, Entscheidungsbaumverfahren, Subsumtion, LGG, Knowledge Discovery in Databases
20	Mathieu Roger, Ana Simonet, Michel Simonet	A Description Logics-Like Model for a Knowledge and Data Management System.	DEXA	2000	DBLP DOI BibTeX RDF
20	Akihiro Yamamoto, Bertram Fronhöfer	Hypotheses Finding via Residue Hypotheses with the Resolution Principle.	ALT	2000	DBLP DOI BibTeX RDF
20	Saurabh Sinha, Mary Jean Harrold	Criteria for Testing Exception-Handling Constructs in Java Programs.	ICSM	1999	DBLP DOI BibTeX RDF
20	Reinhard Pichler	Completeness and Redundancy in Constrained Clause Logic.	FTP (LNCS Selection)	1998	DBLP DOI BibTeX RDF
20	Luigi Liquori	An Extended Theory of Primitive Objects: FIrst Order System.	ECOOP	1997	DBLP DOI BibTeX RDF	design and semantics of object-oriented languages, Type systems
20	Eva Armengol, Enric Plaza	Induction of Feature Terms With INDIE.	ECML	1997	DBLP DOI BibTeX RDF
20	Floriana Esposito, Donato Malerba, Giovanni Semeraro	Traps and Pitfalls when Learning Logical Definitions from Relations.	ISMIS	1994	DBLP DOI BibTeX RDF
20	Patrick R. J. van der Laag, Shan-Hwei Nienhuys-Cheng	Existence and Nonexistence of Complete Refinement Operators.	ECML	1994	DBLP DOI BibTeX RDF
20	Peter Jackson	Computing Prime Implicates Incrementally.	CADE	1992	DBLP DOI BibTeX RDF
20	Hans Leiß	Polymorphic Constructs in Natural and Programming Languages.	JELIA	1990	DBLP DOI BibTeX RDF
20	V. S. Subrahmanian	Algebraic Properties of The Space of Multivalued and Paraconsistent Logic Programs.	FSTTCS	1989	DBLP DOI BibTeX RDF
19	Raymond Y. K. Lau, Chapmann C. L. Lai, Yuefeng Li	Mining Fuzzy Ontology for a Web-Based Granular Information Retrieval System.	RSKT	2009	DBLP DOI BibTeX RDF	Fuzzy Domain Ontology, Fuzzy Subsumption, Granular IR Systems, Information Retrieval, Granular Computing
19	Pradeep Kumar Duraisamy Soundrapandian	Alias count facilitate ownership transfer.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	alias count, reference exposure, aliasing, subsumption, ownership transfer, dangling pointer
19	Ilias Michalarias, Christian Becker 0009	Multidimensional querying in wireless ad hoc networks.	SAC	2007	DBLP DOI BibTeX RDF	mOLAP, MANET, subsumption
19	Derek Messie, Mina Jung, Jae C. Oh, Shweta Shetty, Steven Nordstrom, Michael Haney	Prototype of fault adaptive embedded software for large-scale real-time systems.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Large-scale real-time systems, Multi-agent systems, Embedded systems, Subsumption architecture
19	Salima Benbernou, Mohand-Said Hacid	Resolution and Constraint Propagation for Semantic Web Services Discovery.	Distributed Parallel Databases	2005	DBLP DOI BibTeX RDF	constrained rules, semantic web services, resolution, subsumption
19	Anna Formica, Michele Missikoff	Inheritance processing and conflicts in structural generalization hierarchies.	ACM Comput. Surv.	2004	DBLP DOI BibTeX RDF	Generalization hierarchies, structural conceptual modeling, inheritance, subtyping, subsumption, subclassing
19	Vitaliy L. Khizder, Grant E. Weddell	Reasoning about Uniqueness Constraints in Object Relational Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	uniqueness constraints, subsumption algorithms, description logics, Complex objects, object relational databases, semantic query optimization
19	Georg Gottlob, Nicola Leone, Francesco Scarcello	The complexity of acyclic conjunctive queries.	J. ACM	2001	DBLP DOI BibTeX RDF	LOGCFL, acyclic hypergraph, degree of cyclicity, hinge, join tree, qury-idth, algorithm, parallel algorithm, constraint, CSP, database theory, constraint satisfaction problem, conjunctive query, subsumption, query containment, bounded treewidth, tree query
19	Kevin Chen-Chuan Chang, Hector Garcia-Molina, Andreas Paepcke	Predicate Rewriting for Translating Boolean Queries in a Heterogeneous Information System.	ACM Trans. Inf. Syst.	1999	DBLP DOI BibTeX RDF	predicate rewriting, query subsumption, filtering, content-based retrieval, query translation, Boolean queries
19	Mark Sanderson, W. Bruce Croft	Deriving Concept Hierarchies from Text.	SIGIR	1999	DBLP DOI BibTeX RDF	multi-document summary, term co-occurence, concept hierarchy, subsumption
19	Kevin Chen-Chuan Chang, Hector Garcia-Molina, Andreas Paepcke	Boolean Query Mapping Across Heterogeneous Information Sources.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	query subsumption, information retrieval, digital libraries, filtering, heterogeneity, query translation, Boolean queries
19	Wesley W. Chu, Qiming Chen	A Structured Approach for Cooperative Query Answering.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	cooperative query answering, type abstraction hierarchy, cooperative query answers, type hierarchy, multilevel object representation, CSQL, type abstraction, knowledge representation, knowledge representation, query processing, relational databases, SQL, SQL, composition, generalization, query languages, query language, database theory, deductive databases, deductive database, association, granularity, query rewrite, specialization, subsumption, semantic information, query relaxation
19	Howard W. Beck, Tarek M. Anwar, Shamkant B. Navathe	A Conceptual Clustering Algorithm for Database Schema Design.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	conceptual clustering algorithm, database schema design, complex clusters, class descriptions, default values, family resemblance, class cohesion, subsumption function, realization function, exception condition, schema modification, schema generation, view creation, machine learning, learning (artificial intelligence), data structures, query processing, query processing, database management systems, exception handling, exception handling, case-based reasoning, case-based reasoning, database theory, categorization, operating systems (computers), INTERSECT, schema integration, analogical reasoning, explanation-based learning
19	Martin Staudt 0001, Hans W. Nissen, Manfred A. Jeusfeld	Query by class, rule, and concept.	Appl. Intell.	1994	DBLP DOI BibTeX RDF	intensional updates, Query languages, object-oriented databases, deductive databases, view maintenance, subsumption
19	A. Ghazal, Aris M. Ouksel	Termination of programs in constraint query languages.	SAC	1994	DBLP DOI BibTeX RDF	logic expressions, termination, probabilistic algorithms, subsumption
19	Gerard Ellis	Efficient Retrieval from Hierarchies of Objects using Lattice Operations.	ICCS	1993	DBLP DOI BibTeX RDF	Lattice Operations, Term Encoding, Classification, Subsumption
19	David W. Payton, David M. Keirsey, Dan M. Kimble, Jimmy Krozel, Julio K. Rosenblatt	Do whatever works: A robust approach to fault-tolerant autonomous control.	Appl. Intell.	1992	DBLP DOI BibTeX RDF	Hopfield nets, situated activity, unmanned underwater vehicles, fault tolerance, Intelligent agents, mobile robots, subsumption architecture
19	Emmanuel Kounalis, Denis Lugiez, Loic Pottier	A Solution of the Complement Problem in Associative-Commutative Theories.	MFCS	1991	DBLP DOI BibTeX RDF	The Subsumption Lattice of First-Order terms, Associative and Commutative Reasoning, AC-Disunification, Pattern-Matching, Inductive Learning, Sufficient-Completeness
18	Robin Coutelier, Laura Kovács, Michael Rawson 0001, Jakob Rath	SAT-Based Subsumption Resolution.	CoRR	2024	DBLP DOI BibTeX RDF
18	Yukihiro Shiraishi, Ken Kaneiwa	A Self-matching Training Method with Annotation Embedding Models for Ontology Subsumption Prediction.	CoRR	2024	DBLP DOI BibTeX RDF
18	Jiaoyan Chen, Yuan He 0008, Yuxia Geng, Ernesto Jiménez-Ruiz, Hang Dong 0002, Ian Horrocks 0001	Contextual semantic embeddings for ontology subsumption prediction.	World Wide Web (WWW)	2023	DBLP DOI BibTeX RDF
18	Yuan He 0008, Jiaoyan Chen, Ernesto Jiménez-Ruiz, Hang Dong 0002, Ian Horrocks 0001	Language Model Analysis for Ontology Subsumption Inference.	CoRR	2023	DBLP DOI BibTeX RDF
18	Marcos Lordello Chaim, Kesina Baral, Jeff Offutt, Mario Concilio Neto, Roberto Paulo Andrioli de Araujo	On subsumption relationships in data flow testing.	Softw. Test. Verification Reliab.	2023	DBLP DOI BibTeX RDF
18	Yuan He 0008, Jiaoyan Chen, Ernesto Jiménez-Ruiz, Hang Dong 0002, Ian Horrocks 0001	OntoLAMA: LAnguage Model Analysis for Ontology Subsumption Inference.		2023	DOI RDF
18	Yuan He 0008, Jiaoyan Chen, Hang Dong 0002, Ernesto Jiménez-Ruiz, Ali Hadian 0001, Ian Horrocks 0001	Bio-ML: Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching.		2023	DOI RDF
18	Allen Van Gelder	Subsumption-Linear Q-Resolution for QBF Theorem Proving.	WoLLIC	2023	DBLP DOI BibTeX RDF
18	Jingchuan Shi, Jiaoyan Chen, Hang Dong 0002, Ishita Khan, Lizzie Liang, Qunzhi Zhou, Zhe Wu, Ian Horrocks 0001	Subsumption Prediction for E-Commerce Taxonomies.	ESWC	2023	DBLP DOI BibTeX RDF
18	Xiao Li, Eric Chan, Mohsen Lesani	Quorum Subsumption for Heterogeneous Quorum Systems.	DISC	2023	DBLP DOI BibTeX RDF
18	Robin Coutelier, Laura Kovács, Michael Rawson 0001, Jakob Rath	SAT-Based Subsumption Resolution.	CADE	2023	DBLP DOI BibTeX RDF
18	Yi Liu, Yu Cui, Will N. Browne, Bing Xue 0001, Wen Cheng, Yong Li, Lingfang Zeng	Absumption and Subsumption based Learning Classifier System for Real-World Continuous-based Problems.	GECCO Companion	2023	DBLP DOI BibTeX RDF
18	Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan	Deciding Subsumption in Defeasible $\mathcal {ELI}_\bot $ with Typicality Models.	JELIA	2023	DBLP DOI BibTeX RDF
18	Yuan He 0008, Jiaoyan Chen, Ernesto Jiménez-Ruiz, Hang Dong 0002, Ian Horrocks 0001	Language Model Analysis for Ontology Subsumption Inference.	ACL (Findings)	2023	DBLP DOI BibTeX RDF
18	Jiaoyan Chen, Yuan He 0008, Ernesto Jiménez-Ruiz, Hang Dong 0002, Ian Horrocks 0001	Contextual Semantic Embeddings for Ontology Subsumption Prediction.	CoRR	2022	DBLP BibTeX RDF
18	Yuan He 0008, Jiaoyan Chen, Hang Dong 0002, Ernesto Jiménez-Ruiz, Ali Hadian 0001, Ian Horrocks 0001	Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching.	CoRR	2022	DBLP DOI BibTeX RDF
18	Yuan He 0008, Jiaoyan Chen, Hang Dong 0002, Ernesto Jiménez-Ruiz, Ali Hadian 0001, Ian Horrocks 0001	Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching.		2022	DOI RDF
18	Yuan He 0008, Jiaoyan Chen, Hang Dong 0002, Ernesto Jiménez-Ruiz, Ali Hadian 0001, Ian Horrocks 0001	Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching.		2022	DOI RDF
18	Yuan He 0008, Jiaoyan Chen, Hang Dong 0002, Ernesto Jiménez-Ruiz, Ali Hadian 0001, Ian Horrocks 0001	Machine Learning-Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching.	ISWC	2022	DBLP DOI BibTeX RDF
18	Ignacio Bettosini, Agustín Clavelli, Guillermo Trinidad Barnech, Jorge Visca, Facundo Benavides	Torocó: A Subsumption Architecture Implementation.	ICARA	2022	DBLP DOI BibTeX RDF
18	Igor de Camargo e Souza Câmara, Anni-Yasmin Turhan	Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI⊥.	NMR	2022	DBLP BibTeX RDF
18	Martin Bromberger, Lorenz Leutgeb, Christoph Weidenbach	An Efficient Subsumption Test Pipeline for BS(LRA) Clauses.	IJCAR	2022	DBLP DOI BibTeX RDF
18	Dennis Lopes Da Silva, Marcos Lordello Chaim, Higor Amario de Souza	Data flow Subsumption and its Impact on Spectrum-based Fault Localization.	SAST	2022	DBLP DOI BibTeX RDF
18	Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili 0001	Generalized Mutant Subsumption.	ICSOFT	2022	DBLP DOI BibTeX RDF
18	Samia Al Blwi, Imen Marsit, Besma Khaireddine, Amani Ayad, Ji Meng Loh, Ali Mili 0001	Three Forms of Mutant Subsumption: Basic, Strict and Broad.	ICSOFT (Selected Papers)	2022	DBLP DOI BibTeX RDF
18	Jakob Rath, Armin Biere, Laura Kovács	First-Order Subsumption via SAT Solving.	FMCAD	2022	DBLP DOI BibTeX RDF
18	Bruno Blanchet, Vincent Cheval, Véronique Cortier	ProVerif with Lemmas, Induction, Fast Subsumption, and Much More.	SP	2022	DBLP DOI BibTeX RDF
18	Lennart Beringer, Andrew W. Appel	Abstraction and subsumption in modular verification of C programs.	Formal Methods Syst. Des.	2021	DBLP DOI BibTeX RDF
18	Marcos Lordello Chaim, Kesina Baral, Jeff Offutt	A Data Flow Analysis Framework for Data Flow Subsumption.	CoRR	2021	DBLP BibTeX RDF
18	Rohit Gheyi, Márcio Ribeiro 0001, Beatriz Souza, Marcio Augusto Guimarães, Leo Fernandes, Marcelo d'Amorim, Vander Alves, Leopoldo Teixeira, Baldoino Fonseca	Identifying method-level mutation subsumption relations using Z3.	Inf. Softw. Technol.	2021	DBLP DOI BibTeX RDF