MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "DLP." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 1,317 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • DLP - An introduction  
  • by Denny Vrandecic, Peter Haase, Pascal Hitzler, York Sure, Rudi Studer
  • …DLP – An introduction Denny Vrandečić, Peter Haase, Pascal Hitzler, York Sure, Rudi Studer…
  • Cited by 3 (1 self) – Add To MetaCart
  • What's New in DLP  
  • by Peter Patel-Schneider Bell, Peter F. Patel-schneider
  • …What's New in DLP Peter F. Patel-Schneider Bell Labs Research Murray Hill, New Jersey 07974 U. S…
  • Add To MetaCart
  • DLP System Description  
  • by Peter F. Patel-Schneider — 1998 — Collected Papers from the International Description Logics Workshop (DL'98
  • …DLP System Description Peter F. Patel-Schneider Bell Labs Research, Murray Hill, NJ, U…
  • Cited by 43 (8 self) – Add To MetaCart
  • DLP and FaCT  
  • by Peter F. Patel-Schneider, Ian Horrocks — 1999
  • …DLP and FaCT Peter F. Patel-Schneider 1 and Ian Horrocks 2 1 Bell Labs Research, Murray Hill…
  • Cited by 4 (0 self) – Add To MetaCart
  • FaCT and DLP  
  • by Ian Horrocks, Peter F. Patel-Schneider
  • …FaCT and DLP Ian Horrocks 1;2 and Peter F. Patel-Schneider 3 1 Medical Informatics Group…
  • Cited by 12 (1 self) – Add To MetaCart
  • A Reduction from DLP to PDL  
  • by Stéphane Demri — 2005 — Journal of Logic and Computation
  • …A reduction from DLP to PDL Stéphane Demri Laboratoire Spécification et Vérification CNRS & INRIA…
  • Cited by 4 (0 self) – Add To MetaCart
  • Pushing Goal Derivation in DLP Computations  
  • by Wolfgang Faber, Nicola Leone, Gerald Pfeifer — 1999 — Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99), number 1730 in Lecture Notes in AI (LNAI
  • …Pushing Goal Derivation in DLP Computations ? Wolfgang Faber, Nicola Leone, and Gerald Pfeifer…
  • Cited by 26 (12 self) – Add To MetaCart
  • circ2dlp --- Translating Circumscription into  
  • by Disjunctive Logic Programming, Emilia Oikarinen, Tomi Janhunen — 2005 — In: LPNMR’05, Diamante, Italy, Springer-Verlag (2005) 405–409 LNAI
  • …circ2dlp — Translating Circumscription into Disjunctive Logic Programming ⋆ 1 Introduction Emilia…
  • Add To MetaCart
  • Pushing Goal Derivation in DLP Computations  
  • by Wolfgang Faber Nicola, Nicola Leone, Gerald Pfeifer — 1999 — Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99), number 1730 in Lecture Notes in AI (LNAI
  • …Pushing Goal Derivation in DLP Computations ? Wolfgang Faber, Nicola Leone, and Gerald Pfeifer…
  • Add To MetaCart
  • A case for merging the ILP and DLP paradigms  
  • by Francisca Quintana, Palmas Gran Canaria, Roger Espasa, Mateo Valero — 1998 — In Euromicro Workshop on Parallel and Distributed Processing. IEEE Computer
  • …A case for merging the ILP and DLP paradigms Francisca Quintana Computer Science Dept. Universidad…
  • Cited by 3 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB