Search results for "subsumption"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Maria Paola Bonacina	Combination of Distributed Search and Multi-search in Peers-mcd.d.	IJCAR	2001	DBLP DOI BibTeX RDF
10	Jens Happe	The MODPROF Theorem Prover.	IJCAR	2001	DBLP DOI BibTeX RDF
10	Andreas Bartelt, Winfried Lamersdorf	A Multi-criteria Taxonomy of Business Models in Electronic Commerce.	WELCOM	2001	DBLP DOI BibTeX RDF
10	Stefan Schulz 0001, Udo Hahn	Mereotopological reasoning about parts and (w)holes in bio-ontologies.	FOIS	2001	DBLP DOI BibTeX RDF
10	Dan Corbett	A Method for Reasoning with Ontologies Represented as Conceptual Graphs.	Australian Joint Conference on Artificial Intelligence	2001	DBLP DOI BibTeX RDF
10	Ian Horrocks 0001, Ulrike Sattler, Sergio Tessaris, Stephan Tobies	How to Decide Query Containment Under Constraints Using a Description Logic.	LPAR	2000	DBLP DOI BibTeX RDF
10	Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro	Refining Logic Theories under OI-Implication.	ISMIS	2000	DBLP DOI BibTeX RDF
10	Andrei Voronkov	How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent Calculi.	LICS	2000	DBLP DOI BibTeX RDF
10	Nicola Guarino, Christopher A. Welty	Ontological Analysis of Taxonomic Relationships.	ER	2000	DBLP DOI BibTeX RDF
10	Donald D. Dudenhoeffer, Michael P. Jones	A formation behavior for large-scale micro-robot force deployment.	WSC	2000	DBLP DOI BibTeX RDF
10	Rosella Gennari	Arc Consistency Algorithms via Iterations of Subsumed Functions.	Computational Logic	2000	DBLP DOI BibTeX RDF
10	Peter Baumgartner 0001	FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure.	CADE	2000	DBLP DOI BibTeX RDF
10	Franz Baader, Ralf Molitor	Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis.	ICCS	2000	DBLP DOI BibTeX RDF
10	Svetla Boytcheva	Least Generalization under Relative Implication.	AIMSA	2000	DBLP DOI BibTeX RDF
10	Céline Rouveirol, Véronique Ventos	Towards Learning in CARIN-ALN.	ILP	2000	DBLP DOI BibTeX RDF
10	Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello	Semantic Indexing for Image Retrieval Using Description Logics.	VISUAL	2000	DBLP DOI BibTeX RDF
10	Dietmar Seipel	Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases.	FoIKS	2000	DBLP DOI BibTeX RDF
10	Martin F. van Bommel, T. J. Beck	Incremental Encoding of Multiple Inheritance Hierarchies.	CIKM	1999	DBLP DOI BibTeX RDF
10	Domenico M. Pisanelli, Aldo Gangemi, Geri Steve	A Medical Ontology Library That Integrates the UMLS MetathesaurusTM.	AIMDM	1999	DBLP DOI BibTeX RDF
10	Saso Dzeroski, James Cussens, Suresh Manandhar	An Introduction to Inductive Logic Programming and Learning Language in Logic.	Learning Language in Logic	1999	DBLP DOI BibTeX RDF
10	Georg Gottlob, Reinhard Pichler	Working with Arms: Complexity Results on Atomic Representations of Herbrand Models.	LICS	1999	DBLP DOI BibTeX RDF	Automated Model Building, Herbrand Models, Complexity, Knowledge Representation, Logic Programming, Automated Deduction
10	Martin P. Robillard, Gail C. Murphy	Analyzing Exception Flow in Java Programs.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF	Exception Handling, Software Analysis, Object-Oriented Programming Languages, Software Engineering Tools
10	Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini	Queries and Constraints on Semi-structured Data.	CAiSE	1999	DBLP DOI BibTeX RDF
10	Guy W. Mineau	Constraints and Goals under the Conceptual Graph Formalism: One Way to Solve the SCG-1 Problem.	ICCS	1999	DBLP DOI BibTeX RDF
10	Dan Corbett, Robert F. Woodbury	Unification over Constraints in Conceptual Graphs.	ICCS	1999	DBLP DOI BibTeX RDF
10	Michael Minock, Marek Rusinkiewicz, Brad Perry	The Identification of Missing Information Resources through the Query Difference Operator.	CoopIS	1999	DBLP DOI BibTeX RDF
10	Alan M. Frisch	Sorted Downward Refinement: Building Background Knowledge into a Refinement Operator for Inductive Programming.	ILP	1999	DBLP DOI BibTeX RDF
10	Herman Midelfart	A Bounded Search Space of Clausal Theories.	ILP	1999	DBLP DOI BibTeX RDF
10	Liviu Badea, Monica Stanciu	Refinement Operators Can Be (Weakly) Perfect.	ILP	1999	DBLP DOI BibTeX RDF
10	Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello	A Description Logic for Image Retrieval.	AI*IA	1999	DBLP DOI BibTeX RDF
10	Ian Horrocks 0001, Lin Padgham, Laura Thomson	Feasibility of Optimised Disjunctive Reasoning for Approximate Matching.	Australian Joint Conference on Artificial Intelligence	1999	DBLP DOI BibTeX RDF
10	Peter Weinstein, William P. Birmingham	Creating Ontological Metadata for Digital Library Content and Services.	Int. J. Digit. Libr.	1998	DBLP DOI BibTeX RDF	Catalog structure, Ontology, Multi-agent systems, Metadata, Automatic classification
10	Leo Bachmair, Harald Ganzinger	Ordered Chaining Calculi for First-Order Theories of Transitive Relations.	J. ACM	1998	DBLP DOI BibTeX RDF	chaining calculi, reduction orderings, transitive relations, term rewriting, rewrite systems, equational logic
10	Luigi Liquori	Bounded Polymorphism for Extensible Objects.	TYPES	1998	DBLP DOI BibTeX RDF
10	Luigi Liquori	On Object Extension.	ECOOP	1998	DBLP DOI BibTeX RDF
10	Pascal Coupey, Catherine Faron	Towards Correspondence between Conceptual Graphs and Description Logics.	ICCS	1998	DBLP DOI BibTeX RDF
10	Franz Baader, Alexander Borgida, Deborah L. McGuinness	Matching in Description Logics: Preliminary Results.	ICCS	1998	DBLP DOI BibTeX RDF
10	Ian Horrocks 0001	The FaCT System.	TABLEAUX	1998	DBLP DOI BibTeX RDF
10	Fabio Massacci	Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux.	TABLEAUX	1998	DBLP DOI BibTeX RDF
10	Ian Horrocks 0001, Peter F. Patel-Schneider	FaCT and DLP.	TABLEAUX	1998	DBLP DOI BibTeX RDF
10	Kiyotaka Izumi, Keigo Watanabe, T. Miyazaki	Fuzzy behavior-based control for a miniature mobile robot.	KES (3)	1998	DBLP DOI BibTeX RDF
10	Sylvie Salotti, Véronique Ventos	Study and Formalization of a Case-Based Reasoning System Using a Description Logic.	EWCBR	1998	DBLP DOI BibTeX RDF
10	Tarek Branki, Bruno Defude	A Terminological Canonical Data Model for Cooperating Heterogeneous Geographical Information Systems.	DEXA	1997	DBLP DOI BibTeX RDF
10	Karl Crary	Foundations for the Implementation of Higher-Order Subtyping.	ICFP	1997	DBLP DOI BibTeX RDF
10	Tru H. Cao, Peter N. Creasy	Universal Marker and Functional Relation: Semantics and Operations.	ICCS	1997	DBLP DOI BibTeX RDF
10	Gil Fuchs, Robert Levinson	The CG Mars Lander.	ICCS	1997	DBLP DOI BibTeX RDF
10	Clare Dixon	Temporal Resolution: Removing Irrelevant Information.	TIME	1997	DBLP DOI BibTeX RDF
10	Alan Hutchinson	Metrics on Terms and Clauses.	ECML	1997	DBLP DOI BibTeX RDF
10	Takahira Yamaguchi	Modeling Software Processes by using Process and Object Ontologies.	ASE	1997	DBLP DOI BibTeX RDF	object ontologies, software process plans, software processes, constraint satisfaction, computer aided software engineering, ontologies engineering, user queries, process ontology
10	Martín Abadi, Luca Cardelli	On Subtyping and Matching.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	F-bounded, type operators, matching, subtyping, type theory
10	Floriana Esposito, Angela Laterza, Donato Malerba, Giovanni Semeraro	Locally Finite, Proper and Complete Operators for Refining Datalog Programs.	ISMIS	1996	DBLP DOI BibTeX RDF
10	Juliana Freire, Terrance Swift, David Scott Warren	Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies.	PLILP	1996	DBLP DOI BibTeX RDF
10	Vilas Wuwongse, Ekawit Nantajeewarawat	Declarative Program Theory with Implicit Information.	PRICAI	1996	DBLP DOI BibTeX RDF
10	Lam-Fan Lee, Alex Chia-Yee Kean	An Architecture for Autonomous Flying Vehicles: A Preliminary Report.	PRICAI	1996	DBLP DOI BibTeX RDF	Multi-agent System, Architecture, Planning
10	Maria Paola Bonacina, Jieh Hsiang	On Semantic Resolution with Lemmaizing and Contraction.	PRICAI	1996	DBLP DOI BibTeX RDF
10	Peter Graf, Christoph Meyer 0001	Advanced Indexing Operations on Substitution Trees.	CADE	1996	DBLP DOI BibTeX RDF
10	Martina Marré, Antonia Bertolino	Unconstrained Duals and Their Use in Achieving All-Uses Coverage.	ISSTA	1996	DBLP DOI BibTeX RDF
10	Anatoli Degtyarev, Andrei Voronkov	Equality Elimination for the Tableau Method.	DISCO	1996	DBLP DOI BibTeX RDF
10	Zhaohui Luo	Coercive Subtyping in Type Theory.	CSL	1996	DBLP DOI BibTeX RDF
10	David C. Cann, Paraskevas Evripidou	Advanced Array Optimizations for High Performance Functional Languages.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
10	James F. Montgomery, Andrew H. Fagg, George A. Bekey	The USC AFV-I: A Behavior-Based Entry in the 1994 International Aerial Robotics Competition.	IEEE Expert	1995	DBLP DOI BibTeX RDF
10	Martín Abadi, Luca Cardelli	An Imperative Object Calculus.	TAPSOFT	1995	DBLP DOI BibTeX RDF
10	Martín Abadi, Luca Cardelli	On Subtyping and Matching.	ECOOP	1995	DBLP DOI BibTeX RDF
10	Peter Graf	Substitution Tree Indexing.	RTA	1995	DBLP DOI BibTeX RDF
10	Sonia Bergamaschi, Bernhard Nebel	Acquisition and validation of complex object database schemata supporting multiple inheritance.	Appl. Intell.	1994	DBLP DOI BibTeX RDF	taxonomic reasoning, object-oriented schemata, knowledge representation, multiple inheritance
10	Bernhard Beckert, Reiner Hähnle, Anavai Ramesh, Neil V. Murray	On Anti-Links.	LPAR	1994	DBLP DOI BibTeX RDF
10	Carole A. Goble, Peter Crowther, Danny Solomon	A Medical Terminology Server.	DEXA	1994	DBLP DOI BibTeX RDF
10	Martín Abadi, Luca Cardelli	A Theory of Primitive Objects - Scond-Order Systems.	ESOP	1994	DBLP DOI BibTeX RDF
10	Leo Bachmair, Harald Ganzinger	Ordered Chaining for Total Orderings.	CADE	1994	DBLP DOI BibTeX RDF
10	Mikkel Thorup	Efficient Preprocessing of Simple Binary Pattern Forests.	SWAT	1994	DBLP DOI BibTeX RDF
10	Michael Frazier, Leonard Pitt	CLASSIC Learning.	COLT	1994	DBLP DOI BibTeX RDF
10	Hans-Jürgen Bürckert	Terminologies and Rules.	IS/KI	1994	DBLP DOI BibTeX RDF
10	Carole A. Goble, Peter Crowther	Schemas for Telling Stories in Medical Records.	EDBT	1994	DBLP DOI BibTeX RDF
10	Martin Staudt 0001, Matthias Jarke, Manfred A. Jeusfeld, Hans W. Nissen	Query Classes.	DOOD	1993	DBLP DOI BibTeX RDF
10	Eduardo Ostertag, James A. Hendler, Rubén Prieto Díaz, Christine Braun	Computing Similarity in a Reuse Library System: An AI-Based Approach.	ACM Trans. Softw. Eng. Methodol.	1992	DBLP DOI BibTeX RDF	similarity-based retrieval, facet classification
10	Christoph Walther	Computing Induction Axioms.	LPAR	1992	DBLP DOI BibTeX RDF
10	Owen L. Astrachan, Mark E. Stickel	Caching and Lemmaizing in Model Elimination Theorem Provers.	CADE	1992	DBLP DOI BibTeX RDF
10	Leo Bachmair, Harald Ganzinger, Christopher Lynch, Wayne Snyder	Basic Paramodulation and Superposition.	CADE	1992	DBLP DOI BibTeX RDF
10	Mounira Belmesk	A Process Semantics of Logic Programs.	RCLP	1991	DBLP DOI BibTeX RDF
10	Philipp Hanschke	Terminological Reasoning and Partial Inductive Definitions.	ELP	1991	DBLP DOI BibTeX RDF
10	Larry Wos, Steve Winker, William McCune, Ross A. Overbeek, Ewing L. Lusk, Rick L. Stevens, Ralph Butler	Automated Reasoning Contributed to Mathematics and Logic.	CADE	1990	DBLP DOI BibTeX RDF
10	Fritz Henglein	Fast Left-Linear Semi-Unification.	ICCI	1990	DBLP DOI BibTeX RDF	semi-unification, left-linear, P-completeness
10	Jean-Louis Lassez	Parametric queries, linear constraints and variable elimination.	DISCO	1990	DBLP DOI BibTeX RDF
10	D. Duchier, Drew V. McDermott	LOGICALC: An Environment for Interactive Proof Development.	CADE	1988	DBLP DOI BibTeX RDF
10	Deepak Kapur, Paliath Narendran	NP-Completeness of the Set Unification and Matching Problems.	CADE	1986	DBLP DOI BibTeX RDF
10	Hassan Aït-Kaci	Solving Type Equations by Graph Rewriting.	RTA	1985	DBLP DOI BibTeX RDF
10	Rodney Farrow	LINGUIST-86: Yet Another Translator Writing System Based On Attribute Grammars.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF
10	Ewing L. Lusk, William McCune, Ross A. Overbeek	Logic Machine Architecture: Inference Mechanisms.	CADE	1982	DBLP DOI BibTeX RDF
10	Ross A. Overbeek, Ewing L. Lusk	Data Structures and Control Architectures for Implementation of Theorem-Proving Programs.	CADE	1980	DBLP DOI BibTeX RDF