Search results for "subsumption"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Besma Khaireddine, Amani Ayad, Imen Marsit, Ali Mili 0001	Mutation Subsumption as Relative Incorrectness.	QUATIC	2021	DBLP DOI BibTeX RDF
18	Christian Alrabbaa, Willi Hieke, Anni-Yasmin Turhan	Counter Model Transformation for Explaining Non-Subsumption in EL.	FCR@KI	2021	DBLP BibTeX RDF
18	Donald C. Wunsch, Daniel B. Hier	Subsumption reduces dataset dimensionality without decreasing performance of a machine learning classifier.	EMBC	2021	DBLP DOI BibTeX RDF
18	Wenjin Zhang, Nathan J. Edwards	GNOme - Glycan Naming and Subsumption Ontology.	ICBO	2021	DBLP BibTeX RDF
18	Rémi Felin, Andrea G. B. Tettamanzi	Using Grammar-Based Genetic Programming for Mining Subsumption Axioms Involving Complex Class Expressions.	WI/IAT	2021	DBLP DOI BibTeX RDF
18	Francesco Kriegel	Navigating the EL Subsumption Hierarchy.	Description Logics	2021	DBLP BibTeX RDF
18	Theo Ducros, Marinette Bouet, Farouk Toumani	Weak Subsumption in the EL-Description Logic with Refreshing Variables (Extended Abstract).	Description Logics	2021	DBLP BibTeX RDF
18	Ricardo R. Gudwin, Eric Rohmer, André Luis Ogando Paraense, Eduardo Fróes, Wandemberg Gibaut, Klaus Raizer, Aneta Vulgarakis Feljan	A Double-Layer Subsumption Mechanism for Enforcing Sequential Behaviors in a Cognitive Architecture.	SSCI	2021	DBLP DOI BibTeX RDF
18	Alexey Nikolaev	Modeling and Analysis of Affiliation Networks with Subsumption.		2021	RDF
18	Rashmie Abeysinghe, Eugene W. Hinderer, Hunter N. B. Moseley, Licong Cui	SSIF: Subsumption-based Sub-term Inference Framework to audit Gene Ontology.	Bioinform.	2020	DBLP DOI BibTeX RDF
18	Bernhard Gleiss, Laura Kovács, Jakob Rath	Subsumption Demodulation in First-Order Theorem Proving.	CoRR	2020	DBLP BibTeX RDF
18	Mateusz Felczak	Dungeon Pirates of the Postcolonial Seas. Domination, Necropolitics, Subsumption and Critical Play in Pillars of Eternity 2: Deadfire.	Game Stud.	2020	DBLP BibTeX RDF
18	Kamal M. Othman, Ahmad B. Rad	Sequential Localizing and Mapping: A Navigation Strategy via Enhanced Subsumption Architecture.	Sensors	2020	DBLP DOI BibTeX RDF
18	Marcio Augusto Guimarães, Leonardo Fernandes, Márcio Ribeiro 0001, Marcelo d'Amorim, Rohit Gheyi	Optimizing Mutation Testing by Discovering Dynamic Mutant Subsumption Relations.	ICST	2020	DBLP DOI BibTeX RDF
18	Bernhard Gleiss, Laura Kovács, Jakob Rath	Subsumption Demodulation in First-Order Theorem Proving.	IJCAR (1)	2020	DBLP DOI BibTeX RDF
18	Yi Liu, Will N. Browne, Bing Xue 0001	Absumption and subsumption based learning classifier systems.	GECCO	2020	DBLP DOI BibTeX RDF
18	Beatriz Souza	Identifying Mutation Subsumption Relations.	ASE	2020	DBLP DOI BibTeX RDF
18	Dennis Peuter, Viorica Sofronie-Stokkermans	Finding High-Level Explanations for Subsumption w.r.t. Combinations of CBoxes in EL and EL+.	Description Logics	2020	DBLP BibTeX RDF
18	Giovanni Casini, Umberto Straccia, Thomas Meyer 0002	A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure.	Inf. Sci.	2019	DBLP DOI BibTeX RDF
18	Hui Wang 0001, Cees H. Elzinga, Zhiwei Lin 0002, Jordan Vincent	Quantifying sequential subsumption.	Theor. Comput. Sci.	2019	DBLP DOI BibTeX RDF
18	Mark Kaminski, Egor V. Kostylev	Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable.	CoRR	2019	DBLP BibTeX RDF
18	Olivier Bailleux	Subsumption-driven clause learning with DPLL+restarts.	CoRR	2019	DBLP BibTeX RDF
18	Jeffry S. Babb, Leslie J. Waguespack, Amjad Abdullat	Invited Paper: Subsumption of Information Systems Education towards a Discipline of Design.	J. Inf. Syst. Educ.	2019	DBLP BibTeX RDF
18	Cristian Frasinaru, Madalina Raschip	An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem.	CPAIOR	2019	DBLP DOI BibTeX RDF
18	Lennart Beringer, Andrew W. Appel	Abstraction and Subsumption in Modular Verification of C Programs.	FM	2019	DBLP DOI BibTeX RDF
18	Manfred Schmidt-Schauß	A Note on Unification, Subsumption and Unification Type.	Description Logic, Theory Combination, and All That	2019	DBLP DOI BibTeX RDF
18	Yi Liu, Will N. Browne, Bing Xue 0001	Absumption to complement subsumption in learning classifier systems.	GECCO	2019	DBLP DOI BibTeX RDF
18	Giovanni Casini, Michael Harrison, Thomas Meyer 0002, Reid Swan	Arbitrary Ranking of Defeasible Subsumption.	Description Logics	2019	DBLP BibTeX RDF
18	Haoruo Zhao, Uli Sattler, Bijan Parsia	Avoiding Subsumption Tests During Classification Using the Atomic Decomposition.	Description Logics	2019	DBLP BibTeX RDF
18	Hippolyte Léger, Dominique Bouthinon, Mustapha Lebbah, Hanene Azzag	An Instance Based Model for Scalable θ-Subsumption.	Int. J. Artif. Intell. Tools	2018	DBLP DOI BibTeX RDF
18	Giovanni Casini, Umberto Straccia, Thomas Meyer 0002	A Polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure.	CoRR	2018	DBLP BibTeX RDF
18	Ali Parsai, Serge Demeyer	Dynamic Mutant Subsumption Analysis using LittleDarwin.	CoRR	2018	DBLP BibTeX RDF
18	Hans de Nivelle	Subsumption Algorithms for Three-Valued Geometric Resolution.	Log. Methods Comput. Sci.	2018	DBLP DOI BibTeX RDF
18	Nicolas Matentzoglu, Bijan Parsia, Uli Sattler	OWL Reasoning: Subsumption Test Hardness and Modularity.	J. Autom. Reason.	2018	DBLP DOI BibTeX RDF
18	Mouna Kamel, Daniela Schmidt, Cássia Trojahn, Renata Vieira	Exploiting BabelNet for generating subsumption.	OM@ISWC	2018	DBLP BibTeX RDF
18	Russa Biswas, Maria Koutraki, Harald Sack	Exploiting Equivalence to Infer Type Subsumption in Linked Graphs.	ESWC (Satellite Events)	2018	DBLP DOI BibTeX RDF
18	Caili Zhang, Takato Tatsumi, Hiyoyuki Sato, Tim Kovacs, Keiki Takadama	Classifier generalization for comprehensive classifiers subsumption in XCS.	GECCO (Companion)	2018	DBLP DOI BibTeX RDF
18	Jieying Chen, Michel Ludwig, Dirk Walther 0002	Computing Minimal Subsumption Modules of Ontologies.	GCAI	2018	DBLP DOI BibTeX RDF
18	Katarina Britz, Ivan José Varzinczak	Rationality and Context in Defeasible Subsumption.	FoIKS	2018	DBLP DOI BibTeX RDF
18	Hoang Gia Nguyen, Laure Petrucci, Jaco van de Pol	Layered and Collecting NDFS with Subsumption for Parametric Timed Automata.	ICECCS	2018	DBLP DOI BibTeX RDF
18	Claude Sammut	Subsumption.	Encyclopedia of Machine Learning and Data Mining	2017	DBLP DOI BibTeX RDF
18	Viorica Sofronie-Stokkermans	Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics ɛℒ, ɛℒ+ and their Extensions with n-ary Roles and Numerical Domains.	Fundam. Informaticae	2017	DBLP DOI BibTeX RDF
18	David Windridge	Emergent Intentionality in Perception-Action Subsumption Hierarchies.	Frontiers Robotics AI	2017	DBLP DOI BibTeX RDF
18	Michele Colledanchise, Petter Ögren	How Behavior Trees Modularize Hybrid Control Systems and Generalize Sequential Behavior Compositions, the Subsumption Architecture, and Decision Trees.	IEEE Trans. Robotics	2017	DBLP DOI BibTeX RDF
18	Jeffrey Kane Johnson	Image Space Potential Fields: Constant Size Environment Representation for Vision-based Subsumption Control Architectures.	CoRR	2017	DBLP BibTeX RDF
18	Cristian Frasinaru, Madalina Raschip	An Improved Subsumption Testing Algorithm for the Optimal-Size Sorting Network Problem.	CoRR	2017	DBLP BibTeX RDF
18	Hans de Nivelle	Subsumption Algorithms for Three-Valued Geometric Resolution.	CoRR	2017	DBLP BibTeX RDF
18	Tomasz Tajmajer	Multi-Objective Deep Q-Learning with Subsumption Architecture.	CoRR	2017	DBLP BibTeX RDF
18	Andrew Matusiewicz, Neil V. Murray, Paul W. Olsen, Erik Rosenthal	Computing prime implicates by pruning the search space and accelerating subsumption.	J. Log. Comput.	2017	DBLP DOI BibTeX RDF
18	Fernando Bobillo, Carlos Bobed, Eduardo Mena	On the generalization of the discovery of subsumption relationships to the fuzzy case.	FUZZ-IEEE	2017	DBLP DOI BibTeX RDF
18	Olivier Carloni	Fast Subsumption Between Rooted Labeled Trees.	KSEM	2017	DBLP DOI BibTeX RDF
18	Ali Parsai, Serge Demeyer	Dynamic mutant subsumption analysis using LittleDarwin.	A-TEST@ESEC/SIGSOFT FSE	2017	DBLP DOI BibTeX RDF
18	Hippolyte Léger, Dominique Bouthinon, Mustapha Lebbah, Hanene Azzag	An Instance Based Model for Scalable Theta -Subsumption.	ICTAI	2017	DBLP DOI BibTeX RDF
18	Philippe Besnard, Victor David, Sylvie Doutre, Dominique Longin	Subsumption and Incompatibility between Principles in Ranking-Based Argumentation.	ICTAI	2017	DBLP DOI BibTeX RDF
18	Katarina Britz, Ivan José Varzinczak	Context-based defeasible subsumption for dSROIQ.	COMMONSENSE	2017	DBLP BibTeX RDF
18	Audun Vennesland	Matcher composition for identification of subsumption relations in ontology matching.	WI	2017	DBLP DOI BibTeX RDF
18	Dohyun Kim, Younghee Lee	Isolation-based subsumption reasoning with enormous volume of web ontologies for scalable semantic service discovery.	Int. J. Comput. Sci. Eng.	2016	DBLP DOI BibTeX RDF
18	Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara	Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers.	IEICE Trans. Inf. Syst.	2016	DBLP DOI BibTeX RDF
18	Espen Oland, Tom Stian Andersen, Raymond Kristiansen	Subsumption architecture applied to flight control using composite rotations.	Autom.	2016	DBLP DOI BibTeX RDF
18	Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers	Tabling with Sound Answer Subsumption.	CoRR	2016	DBLP BibTeX RDF
18	Charles E. Kahn Jr.	Transitive closure of subsumption and causal relations in a large ontology of radiological diagnosis.	J. Biomed. Informatics	2016	DBLP DOI BibTeX RDF
18	Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers	Tabling with Sound Answer Subsumption.	Theory Pract. Log. Program.	2016	DBLP DOI BibTeX RDF
18	Yuexin Wu, Chunxiao Fan 0001	A gene based semantic encoding method for subsumption testing and LCA detection.	IC-NIDC	2016	DBLP DOI BibTeX RDF
18	David Chen 0002, René Hexel, Fawad Riasat Raja	Engineering Real-Time Communication Through Time-triggered Subsumption - Towards Flexibility with INCUS and LLFSMs.	ENASE	2016	DBLP DOI BibTeX RDF
18	Minglong Li, Xiaodong Yi 0002, Yanzhen Wang, Zhongxuan Cai, Yongjun Zhang	Subsumption model implemented on ROS for mobile robots.	SysCon	2016	DBLP DOI BibTeX RDF
18	Ali Seyed	Subsumption Preservation as a Comparative Measure for Evaluating Sense-Directed Embeddings.	RepEval@ACL	2016	DBLP DOI BibTeX RDF
18	Giles Reger, Martin Suda 0001	Global Subsumption Revisited (Briefly).	Vampire@IJCAR	2016	DBLP DOI BibTeX RDF
18	Hans de Nivelle	Subsumption Algorithms for Three-Valued Geometric Resolution.	IJCAR	2016	DBLP DOI BibTeX RDF
18	Boontawee Suntisrivaraporn, Suwan Tongphu	A Structural Subsumption based Similarity Measure for the Description Logic ALEH.	ICAART (2)	2016	DBLP DOI BibTeX RDF
18	Hendrik Blockeel, Svetlana Valevich	A Simple Framework for Theta-Subsumption Testing in Prolog.	ILP (Short Papers)	2016	DBLP BibTeX RDF
18	Hippolyte Léger, Dominique Bouthinon, Mustapha Lebbah, Hanene Azzag-Khelif	A new Model for Scalable θ-subsumption.	ILP (Short Papers)	2016	DBLP BibTeX RDF
18	Jieying Chen, Michel Ludwig, Dirk Walther 0002	On Computing Minimal EL-Subsumption Modules.	JOWO@FOIS	2016	DBLP BibTeX RDF
18	Kyriakos Kritikos, Dimitris Plexousakis	Subsumption Reasoning for QoS-Based Service Matchmaking.	ESOCC	2016	DBLP DOI BibTeX RDF
18	Lijun Mei, Yan Cai 0001, Changjiang Jia, Bo Jiang 0001, Wing Kwong Chan, Zhenyu Zhang 0004, T. H. Tse	A Subsumption Hierarchy of Test Case Prioritization for Composite Services.	IEEE Trans. Serv. Comput.	2015	DBLP DOI BibTeX RDF
18	Nansu Zong, Sejin Nam, Jae-Hong Eom, Jinhyun Ahn, Hyunwhan Joe, Hong-Gee Kim	Aligning ontologies with subsumption and equivalence relations in Linked Data.	Knowl. Based Syst.	2015	DBLP DOI BibTeX RDF
18	Adam Linson, Chris Dobbyn, George E. Lewis, Robin C. Laney	A Subsumption Agent for Collaborative Free Improvisation.	Comput. Music. J.	2015	DBLP DOI BibTeX RDF
18	C. Maria Keet, E. A. Nasubo Ongoma	Temporal Attributes: Status and Subsumption.	APCCM	2015	DBLP BibTeX RDF
18	Alex Sandro da Cunha Rego, Leandro Balby Marinho, Carlos Eduardo S. Pires	A supervised learning approach to detect subsumption relations between tags in folksonomies.	SAC	2015	DBLP DOI BibTeX RDF
18	Allan M. Axelrod, Hassan A. Kingravi, Girish V. Chowdhary 0001	Gaussian process based subsumption of a parasitic control component.	ACC	2015	DBLP DOI BibTeX RDF
18	Bob Kurtz, Paul Ammann, Jeff Offutt	Static analysis of mutant subsumption.	ICST Workshops	2015	DBLP DOI BibTeX RDF
18	Dana Movshovitz-Attias, Steven Euijong Whang, Natalya Fridman Noy, Alon Y. Halevy	Discovering Subsumption Relationships for Web-Based Ontologies.	WebDB	2015	DBLP DOI BibTeX RDF
18	Alexander Prohaska, Christos Tryfonopoulos, Georgiana Ifrim	Constructing Subsumption Hierarchies of Web Queries.	USEWOD-PROFILES@ESWC	2015	DBLP BibTeX RDF
18	Daniel R. Schlegel, Stuart C. Shapiro	Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner.	AAAI	2015	DBLP DOI BibTeX RDF
18	Roberto Yus, Eduardo Mena, Enrique Solano-Bes	Generic Rules for the Discovery of Subsumption Relationships Based on Ontological Contexts.	WI-IAT (1)	2015	DBLP DOI BibTeX RDF
18	Nicolas Matentzoglu, Uli Sattler, Bijan Parsia	Empirical Investigation of Subsumption Test Hardness in Description Logic Classification.	Description Logics	2015	DBLP BibTeX RDF
18	Stefan Borgwardt, Marco Cerami, Rafael Peñaloza	The Complexity of Subsumption in Fuzzy EL.	IJCAI	2015	DBLP BibTeX RDF
18	Jia Xu, E. Patrick Shironoshita, Ubbo Visser, Nigel M. John, Mansur R. Kabuka	Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies.	CoRR	2014	DBLP BibTeX RDF
18	Daniel Gorín, Lutz Schröder	Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics.	CoRR	2014	DBLP BibTeX RDF
18	David Toth	Imparo is complete by inverse subsumption.	CoRR	2014	DBLP BibTeX RDF
18	Suwan Tongphu, Boontawee Suntisrivaraporn	On Desirable Properties of the Structural Subsumption-Based Similarity Measure.	JIST	2014	DBLP DOI BibTeX RDF
18	Bob Kurtz, Paul Ammann, Márcio Eduardo Delamaro, Jeff Offutt, Lin Deng 0001	Mutant Subsumption Graphs.	ICST Workshops	2014	DBLP DOI BibTeX RDF
18	Jia Xu, Ubbo Visser, Mansur R. Kabuka	Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies.	AAAI	2014	DBLP DOI BibTeX RDF
18	Daniel Gorín, Lutz Schröder	Subsumption Checking in Conjunctive Coalgebraic Fixpoint Logics.	Advances in Modal Logic	2014	DBLP BibTeX RDF
18	Sonia Kefi, Ilhem Kallel, Adel M. Alimi	Hybrid planning approaches for multirobot systems: A review and a proposal of a MultiAgent subsumption simulation.	HIS	2014	DBLP DOI BibTeX RDF
18	Roderick Bloem, Sharad Malik, Matthias Schlaipfer, Georg Weissenbacher	Reduction of Resolution Refutations and Interpolants via Subsumption.	Haifa Verification Conference	2014	DBLP DOI BibTeX RDF
18	Tim Miller 0001, Peter McBurney	Efficient storage and retrieval in agent protocol libraries using subsumption hierarchies.	Multiagent Grid Syst.	2013	DBLP DOI BibTeX RDF
18	Eufemia Tinelli, Francesco M. Donini, Eugenio Di Sciascio	Compiling subsumption to relational databases.	Intelligenza Artificiale	2013	DBLP DOI BibTeX RDF
18	Guilin Qi, Zhizheng Zhang 0002	Preferential Semantics for Plausible Subsumption in Possibility Theory.	Minds Mach.	2013	DBLP DOI BibTeX RDF
18	John Yen, Piero P. Bonissone	Extending Term Subsumption systems for Uncertainty Management	CoRR	2013	DBLP BibTeX RDF
18	Viorica Sofronie-Stokkermans	Locality and applications to subsumption testing and interpolation in $\mathcal{EL}$ and some of its extensions.	CoRR	2013	DBLP BibTeX RDF