Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|