Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Jahna Otterbacher, Dragomir R. Radev |
Comparing Semantically Related Sentences: The Case of Paraphrase Versus Subsumption. |
COLING |
2004 |
DBLP BibTeX RDF |
|
18 | Sebastian Brandt |
On Subsumption and Instance Problem in ELH w.r.t. General TBoxes. |
Description Logics |
2004 |
DBLP BibTeX RDF |
|
18 | Olivier Bodenreider, Barry Smith 0001, Anand Kumar 0005, Anita Burgun |
Investigating subsumption in DL-based terminologies: A Case Study in SNOMED CT . |
KR-MED |
2004 |
DBLP BibTeX RDF |
|
18 | Tony Tinker, Barbara Feknous |
The politics of the new courseware: resisting the real subsumption of asynchronous educational technology. |
Int. J. Account. Inf. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Hongwei Liu, Hitoshi Iba |
Multi-agent learning by evolutionary subsumption. |
IEEE Congress on Evolutionary Computation |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Stefan Böttcher, Rita Steinmetz |
A DTD Graph Based XPath Query Subsumption Test. |
Xsym |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Yevgeny Kazakov, Hans de Nivelle |
Subsumption of Concepts in FL0y for (Cyclic) Terminologies with Respect to Descriptive Semantics is PSPACE-complete. |
Description Logics |
2003 |
DBLP BibTeX RDF |
|
18 | Zoltán Ésik |
Axiomatizing the subsumption and subword preorders on finite and infinite partial words. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Jon G. Riecke, Christopher A. Stone |
Privacy via Subsumption. |
Inf. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Jerome Vouillon |
Combining subsumption and binary methods: an object calculus with views. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Jérôme Maloberti, Michèle Sebag |
Theta-Subsumption in a Constraint Satisfaction Perspective. |
ILP |
2001 |
DBLP BibTeX RDF |
|
18 | Alexander Borgida, Enrico Franconi, Ian Horrocks 0001 |
Explaining ALC Subsumption. |
ECAI |
2000 |
DBLP BibTeX RDF |
|
18 | William F. Punch, W. M. Rand |
GP+Echo+Subsumption = Improved Problem Solving. |
GECCO |
2000 |
DBLP BibTeX RDF |
|
18 | Akihiro Yamamoto |
An Inference Method for the Complete Inverse of Relative Subsumption. |
New Gener. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Shuly Wintner, Nissim Francez |
Off-Line Parsability and the Well-Foundedness of Subsumption. |
J. Log. Lang. Inf. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Ian Horrocks 0001, Peter F. Patel-Schneider |
Optimizing Description Logic Subsumption. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | David H. Gleason |
Subsumption ethics. |
SIGCAS Comput. Soc. |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Ernie Johnson, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Prasad Rao |
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs. |
Fuji International Symposium on Functional and Logic Programming |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Ullrich Hustadt, Renate A. Schmidt, Christoph Weidenbach |
MSPASS: Subsumption Testing with SPASS. |
Description Logics |
1999 |
DBLP BibTeX RDF |
|
18 | Alexander Borgida, Enrico Franconi, Ian Horrocks 0001, Deborah L. McGuinness, Peter F. Patel-Schneider |
Explaining ALC Subsumption. |
Description Logics |
1999 |
DBLP BibTeX RDF |
|
18 | Eyal Amir, Pedrito Maynard-Reid II |
Logic-Based Subsumption Architecture. |
IJCAI |
1999 |
DBLP BibTeX RDF |
|
18 | Michael Meskes |
Subsumption-Stratified Datalog. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Hans-Jörg Kreowski, Gabriel Valiente |
Redundancy and Subsumption in High-Level Replacement Systems. |
TAGT |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Prasad Rao, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
On the Optimality of Scheduling Strategies in Subsumption-based Tabled Resolution. |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
18 | John Bigham, Alex L. Hayzelden |
Subsumption and Survivability in Bidding for Bandwidth. |
ICMAS |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Hideyuki Nakashima, Itsuki Noda |
Dynamic Subsumption Architecture for Programming Intelligent Agents. |
ICMAS |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Zdravko Markov |
Generalization under Implication by lambda-Subsumption. |
ILP |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Ian Horrocks 0001, Peter F. Patel-Schneider |
Comparing Subsumption Optimizations. |
Description Logics |
1998 |
DBLP BibTeX RDF |
|
18 | Franz Baader, Ralf Küsters, Ralf Molitor |
Structural Subsumption Considered from an Automata-Theoretic Point of View. |
Description Logics |
1998 |
DBLP BibTeX RDF |
|
18 | Ian Horrocks 0001, Peter F. Patel-Schneider |
Optimising Propositional Modal Satisfiability for Description Logic Subsumption. |
AISC |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Daniel E. O'Leary |
Inference engine greediness: subsumption and suboptimality. |
Decis. Support Syst. |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Laurent Dami |
Operational Subsumption, an Ideal Model of Subtyping. |
HOOTS |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Shuly Wintner, Nissim Francez |
Off-line Parsability and the Well-foundedness of Subsumption |
CoRR |
1997 |
DBLP BibTeX RDF |
|
18 | Domenico Beneventano, Sonia Bergamaschi |
Incoherence and Subsumption for Recursive Views and Queries in Object-Oriented Data Models. |
Data Knowl. Eng. |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Peter Baumgartner 0001, Stefan Brüning |
A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion. |
J. Autom. Reason. |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray |
Fast Subsumption Checks Using Anti-Links. |
J. Autom. Reason. |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Haruhiko Kimura, Sadaki Hirose, Kuniyasu Tajima |
High speed subsumption processing for hypothetical reasoning using inference-path networks. |
Syst. Comput. Jpn. |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Laurent Dami |
Labelled Reductions, Runtime Errors and Operational Subsumption. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
18 | Véronique Ventos, Pierre Brézellec |
Least Common Subsumption as a connective. |
Description Logics |
1997 |
DBLP BibTeX RDF |
|
18 | Volker Haarslev, Ralf Möller 0001 |
Spatioterminological Reasoning: Subsumption Based on Geometrical Inferences. |
Description Logics |
1997 |
DBLP BibTeX RDF |
|
18 | Jochen Bernauer |
Analysis of Part-Whole Relation and Subsumption in the Medical Domain. |
Data Knowl. Eng. |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Domenico Beneventano, Sonia Bergamaschi, Claudio Sartori 0001 |
Semantic Query Optimization by Subsumption in OODB. |
FQAS |
1996 |
DBLP BibTeX RDF |
|
18 | Erhard W. Hinrichs, Tsuneko Nakazawa |
Applying Lexical Rules Under Subsumption. |
COLING |
1996 |
DBLP BibTeX RDF |
|
18 | Zdravko Markov |
Lambda-Subsumption and Its Application to Learning from Positive-only Examples. |
Inductive Logic Programming Workshop |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Tobias Scheffer, Ralf Herbrich, Fritz Wysotzki |
Efficient Theta-Subsumption Based on Graph Algorithms. |
Inductive Logic Programming Workshop |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Paul J. Johnson, Kevin L. Chapman, John S. Bay |
Navigation of an autonomous ground vehicle using the subsumption architecture. |
Mobile Robots / Automated Vehicle Control Systems |
1996 |
DBLP DOI BibTeX RDF |
|
18 | Quentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel |
A Proposal for a Glass-Box Approach for Subsumption Checking. |
Description Logics |
1996 |
DBLP BibTeX RDF |
|
18 | Mathieu Latourrette, Michel Simonet |
An Approach to Subsumption in a DL with Implication. |
Description Logics |
1996 |
DBLP BibTeX RDF |
|
18 | Yolanda Gil, Pedro A. González |
Subsumption-Based Matching: Bringing Semantics to Goals. |
Description Logics |
1996 |
DBLP BibTeX RDF |
|
18 | Gerhard Köstler, Werner Kießling, Helmut Thöne, Ulrich Güntzer |
Fixpoint Iteration with Subsumption in Deductive Databases. |
J. Intell. Inf. Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Martin Müller 0001, Joachim Niehren |
Weak subsumption Constraints for Type Diagnosis: An Incremental Algorithm |
CoRR |
1995 |
DBLP BibTeX RDF |
|
18 | Gerhard Köstler |
Foundations of semantic subsumption in deductive databases. |
|
1995 |
RDF |
|
18 | Shan-Hwei Nienhuys-Cheng, Ronald de Wolf |
The Equivalence of the Subsumption Theorem and the Refutation-Completeness for Unconstrained Resolution. |
ASIAN |
1995 |
DBLP DOI BibTeX RDF |
|
18 | Deborah L. McGuinness, Alexander Borgida |
Explaining Subsumption in Description Logics. |
IJCAI (1) |
1995 |
DBLP BibTeX RDF |
|
18 | Alexander Borgida, Peter F. Patel-Schneider |
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. |
J. Artif. Intell. Res. |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Alexander Borgida, Peter F. Patel-Schneider |
A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. |
CoRR |
1994 |
DBLP BibTeX RDF |
|
18 | Martin Buchheit, Manfred A. Jeusfeld, Werner Nutt, Martin Staudt 0001 |
Subsumption between queries to object-oriented databases. |
Inf. Syst. |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Maria Paola Bonacina, Jieh Hsiang |
On subsumption in distributed derivations. |
J. Autom. Reason. |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf |
Deduction in Concept Languages: From Subsumption to Instance Checking. |
J. Log. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Anavai Ramesh, Neil V. Murray |
Avoiding Tests for Subsumption. |
AAAI |
1994 |
DBLP BibTeX RDF |
|
18 | Vibhu O. Mittal, Cécile Paris |
Generating Examples For Use in Tutorial Explanations: Using a Subsumption Based Classifier. |
ECAI |
1994 |
DBLP BibTeX RDF |
|
18 | Jörg-Uwe Kietz, Marcus Lübbe |
An Efficient Subsumption Algorithm for Inductive Logic Programming. |
ICML |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Stuart M. Cornell, John E. W. Mayhew, Sam Harrison |
ANIT - A System for Perceptual Subsumption and Intelligent Vision Systems. |
BMVC |
1994 |
DBLP DOI BibTeX RDF |
|
18 | Divesh Srivastava |
Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints. |
Ann. Math. Artif. Intell. |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Werner Kießling, Gerhard Köstler, Ulrich Güntzer |
Fixpoint Evaluation with Subsumption for Probabilistic Uncertainty. |
BTW |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Domenico Beneventano, Sonia Bergamaschi, Stefano Lodi, Claudio Sartori 0001 |
Uso della Subsumption per l'Ottimizzazione Semantica di Queries. |
SEBD |
1993 |
DBLP BibTeX RDF |
|
18 | Nga Kwo Liu |
Formal Description and Verification of Knowledge Base Redundancy and Subsumption. |
ICCI |
1993 |
DBLP BibTeX RDF |
|
18 | James N. K. Liu |
A formal description technique for the verification of fuzzy knowledge base redundancy and subsumption. |
ANNES |
1993 |
DBLP DOI BibTeX RDF |
|
18 | Robert Dionne, Eric Mays, Frank J. Oles |
The Equivalence of Model-Theoretic and Structural Subsumption in Description Logics. |
IJCAI |
1993 |
DBLP BibTeX RDF |
|
18 | Werner Kießling, Gerhard Köstler, Ulrich Güntzer |
Fixpoint evaluation with subsumption for probabilistic uncertainty |
Forschungsberichte, TU Munich |
1992 |
RDF |
|
18 | Pierre-Louis Curien, Giorgio Ghelli |
Coherence of Subsumption, Minimum Typing and Type-Checking in F<=. |
Math. Struct. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Byeong Man Kim, Jung Wan Cho |
A New Subsumption Method in the Connection Graph Proof Procedure. |
Theor. Comput. Sci. |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Jochen Dörre, William C. Rounds |
On Subsumption and Semiunifaction in Feature Algebras. |
J. Symb. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Amedeo Napoli |
Subsumption and Classification-Based Reasoning in Object-Based Representations. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
18 | Claudio Bettini |
A Formalization of Interval-Based Temporal Subsumption in First Order Logic. |
ECAI Workshop on Knowledge Representation and Reasoning |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Fausto Giunchiglia, Toby Walsh |
Tree Subsumption: Reasoning with Outlines. |
ECAI |
1992 |
DBLP BibTeX RDF |
|
18 | Domenico Beneventano, Sonia Bergamaschi |
Subsumption for Complex Object Data Models. |
ICDT |
1992 |
DBLP DOI BibTeX RDF |
|
18 | Byeong Man Kim, Sang Ho Lee, Seung Ryoul Maeng, Jung Wan Cho |
A New Algorithm for Subsumption Test. |
FGCS |
1992 |
DBLP BibTeX RDF |
|
18 | Andrea Schaerf |
On the Role of Subsumption Algorithms in Concept Description Languages. |
Description Logics |
1992 |
DBLP BibTeX RDF |
|
18 | Robert Dionne |
Structural Subsumption as a Basis for Intensional Semantics. |
Description Logics |
1992 |
DBLP BibTeX RDF |
|
18 | Alexander Borgida |
Structural Subsumption: What Is It and Why Is It Important? |
Description Logics |
1992 |
DBLP BibTeX RDF |
|
18 | Darrell Conklin, Janice I. Glasgow |
Spatial Analogy and Subsumption. |
ML |
1992 |
DBLP DOI BibTeX RDF |
|
18 | John Yen, Robert Neches, Robert M. MacGregor |
CLASP: Integrating Term Subsumption Systems and Production Systems. |
IEEE Trans. Knowl. Data Eng. |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Larry Wos |
The Problem of Choosing the Type of Subsumption to Use. |
J. Autom. Reason. |
1991 |
DBLP DOI BibTeX RDF |
|
18 | William A. Woods |
Understanding Subsumption and Taxonomy: A Framework for Progress. |
Principles of Semantic Networks |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Ralph Hartley, Frank J. Pipitone |
Experiments with the subsumption architecture. |
ICRA |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Mark Willems |
Subsumption in Knowledge Graphs. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Alessandro Artale, Francesca Cesarini, Giovanni Soda |
Subsumption Computation on an Object-Oriented Data Model. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Larry Wos, Ross A. Overbeek, Ewing L. Lusk |
Subsumption, a Sometimes Undervalued Procedure. |
Computational Logic - Essays in Honor of Alan Robinson |
1991 |
DBLP BibTeX RDF |
|
18 | Gerrit Burkert, Peter Forster |
Representation of Semantic Knowledge with Term Subsumption Languages. |
SIGLEX Workshop |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Brian R. Gaines |
Integrating Rules in Term Subsumption Knowledge Representation Servers. |
AAAI |
1991 |
DBLP BibTeX RDF |
|
18 | Jacqueline Castaing |
A New Formalisation of Subsumption in Frame-Based Representation Systems. |
KR |
1991 |
DBLP BibTeX RDF |
|
18 | Sonia Bergamaschi, Claudio Sartori 0001 |
Subsumption for Database Schema Design. |
Description Logics |
1991 |
DBLP BibTeX RDF |
|
18 | Jürgen Allgayer |
Experiences in 'Hybridification': Enhancement of a term Subsumption Language to Cover Plural and Quantified Terms. |
Description Logics |
1991 |
DBLP BibTeX RDF |
|
18 | Sridhar Mahadevan, Jonathan Connell |
Scaling Reinforcement Learning to Robotics by Exploiting the Subsumption Architecture. |
ML |
1991 |
DBLP DOI BibTeX RDF |
|
18 | John Yen |
Generalizing Term Subsumption Languages to Fuzzy Logic. |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
18 | Brian R. Gaines |
An Interactive Visual Language for Term Subsumption Languages. |
IJCAI |
1991 |
DBLP BibTeX RDF |
|
18 | Jochen Dörre |
Feature Logic with Weak Subsumption Constraints. |
ACL |
1991 |
DBLP BibTeX RDF |
|
18 | Peter F. Patel-Schneider, Bernd Owsnicki-Klewe, Alfred Kobsa, Nicola Guarino, Robert M. MacGregor, William S. Mark, Deborah L. McGuinness, Bernhard Nebel, Albrecht Schmiedel, John Yen |
Term Subsumption Languages in Knowledge Representation. |
AI Mag. |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Jochen Dörre, William C. Rounds |
On Subsumption and Semiunification in Feature Algebras |
LICS |
1990 |
DBLP DOI BibTeX RDF |
|