|
Conferences in DBLP
- Jordi Alvarez
A Description Logic System for Learning in Complex Domains. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Ian Horrocks
Kris. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Ian Horrocks, Peter F. Patel-Schneider
DL Systems Comparison (Summary Relation). [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Ian Horrocks, Peter F. Patel-Schneider
Comparing Subsumption Optimizations. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Ian Horrocks, Ulrike Sattler
A Description Logic with Transitive and Inverse Roles and Role Hierarchies. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Uwe Küssner
Description Logic Unplugged. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Patrick Lambrix, Pierpaolo Larocchia
Learning Composite Concepts. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Bernd Ludwig, Günther Görz, Heinrich Niemann
Combining Expression and Content in Domains for Dialog Managers. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Amedeo Napoli
A Note on the Representation and Manipulation of Structures. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Lin Padgham
Incorporating Default Characteristics and Approximate Matching in Description Logics. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Peter F. Patel-Schneider
DLP. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Peter F. Patel-Schneider
NeoClassic. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Peter F. Patel-Schneider
DLP System Description. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Maarten de Rijke
Description Logics and Modal Logics. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Véronique Ventos, Pierre Brézellec, Henry Soldano, Dominique Bouthinon
Learning Concepts in C-CLASSIC(delta/epsilon). [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Ian Horrocks
FaCT. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
Implementing an ALCRP(D) ABox Reasoner - Progress Report. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan
HAM-ALC. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Carlos Areces, Maarten de Rijke
Expressiveness Revisited. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Franz Baader, Alexander Borgida, Deborah L. McGuinness
Matching in Description Logics: Preliminary Results. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Franz Baader, Ralf Küsters
Least Common Subsumer Computation w.r.t. cyclic ALN-Terminologies. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
Semi-structured Data with Constraints and Incomplete Information. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Franz Baader, Ralf Küsters, Ralf Molitor
Structural Subsumption Considered from an Automata-Theoretic Point of View. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati
A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Jean Carrive, François Pachet, Rémi Ronfard
Using Description Logics for Indexing Audiovisual Documents. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Ernesto Compatangelo, Francesco M. Donini, Giovanni Rumolo
DL-based Support to Domain Engineering. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Liviu Badea
Planning in Description Logics: Deduction versus Satisfiability Testing. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Quentin Elhaik, Marie-Christine Rousset
Making an ABox Persistent. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Quentin Elhaik, Marie-Christine Rousset, Bernard Ycart
Generating Random Benchmarks for Description Logics. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- François de Bertrand de Beuvron, David Rudloff, Michael Schlick
Extending Tableaux Calculus with Limited Regular Expression for Role Path: an Application to Natural Language Processing. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Enrico Franconi
CRACK. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Erich Grädel
Description Logics and Guarded Fragments of First Order Logic. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
- Christopher A. Welty
DLs for DLs: Description Logics for Digital Libraries. [Citation Graph (0, 0)][DBLP] Description Logics, 1998, pp:- [Conf]
|