Search results for "subsumption"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Viorica Sofronie-Stokkermans	Locality and Applications to Subsumption Testing in EL and Some of its Extensions.	Sci. Ann. Comput. Sci.	2013	DBLP DOI BibTeX RDF
18	Jeroen de Knijff, Flavius Frasincar, Frederik Hogenboom	Domain taxonomy learning from text: The subsumption method versus hierarchical clustering.	Data Knowl. Eng.	2013	DBLP DOI BibTeX RDF
18	Du Zhang	Learning through overcoming incompatible and anti-subsumption inconsistencies.	ICCI*CC	2013	DBLP DOI BibTeX RDF
18	Stephan Schulz 0001	Simple and Efficient Clause Subsumption with Feature Vector Indexing.	Automated Reasoning and Mathematics	2013	DBLP DOI BibTeX RDF
18	Jay Thor Turner, Sidney N. Givigi, Alain Beaulieu	Implementation of a subsumption based architecture using model-driven development.	SysCon	2013	DBLP DOI BibTeX RDF
18	Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara	Determinacy and Subsumption for Single-Valued Bottom-Up Tree Transducers.	LATA	2013	DBLP DOI BibTeX RDF
18	Ari Saptawijaya, Luís Moniz Pereira	Program Updating by Incremental and Answer Subsumption Tabling.	LPNMR	2013	DBLP DOI BibTeX RDF
18	Akimasa Otsuka, Fusaomi Nagata, Maki K. Habib, Keigo Watanabe	Evaluation of subsumption architecture controller by wireless multiple mobile robots system.	IECON	2013	DBLP DOI BibTeX RDF
18	Hsuan-Ta Lin, Po-Ming Lee, Tzu-Chien Hsiao	The subsumption mechanism for XCS using code fragmented conditions.	GECCO (Companion)	2013	DBLP DOI BibTeX RDF
18	Aris M. Ouksel, Doug Lundquist	Probabilistic source-based query subsumption in vehicular ad hoc networks.	ITSC	2013	DBLP DOI BibTeX RDF
18	Stefan Borgwardt, Rafael Peñaloza	About Subsumption in Fuzzy EL.	Description Logics	2013	DBLP BibTeX RDF
18	Ganesh Ram Santhanam, Samik Basu 0001, Vasant G. Honavar	Verifying Preferential Equivalence and Subsumption via Model Checking.	ADT	2013	DBLP DOI BibTeX RDF
18	Licong Cui, Remo Mueller, Satya Sanket Sahoo, Guo-Qiang Zhang 0001	Querying Complex Federated Clinical Data Using Ontological Mapping and Subsumption Reasoning.	ICHI	2013	DBLP DOI BibTeX RDF
18	Stefan Borgwardt, Rafael Peñaloza	Positive Subsumption in Fuzzy EL with General t-Norms.	IJCAI	2013	DBLP BibTeX RDF
18	Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma	Inverse subsumption for complete explanatory induction.	Mach. Learn.	2012	DBLP DOI BibTeX RDF
18	Fei Zheng 0001, Geoffrey I. Webb, Pramuditha Suraweera, Liguang Zhu	Subsumption resolution: an efficient and effective technique for semi-naive Bayesian learning.	Mach. Learn.	2012	DBLP DOI BibTeX RDF
18	Arne Meier	Generalized Complexity of ALC Subsumption	CoRR	2012	DBLP BibTeX RDF
18	Eduardo Zambon, Arend Rensink	Graph Subsumption in Abstract State Space Exploration	GRAPHITE	2012	DBLP DOI BibTeX RDF
18	Thomas A. Alspaugh, Walt Scacchi, Rihoko Kawai	Software licenses, coverage, and subsumption.	RELAW	2012	DBLP DOI BibTeX RDF
18	Bernard Stepien, Stan Matwin, Amy P. Felty	An Algorithm for Compression of XACML Access Control Policy Sets by Recursive Subsumption.	ARES	2012	DBLP DOI BibTeX RDF
18	Fusaomi Nagata, Akimasa Otsuka, Keigo Watanabe	Network-based subsumption architecture for multiple mobile robots system.	SCIS&ISIS	2012	DBLP DOI BibTeX RDF
18	Watson Wei Khong Chua, Jung-Jae Kim 0001	Discovering Cross-Ontology Subsumption Relationships by Using Ontological Annotations on Biomedical Literature.	ICBO	2012	DBLP BibTeX RDF
18	Yoshitaka Yamamoto, Katsumi Inoue, Koji Iwanuma	Heuristic Inverse Subsumption in Full-Clausal Theories.	ILP	2012	DBLP DOI BibTeX RDF
18	Noriaki Nishio, Atsuko Mutoh, Nobuhiro Inuzuka	On Computing Minimal Generators in Multi-Relational Data Mining with respect to theta-Subsumption.	ILP (Late Breaking Papers)	2012	DBLP BibTeX RDF
18	Santiago Ontañón, Pedro Meseguer	Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry.	CP	2012	DBLP DOI BibTeX RDF
18	Simona Colucci, Francesco M. Donini	Inverting Subsumption for Constructive Reasoning.	Description Logics	2012	DBLP BibTeX RDF
18	Jens Bleiholder, Melanie Herschel, Felix Naumann	Eliminating NULLs with Subsumption and Complementation.	IEEE Data Eng. Bull.	2011	DBLP BibTeX RDF
18	Yoshihiko Kawazoe, Masaki Mitsuoka, Sho Masada	Practical Education Curriculum for Autonomous Mobile Robot (Project Learning Program for School Based on Subsumption Architecture).	J. Robotics Mechatronics	2011	DBLP DOI BibTeX RDF
18	Fabrizio Riguzzi, Terrance Swift	The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty	CoRR	2011	DBLP BibTeX RDF
18	Flávio Cruz, Ricardo Rocha 0001	Single Time-Stamped Tries for Retroactive Call Subsumption	CoRR	2011	DBLP BibTeX RDF
18	Verena Fischer, Simon J. Hickinbotham	Evolving a metabolic subsumption architecture for cooperative control of the e-puck.	Memetic Comput.	2011	DBLP DOI BibTeX RDF
18	Fabrizio Riguzzi, Terrance Swift	The PITA system: Tabling and answer subsumption for reasoning under uncertainty.	Theory Pract. Log. Program.	2011	DBLP DOI BibTeX RDF
18	Mathieu Bergeron, Darrell Conklin	Subsumption of Vertical Viewpoint Patterns.	MCM	2011	DBLP DOI BibTeX RDF
18	Frederick W. P. Heckel, G. Michael Youngblood	Failure Detection and Reactive Teaming for Behavior-Based Subsumption.	IVA	2011	DBLP DOI BibTeX RDF
18	C. Maria Keet	Rough subsumption reasoning with rOWL.	SAICSIT	2011	DBLP DOI BibTeX RDF
18	Anna Hristoskova, Enric Junqué de Fortuny, Filip De Turck	Subsumption Architecture for Enabling Strategic Coordination of Robot Swarms in a Gaming Scenario.	ICAIS	2011	DBLP DOI BibTeX RDF
18	Jeremy C. Posso, Adam T. Sampson, Jonathan Simpson, Jon Timmis	Process-Oriented Subsumption Architectures in Swarm Robotic Systems.	CPA	2011	DBLP DOI BibTeX RDF
18	Francis Gasse, Viorica Sofronie-Stokkermans	Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0.	Description Logics	2011	DBLP BibTeX RDF
18	Agi Kurucz, Frank Wolter, Michael Zakharyaschev	On P/NP Dichotomies for EL Subsumption under Relational Constraints.	Description Logics	2011	DBLP BibTeX RDF
18	Frederick W. P. Heckel, G. Michael Youngblood	Failure Detection and Dynamic Extensions for Behavior-Based Subsumption.	FLAIRS	2011	DBLP BibTeX RDF
18	Claude Sammut	Subsumption.	Encyclopedia of Machine Learning	2010	DBLP DOI BibTeX RDF
18	Elias Zavitsanos, Georgios Paliouras, George A. Vouros, Sergios Petridis	Learning subsumption hierarchies of ontology concepts from texts.	Web Intell. Agent Syst.	2010	DBLP DOI BibTeX RDF
18	Martin Homola, Luciano Serafini	Augmenting Subsumption Propagation in Distributed Description Logics.	Appl. Artif. Intell.	2010	DBLP DOI BibTeX RDF
18	Youssef Hamadi, Saïd Jabbour, Lakhdar Sais	Learning for Dynamic Subsumption.	Int. J. Artif. Intell. Tools	2010	DBLP DOI BibTeX RDF
18	Vassilis Spiliopoulos, George A. Vouros, Vangelis Karkaletsis	On the discovery of subsumption relations for the alignment of ontologies.	J. Web Semant.	2010	DBLP DOI BibTeX RDF
18	Parosh Aziz Abdulla, Yu-Fang Chen 0001, Lorenzo Clemente, Lukás Holík, Chih-Duo Hong, Richard Mayr, Tomás Vojnar	Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing.	CAV	2010	DBLP DOI BibTeX RDF
18	Verena Fischer, Simon J. Hickinbotham	A Metabolic Subsumption Architecture for Cooperative Control of the e-Puck.	NICSO	2010	DBLP DOI BibTeX RDF
18	Jose Santos 0001, Stephen H. Muggleton	Subsumer: A Prolog theta-subsumption engine.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
18	Fabrizio Riguzzi, Terrance Swift	Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions.	ICLP (Technical Communications)	2010	DBLP DOI BibTeX RDF
18	Andrew Matusiewicz, Neil V. Murray, Erik Rosenthal	Trie Based Subsumption and Improving the pi-Trie Algorithm.	PAAR@IJCAR	2010	DBLP DOI BibTeX RDF
18	Frederick W. P. Heckel, G. Michael Youngblood	Multi-Agent Coordination Using Dynamic Behavior-Based Subsumption.	AIIDE	2010	DBLP BibTeX RDF
18	Xiance Si, Zhiyuan Liu 0001, Maosong Sun 0001	Explore the Structure of Social Tags by Subsumption Relations.	COLING	2010	DBLP BibTeX RDF
18	Flávio Cruz, Ricardo Rocha 0001	Retroactive Subsumption-Based Tabled Evaluation of Logic Programs.	JELIA	2010	DBLP DOI BibTeX RDF
18	Terrance Swift, David Scott Warren	Tabling with Answer Subsumption: Implementation, Applications and Performance.	JELIA	2010	DBLP DOI BibTeX RDF
18	Mo Yufeng, Xu Yisong	An E-learning System Based on Subsumption Architecture.	ICEE	2010	DBLP DOI BibTeX RDF
18	Guilin Qi, Zhizheng Zhang 0002	Preferential Semantics for Plausible Subsumption in Possibility Theory.	KR	2010	DBLP BibTeX RDF
18	Zhongwu Zhai, Hua Xu, Jun Li, Peifa Jia	Feature Subsumption for Sentiment Classification in Multiple Languages.	PAKDD (2)	2010	DBLP DOI BibTeX RDF
18	Youssef Hamadi, Saïd Jabbour, Lakhdar Sais	Learning for Dynamic subsumption	CoRR	2009	DBLP BibTeX RDF
18	Jan Schwinghammer	Coherence of subsumption for monadic types.	J. Funct. Program.	2009	DBLP DOI BibTeX RDF
18	Derek F. Yates, Nikolaos Malevris	Inclusion, subsumption, JJ-paths, and structured path testing: a Redress.	Softw. Test. Verification Reliab.	2009	DBLP DOI BibTeX RDF
18	Rim Djedidi, Marie-Aude Aufaure	Define Hybrid Class Resolving Disjointness due to Subsumption.	WOP	2009	DBLP BibTeX RDF
18	Geir Solskinnsbakk, Jon Atle Gulla, Veronika Haderlein, Per Myrseth, Olga Cerrato	Quality of Subsumption Hierarchies in Ontologies.	NLDB	2009	DBLP DOI BibTeX RDF
18	Tommy Thompson, Fraser Milne, Alastair Andrew, John Levine	Improving control through subsumption in the EvoTanks domain.	CIG	2009	DBLP DOI BibTeX RDF
18	Dee Parks, Andrew R. Dalton, Kenneth Moorman, William C. Kreahling	Subsumption Architecture Model Suitable for Students at All Grade Levels.	FECS	2009	DBLP BibTeX RDF
18	Youssef Hamadi, Saïd Jabbour, Lakhdar Sais	Learning for Dynamic Subsumption.	ICTAI	2009	DBLP DOI BibTeX RDF
18	Michael Mendler, Stephan Scheele	Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics.	Description Logics	2009	DBLP BibTeX RDF
18	Vasileios Spiliopoulos	Aligning ontologies using equivalence and subsumption relations		2009	RDF
18	Ondrej Kuzelka, Filip Zelezný	A Restarted Strategy for Efficient Subsumption Testing.	Fundam. Informaticae	2008	DBLP BibTeX RDF
18	Jaehoon Kim, Kangsoo Jung, Seog Park	An RDF triple based access authorization specification considering subsumption relationships.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
18	Thomas Thompson, John Levine	Scaling-up behaviours in EvoTanks: Applying subsumption principles to artificial neural networks.	CIG	2008	DBLP DOI BibTeX RDF
18	Christoph Haase, Carsten Lutz	Complexity of Subsumption in the [Escr ][Lscr ] Family of Description Logics: Acyclic and Cyclic TBoxes.	ECAI	2008	DBLP DOI BibTeX RDF
18	Emmanuel Blanchard, Mounira Harzallah, Pascale Kuntz	A generic framework for comparing semantic similarities on a subsumption hierarchy.	ECAI	2008	DBLP DOI BibTeX RDF
18	Gianfranco Lamperti, Marina Zanella	Observation-Subsumption Checking in Similarity-Based Diagnosis of Discrete-Event Systems.	ECAI	2008	DBLP DOI BibTeX RDF
18	Aleksander Krzywinski, Weiqin Chen, Arne Helgesen	Agent Architecture in Social Games - The Implementation of Subsumption Architecture in Diplomacy.	AIIDE	2008	DBLP BibTeX RDF
18	Viorica Sofronie-Stokkermans	Locality and subsumption testing in EL and some of its extensions.	Advances in Modal Logic	2008	DBLP BibTeX RDF
18	Katarina Britz, Johannes Heidema, Thomas Andreas Meyer	Semantic Preferential Subsumption.	KR	2008	DBLP BibTeX RDF
18	Patrick Eyerich, Michael Brenner 0001, Bernhard Nebel	On the Complexity of Planning Operator Subsumption.	KR	2008	DBLP BibTeX RDF
18	Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan	Classifying Fuzzy Subsumption in Fuzzy-EL+.	Description Logics	2008	DBLP BibTeX RDF
18	Franz Baader, Novak Novakovik, Boontawee Suntisrivaraporn	A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes.	Description Logics	2008	DBLP BibTeX RDF
18	Ralf Möller 0001, Volker Haarslev, Sebastian Wandelt	The Revival of Structural Subsumption in Tableau-based Reasoners.	Description Logics	2008	DBLP BibTeX RDF
18	Viorica Sofronie-Stokkermans	Locality and Subsumption Testing in EL and Some of its Extensions.	Description Logics	2008	DBLP BibTeX RDF
18	Martin Homola	Subsumption Propagation between Remote Ontologies in Distributed Description Logic.	Description Logics	2008	DBLP BibTeX RDF
18	Vasile Rus, Philip M. McCarthy, Mihai C. Lintean, Danielle S. McNamara, Arthur C. Graesser	Paraphrase Identification with Lexico-Syntactic Graph Subsumption.	FLAIRS	2008	DBLP BibTeX RDF
18	Gianfranco Lamperti, Federica Vivenzi, Marina Zanella	On Checking Temporal-Observation Subsumption in Similarity-Based Diagnosis of Active Systems.	ICEIS (2)	2008	DBLP BibTeX RDF
18	Tru H. Cao, Dat T. Huynh	Subsumption Degrees between Entity Types and Names for Approximate Knowledge Retrieval.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2007	DBLP DOI BibTeX RDF
18	Olivier Bodenreider, Barry Smith 0001, Anand Kumar 0005, Anita Burgun	Investigating subsumption in SNOMED CT: An exploration into large description logic-based biomedical terminologies.	Artif. Intell. Medicine	2007	DBLP DOI BibTeX RDF
18	Vassilis Spiliopoulos, Alexandros G. Valarakos, George A. Vouros, Vangelis Karkaletsis	Learning Subsumption Relations with CSR: a Classification based Method for the Alignment of Ontologies.	OM	2007	DBLP BibTeX RDF
18	Heiner Stuckenschmidt	Partial Matchmaking using Approximate Subsumption.	AAAI	2007	DBLP BibTeX RDF
18	Heiner Stuckenschmidt	Approximate Subsumption for Complex Description Logics.	Description Logics	2007	DBLP BibTeX RDF
18	Roni Khardon, Marta Arias	The subsumption lattice and query learning.	J. Comput. Syst. Sci.	2006	DBLP DOI BibTeX RDF
18	Ellen Riloff, Siddharth Patwardhan, Janyce Wiebe	Feature Subsumption for Opinion Analysis.	EMNLP	2006	DBLP BibTeX RDF
18	Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud	Mobile Robot Control - The Subsumption Architecture and occam-pi.	CPA	2006	DBLP BibTeX RDF
18	Marco Bellia, M. Eugenia Occhiuto	Higher order Programming in Java: Introspection, Subsumption and Extraction.	Fundam. Informaticae	2005	DBLP BibTeX RDF
18	Thorsten Liebig, Michael Halfmann	A Tableau-Based Explainer for DL Subsumption.	TABLEAUX	2005	DBLP DOI BibTeX RDF
18	Julian Togelius	Evolution of a subsumption architecture neurocontroller.	J. Intell. Fuzzy Syst.	2004	DBLP BibTeX RDF
18	Li Zhang 0048, Yehoshua Perl, Michael Halper, James Geller, James J. Cimino	Model Formulation: An Enriched Unified Medical Language System Semantic Network with a Multiple Subsumption Hierarchy.	J. Am. Medical Informatics Assoc.	2004	DBLP DOI BibTeX RDF
18	Eyal Amir, Pedrito Maynard-Zhang	Logic-based subsumption architecture.	Artif. Intell.	2004	DBLP DOI BibTeX RDF
18	Julian Togelius	Evolution of a Subsumption Architecture Neurocontroller	CoRR	2004	DBLP BibTeX RDF
18	Nikita Pashenkov, Ryuichi Iwamasa	One-Chip Solution to Intelligent Robot Control: Implementing Hexapod Subsumption Architecture Using a Contemporary Microprocessor	CoRR	2004	DBLP BibTeX RDF
18	Yamine Aït Ameur	Representation of procedural knowledge and its use to compute a form of subsumption.	IFIP Congress Topical Sessions	2004	DBLP DOI BibTeX RDF