Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß |
Subsumption Algorithms for Concept Description Languages. |
ECAI |
1990 |
DBLP BibTeX RDF |
|
18 | Jochen Dörre, William C. Rounds |
On Subsumption and Semiunifaction in Feature Algebras |
IWBS Report |
1989 |
RDF |
|
18 | Edward W. Elcock |
Prolog: Subsumption of Equality Axioms by the Homogeneous Form. |
J. Log. Program. |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Peter F. Patel-Schneider |
Undecidability of Subsumption in NIKL. |
Artif. Intell. |
1989 |
DBLP DOI BibTeX RDF |
|
18 | Bernhard Hollunder |
Subsumption algorithms for some attributive concept description languages. |
|
1989 |
RDF |
|
18 | Manfred Schmidt-Schauß |
Subsumption in KL-ONE is Undecidable. |
KR |
1989 |
DBLP BibTeX RDF |
|
18 | Wray L. Buntine |
Generalized Subsumption and Its Applications to Induction and Redundancy. |
Artif. Intell. |
1988 |
DBLP DOI BibTeX RDF |
|
18 | Georg Gottlob |
Subsumption and Implication. |
Inf. Process. Lett. |
1987 |
DBLP DOI BibTeX RDF |
|
18 | Michael P. Wellman |
Dominance and Subsumption in Constraint-Posting Planning. |
IJCAI |
1987 |
DBLP BibTeX RDF |
|
18 | Jonathan Connell |
Creature Design with the Subsumption Architecture. |
IJCAI |
1987 |
DBLP BibTeX RDF |
|
18 | P. Hoddinott, Edward W. Elcock |
PROLOG: Subsumption of Equality Axioms by the Homogeneous Form. (long version: JLP 6(1&2): 45-56) |
SLP |
1986 |
DBLP BibTeX RDF |
|
18 | Wray L. Buntine |
Generalised Subsumption and its Applications to Induction and Redundancy. |
ECAI |
1986 |
DBLP BibTeX RDF |
|
18 | Georg Gottlob, Alexander Leitsch |
Fast Subsumption Algorithms. |
European Conference on Computer Algebra (2) |
1985 |
DBLP DOI BibTeX RDF |
|
18 | Ronald J. Brachman, Hector J. Levesque |
The Tractability of Subsumption in Frame-Based Description Languages. |
AAAI |
1984 |
DBLP BibTeX RDF |
|
18 | Hassan Aït-Kaci |
Type Subsumption as a Model of Computation. |
Expert Database Workshop |
1984 |
DBLP BibTeX RDF |
|
18 | Dennis de Champeaux |
A note on resolution, connection graphs, and subsumption. |
SIGART Newsl. |
1982 |
DBLP DOI BibTeX RDF |
|
18 | Norbert Eisinger |
Subsumption and Connectionsgraphs. |
GWAI |
1981 |
DBLP DOI BibTeX RDF |
|
18 | Norbert Eisinger |
Subsumption And Connection Graphs. |
IJCAI |
1981 |
DBLP BibTeX RDF |
|
10 | Kseniya B. Shalonova, Bruno Golénia, Peter A. Flach |
Towards Learning Morphology for Under-Resourced Fusional and Agglutinating Languages. |
IEEE Trans. Speech Audio Process. |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Érick Alphonse, Aomar Osmani |
Empirical Study of Relational Learning Algorithms in the Phase Transition Framework. |
ECML/PKDD (1) |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Fu Zhang 0001, Zong Min Ma 0001, Jingwei Cheng, Xiangfu Meng |
Fuzzy semantic web ontology learning from fuzzy UML model. |
CIKM |
2009 |
DBLP DOI BibTeX RDF |
fuzzy UML model, ontology learning, fuzzy ontology |
10 | Robert D. C. Shearer, Ian Horrocks 0001 |
Exploiting Partial Information in Taxonomy Construction. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Yang Yu 0029, Donald Hillman, Basuki Setio, Jeff Heflin |
A Case Study in Integrating Multiple E-commerce Standards via Semantic Web Technology. |
ISWC |
2009 |
DBLP DOI BibTeX RDF |
e-commerce, ontology integration |
10 | James P. McGlothlin, Latifur R. Khan |
RDFKB: efficient support for RDF inference queries and knowledge management. |
IDEAS |
2009 |
DBLP DOI BibTeX RDF |
information integration and retrieval, logic and databases, ontology, semantic web, data models, resource description framework, knowledge base management systems |
10 | Karima Toumani, Hélène Jaudoin, Michel Schneider |
Automatic Generation of P2P Mappings between Sources Schemas. |
ISMIS |
2009 |
DBLP DOI BibTeX RDF |
rewriting queries, description logics, hypergraphs, Schema mappings |
10 | Jacek Lewandowski, Henryk Rybinski |
A Hybrid Method of Indexing Multiple-Inheritance Hierarchies. |
ISMIS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Rajesh K. Thiagarajan, Wolfgang Mayer, Markus Stumptner |
Semantic Service Discovery by Consistency-Based Matchmaking. |
APWeb/WAIM |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Tim Kimber, Krysia Broda, Alessandra Russo |
Induction on Failure: Learning Connected Horn Theories. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
Inverse Entailment, Abductio, Inductive Logic Programming |
10 | Roberto Sebastiani, Michele Vescovi |
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. |
CADE |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Freddy Lécué, Alexandre Delteil, Alain Léger |
Extending Web Service Composition Languages with Semantic Data Flow. |
ICSC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Phiniki Stouppa, Thomas Studer |
Data Privacy for Knowledge Bases. |
LFCS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Franz Baader, Barbara Morawska 0001 |
Unification in the Description Logic EL. |
RTA |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Mariangiola Dezani-Ciancaglini, Paola Giannini, Simona Ronchi Della Rocca |
Intersection, Universally Quantified, and Reference Types. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Hengzhi Wu, Thomas Roelleke |
Semi-subsumed Events: A Probabilistic Semantics of the BM25 Term Frequency Quantification. |
ICTIR |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Yi Zhou 0013, Yan Zhang 0003 |
Modeling Abstract Behavior: A Dynamic Logic Approach. |
Australasian Conference on Artificial Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Arnold Chien |
Scalar implicature and contrastive explanation. |
Synth. |
2008 |
DBLP DOI BibTeX RDF |
Contrastive explanation, Scalar implicature, Why-questions, Explanation, Implicature |
10 | Sofien Khemakhem, Khalil Drira, Emna Khemakhem, Mohamed Jmaiel |
An experimental evaluation of SEC+, an enhanced search engine for component-based software development. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Sofien Khemakhem, Khalil Drira, Emna Khemakhem, Mohamed Jmaiel |
An experimental evaluation of SEC+, an enhanced search engine for component-based software development. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Victor R. L. Shen, Tong-Ying Tony Juang |
Verification of Knowledge-Based Systems Using Predicate/Transition Nets. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ju Wang 0005, Yuncheng Jiang, Yuming Shen |
Satisfiability and reasoning mechanism of terminological cycles in description logic vL . |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
terminological cycles, description graph, model, description logic |
10 | Davy Preuveneers, Yolande Berbers |
Encoding Semantic Awareness in Resource-Constrained Devices. |
IEEE Intell. Syst. |
2008 |
DBLP DOI BibTeX RDF |
pervasive computing, ontology languages, algorithms for data and knowledge management |
10 | Jérôme David, Fabrice Guillet, Henri Briand, Régis Gras |
On the use of Implication Intensity for matching ontologies and textual taxonomies. |
Statistical Implicative Analysis |
2008 |
DBLP DOI BibTeX RDF |
association rule, Ontology alignment, ontology matching, interestingness measure |
10 | Dan Corbett |
Graph-Based Representation and Reasoning for Ontologies. |
Computational Intelligence: A Compendium |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Fernando Bobillo, Miguel Delgado 0001, Juan Gómez-Romero |
Optimizing the Crisp Representation of the Fuzzy Description Logic. |
URSW (LNCS Vol.) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jérôme Euzenat |
Algebras of Ontology Alignment Relations. |
ISWC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Wei Li 0006, Joseph E. Sutton, Y. Li |
Integration of Chemical and Visual Sensors for Identifying an Odor Source in Near Shore Ocean Conditions. |
ICMLA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | John Keeney, Dominik Roblek, Dominic Jones, David Lewis 0001, Declan O'Sullivan |
Extending Siena to support more expressive and flexible subscriptions. |
DEBS |
2008 |
DBLP DOI BibTeX RDF |
content-based networks knowledge-based networks, ontologies, semantics, bags, publish-subscribe |
10 | Armin Haller, Jedrzej Gontarczyk, Paavo Kotinurmi |
Towards a complete SCM ontology: the case of ontologising RosettaNet. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
RosettaNet, semantic web services, supply chain management, ontology engineering |
10 | Yassine Mokhtari, Sa'ed Abed, Otmane Aït Mohamed, Sofiène Tahar, Xiaoyu Song |
A New Approach for the Construction of Multiway Decision Graphs. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Kimio Kuramitsu |
A Map-based Integration of Ontologies into an Object-Oriented Programming Language. |
IFIP AI |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Fei Wu 0003, Raphael Hoffmann, Daniel S. Weld |
Information extraction from Wikipedia: moving down the long tail. |
KDD |
2008 |
DBLP DOI BibTeX RDF |
semantic web, information extraction, Wikipedia |
10 | Rui Marques, Terrance Swift |
Concurrent and Local Evaluation of Normal Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
10 | David Pearce 0001, Agustín Valverde |
Quantified Equilibrium Logic and Foundations for Answer Set Programs. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Jackei H. K. Wong, Wilfred W. K. Lin, Allan K. Y. Wong, Tharam S. Dillon |
An Ontology Supported Meta-interface for the Development and Installation of Customized Web Based Telemedicine Systems. |
SEUS |
2008 |
DBLP DOI BibTeX RDF |
Meta-interface paradigm, CTSS, WTS, telemedicine system, enterprise vocabulary, ontology, software development, automated, CAI |
10 | Mary Lou Jepsen |
CAD for displays! |
ICCAD |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Fulvio Mastrogiovanni, Antonio Sgorbissa, Renato Zaccaria |
A Framework for Context-Awareness in Artificial Systems. |
KES (1) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Boontawee Suntisrivaraporn, Guilin Qi, Qiu Ji, Peter Haase 0001 |
A Modularization-Based Approach to Finding All Justifications for OWL DL Entailments. |
ASWC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Fu Zhang 0001, Zong Min Ma 0001, Hailong Wang, Xiangfu Meng |
A Formal Semantics-Preserving Translation from Fuzzy Relational Database Schema to Fuzzy OWL DL Ontology. |
ASWC |
2008 |
DBLP DOI BibTeX RDF |
Fuzzy Relational Database Schema (FRDBS), fuzzy OWL DL ontology, semantics-preserving translation, fuzzy database, fuzzy ontology |
10 | Ondrej Sváb-Zamazal, Vojtech Svátek |
Analysing Ontological Structures through Name Pattern Tracking. |
EKAW |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Reasoning about Typicality in Preferential Description Logics. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Anna Cinzia Squicciarini, Marco Casassa Mont, Abhilasha Bhargav-Spantzel, Elisa Bertino |
Automatic Compliance of Privacy Policies in Federated Digital Identity Management. |
POLICY |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Hao Zheng 0003, Xian Wu, Yong Yu 0001 |
Enriching WordNet with Folksonomies. |
PAKDD |
2008 |
DBLP DOI BibTeX RDF |
Folksonomy, WordNet, Social Annotation |
10 | Fu Zhang 0001, Zong Min Ma 0001, Yanhui Lv, Xing Wang 0002 |
Formal Semantics-Preserving Translation from Fuzzy ER Model to Fuzzy OWL DL Ontology. |
Web Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ourania Hatzi, Georgios Meditskos, Dimitris Vrakas, Nick Bassiliades, Dimosthenis Anagnostopoulos, Ioannis P. Vlahavas |
A Synergy of Planning and Ontology Concept Ranking for Semantic Web Service Composition. |
IBERAMIA |
2008 |
DBLP DOI BibTeX RDF |
Semantic Web Service Composition, Ontology Concept Ranking, Semantic Matching Relaxation, Planning |
10 | Xiaowang Zhang, Zuoquan Lin |
Paraconsistent Reasoning with Quasi-classical Semantic in . |
RR |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Pei-Yan Zhang, Tian-Sheng Lü |
Real-Time Motion Planning for a Volleyball Robot Task Based on a Multi-Agent Technique. |
J. Intell. Robotic Syst. |
2007 |
DBLP DOI BibTeX RDF |
task-based manipulability measure, volleyball robot, multi-agent, motion planning, blackboard |
10 | Alessandro Artale, Christine Parent, Stefano Spaccapietra |
Evolving objects in temporal information systems. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68P15, 68T30 |
10 | Chan-Sheng Kuo, Tzung-Pei Hong, Chuen-Lung Chen |
Applying genetic programming technique in classification trees. |
Soft Comput. |
2007 |
DBLP DOI BibTeX RDF |
Genetic programming, Knowledge base, Classification tree, Genetic operator |
10 | Fausto Giunchiglia, Maurizio Marchese, Ilya Zaihrayeu |
Encoding Classifications into Lightweight Ontologies. |
J. Data Semantics |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Julien Velcin, Jean-Gabriel Ganascia |
Default Clustering with Conceptual Structures. |
J. Data Semantics |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati 0001 |
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. |
J. Autom. Reason. |
2007 |
DBLP DOI BibTeX RDF |
DL-Lite, Description logics, Query answering, Ontology languages |
10 | Roberto García 0001, Rosa Gil 0001, Jaime Delgado |
A web ontologies framework for digital rights management. |
Artif. Intell. Law |
2007 |
DBLP DOI BibTeX RDF |
ontology, semantic web, digital rights management, copyright |
10 | Laura Giordano 0001, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
Preferential Description Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Sebastian Brandt |
Matching in Hybrid Terminologies. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
10 | José Luis Ambite, Dipsy Kapoor |
Automatically Composing Data Workflows with Relational Descriptions and Shim Services. |
ISWC/ASWC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Christian Meilicke, Heiner Stuckenschmidt |
Applying Logical Constraints to Ontology Matching. |
KI |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Kamran Shafi, Hussein A. Abbass, Weiping Zhu 0001 |
Real time signature extraction from a supervised classifier system. |
IEEE Congress on Evolutionary Computation |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Martin Hepp, Jos de Bruijn |
GenTax: A Generic Methodology for Deriving OWL and RDF-S Ontologies from Hierarchical Classifications, Thesauri, and Inconsistent Taxonomies. |
ESWC |
2007 |
DBLP DOI BibTeX RDF |
RDF-S, UNSPSC, eCl@ss, classifications, reuse, OWL, taxonomies, e-business, Ontology engineering, ontology learning, thesauri |
10 | Michael Fink 0001, Reinhard Pichler, Hans Tompits, Stefan Woltran |
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jurriaan Hage, Stefan Holdermans, Arie Middelkoop |
A generic usage analysis with subeffect qualifiers. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
uniqueness typing, type and effect systems, qualified types, sharing analysis |
10 | Tim Kovacs, Larry Bull |
Toward a better understanding of rule initialisation and deletion. |
GECCO (Companion) |
2007 |
DBLP DOI BibTeX RDF |
fitness initialisation, learning classifier systems, XCS, deletion, steady state genetic algorithms |
10 | Albert Orriols-Puig, David E. Goldberg, Kumara Sastry, Ester Bernadó-Mansilla |
Modeling XCS in class imbalances: population size and parameter settings. |
GECCO |
2007 |
DBLP DOI BibTeX RDF |
genetic algorithms, machine learning, evolutionary computation, learning classifier systems, class imbalance |
10 | Daniele Loiacono, Jan Drugowitsch, Alwyn Barry, Pier Luca Lanzi |
Analysis and Improvements of the Classifier Error Estimate in XCSF. |
IWLCS |
2007 |
DBLP DOI BibTeX RDF |
|
10 | John R. Kender |
A Large Scale Concept Ontology for News Stories: Empirical Methods, Analysis, and Improvements. |
ICME |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Philippe Millet, Jean-Claude Heudin |
Web Mining in the EVA Intelligent Agent Architecture. |
Web Intelligence/IAT Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
10 | José Luis Ambite, Dipsy Kapoor |
Argos: a framework for automatically generating data processing workflows. |
DG.O |
2007 |
DBLP BibTeX RDF |
workflow, knowledge representation, logic, web service composition, information integration |
10 | José Luis Ambite, Dipsy Kapoor |
Automatic generation of data processing workflows for transportation modeling. |
DG.O |
2007 |
DBLP BibTeX RDF |
workflow, knowledge representation, logic, web service composition, information integration |
10 | Evelina Lamma, Paola Mello, Fabrizio Riguzzi, Sergio Storari |
Applying Inductive Logic Programming to Process Mining. |
ILP |
2007 |
DBLP DOI BibTeX RDF |
Learning from Interpretations, Business Processes, Process Mining, Interaction Protocols |
10 | Michael Conrad, Christian Funk, Oliver Raabe, Oliver P. Waldhorst |
A Lawful Framework For Distributed Electronic Markets. |
Virtual Enterprises and Collaborative Networks |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Monika Záková, Filip Zelezný |
Exploiting Term, Predicate, and Feature Taxonomies in Propositionalization and Propositional Rule Learning. |
ECML |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Ali-Asghar Safaei, Mehran Kamali, Mostafa Haghjoo, Kamyar Izadi |
Caching Intermediate Results for Multiple-Query Optimization. |
AICCSA |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jean-Claude Heudin |
Evolutionary Virtual Agent at an Exhibition. |
VSMM |
2007 |
DBLP DOI BibTeX RDF |
conversational character, intelligent agent, physical model, virtual creature |
10 | Zhi Qiang Zhuang, Maurice Pagnucco, Thomas Meyer 0002 |
Implementing Iterated Belief Change Via Prime Implicates. |
Australian Conference on Artificial Intelligence |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Hiroshi Ishida, Hidenao Tanaka, Haruki Taniguchi, Toyosaka Moriizumi |
Mobile robot navigation using vision and olfaction to search for a gas/odor source. |
Auton. Robots |
2006 |
DBLP DOI BibTeX RDF |
Gas/odor source localization, Behavior-based architecture, Mobile robot, Vision, Olfaction |
10 | Étienne Payet, Frédéric Mesnard |
Nontermination inference of logic programs. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
nontermination analysis, optimal termination condition, Logic programming, static analysis |
10 | Jinguang Gu, Yi Zhou 0022 |
Ontology based Query Rewriting on Integrated XML based Information Systems. |
Advances in Web Intelligence and Data Mining |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jérôme David, Fabrice Guillet, Henri Briand |
Matching directories and OWL ontologies with AROMA. |
CIKM |
2006 |
DBLP DOI BibTeX RDF |
data-mining, semantic web, association rules, ontology matching |
10 | Willem Robert van Hage, Hap Kolb, Guus Schreiber |
A Method for Learning Part-Whole Relations. |
ISWC |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Sofien Khemakhem, Khalil Drira, Mohamed Jmaiel |
SEC: a search engine for component based software development. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
discover, non-functional aspect, ontology, software component |