The SCEAS System
Navigation Menu

Conferences in DBLP

Description Logics Workshops (dlog)
1999 (conf/dlog/1999)

  1. Marco Aiello, Carlos Areces, Maarten de Rijke
    Spatial Reasoning for Image Retrieval. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  2. Hans Jürgen Ohlbach
    Set Description Languages and Reasoning about Numerical Features of Sets. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  3. Robert M. MacGregor, Deborah L. McGuinness
    DARPA's High Performance Knowledge Base (HPKB) Program. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  4. Robert M. MacGregor
    Integrating Descriptions and Classification into a Predicate Calculus Framework. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  5. Amedeo Napoli
    Classification problems in object-based representation systems. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  6. Carsten Lutz, Ulrike Sattler, Stephan Tobies
    A Suggestion for an n-ary Description Logic. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  7. Daniel Kudenko, Haym Hirsh
    Feature-Based Learners for Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  8. Ullrich Hustadt, Renate A. Schmidt, Christoph Weidenbach
    MSPASS: Subsumption Testing with SPASS. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  9. Ian Horrocks, Peter F. Patel-Schneider
    Performance of DLP on Random Modal Formulae. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  10. Thomas Mantay
    Computing Least Common Subsumers in Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  11. François Rousselot, François de Bertrand de Beuvron, Michael Schlick, David Rudloff
    Reasoning in a Closed Terminology. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  12. Stephan Tobies
    On the Complexity of Counting in Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  13. Sergio Tessaris, Graham Gough
    ABox Reasoning with Transitive Roles and Axioms. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  14. Armando Tacchella
    *SAT System Description. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  15. Eugenio Di Sciascio, Francesco M. Donini
    Description Logics for Image Recognition: a preliminary proposal. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  16. Riccardo Rosati
    Towards expressive KR systems integrating datalog and description logics: preliminary report. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  17. Uta Priss
    Description Logic and Faceted Knowledge Representation. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  18. Peter F. Patel-Schneider
    DLP. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  19. Peter F. Patel-Schneider
    Systems Comparison. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  20. Ian Horrocks
    FaCT and iFaCT. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  21. Volker Haarslev, Ralf Möller, Anni-Yasmin Turhan, Michael Wessel
    On Terminological Default Reasoning about Spatial Information: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  22. Mira Balaban, Adi Eyal
    DFL - A Dialog Based Integration of Concept and Rule Reasoners. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  23. Emilio Domenicucci, Francesco M. Donini, Marco Schaerf
    ICARUS: Intelligent Classification And Retrieval of Unlabelled Scenes. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  24. Antonio Badia
    Information Integration through Unification of Feature Structures. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  25. Franz Baader, Ralf Molitor
    Rewriting in Description Logics Using Terminologies. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  26. Franz Baader, Ralf Küsters
    Matching in Description Logics with Existential Restrictions. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  27. Alessandro Artale, Carsten Lutz
    A Correspondence between Temporal Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  28. Carlos Areces, Wiet Bouma, Maarten de Rijke
    Description Logics and Feature Interaction. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  29. Natasha Alechina
    (Modal) Logics for Semistructed Data. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  30. Sean Bechhofer, Ian Horrocks, Peter F. Patel-Schneider, Sergio Tessaris
    A Proposal for a Description Logic Interface. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  31. Anna Dorofeyeva
    Analysis of Semantic Networks By Means of Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  32. Volker Haarslev, Ralf Möller
    RACE System Description. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  33. Volker Haarslev, Ralf Möller
    An Empirical Evaluation of Optimization Strategies for ABox Reasoning in Expressive Description Logics. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  34. Martina Grathwohl, François de Bertrand de Beuvron, François Rousselot
    A New Application for Description Logics: Disaster Management. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  35. Pedro A. González-Calero, Belén Díaz-Agudo, Mercedes Gómez-Albarrán
    Applying DLs for Retrieval in Case-Based Reasoning. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  36. Enrico Giunchiglia, Fausto Giunchiglia, Armando Tacchella
    *SAT, KSATC, DLP and TA: a comparative analysis. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  37. François de Bertrand de Beuvron, François Rousselot, Martina Grathwohl, David Rudloff, Michael Schlick
    CICLOP. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]

  38. Preface. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  39. Alexander Borgida, Enrico Franconi, Ian Horrocks, Deborah L. McGuinness, Peter F. Patel-Schneider
    Explaining ALC Subsumption. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  40. Aida Vitória, Margarida Mamede
    Integrating Concept-Based Knowledge Bases. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002