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 |
|