Search results for "subsumption"

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