The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Wlodzimierz Drabent: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Johan Boye, Wlodzimierz Drabent, Jan Maluszynski
    Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:123-140 [Conf]
  2. Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla
    On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:155-169 [Conf]
  3. Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski
    Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1993, pp:350-367 [Conf]
  4. Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak
    Diagnosis of CHIP Programs Using Type Information. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:337-350 [Conf]
  5. Alessandra Di Pierro, Wlodzimierz Drabent
    On Quantified Negatives Queries. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:179-190 [Conf]
  6. Alessandra Di Pierro, Wlodzimierz Drabent
    On Negation As Instantiation. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:32-46 [Conf]
  7. Wlodzimierz Drabent, Pawel Pietrzak
    Type Analysis for CHIP. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:389-405 [Conf]
  8. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
    Locating Type Errors in Untyped CLP Programs. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:121-150 [Conf]
  9. Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski
    The Use of Assertions in Algorithmic Debugging. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:573-581 [Conf]
  10. Wlodzimierz Drabent
    What is Failure? Or: Constructive Negation by Fail Answers. [Citation Graph (0, 0)][DBLP]
    ICCI, 1992, pp:62-66 [Conf]
  11. Wlodzimierz Drabent
    It Is Declarative. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:607- [Conf]
  12. Wlodzimierz Drabent, Miroslawa Milkowska
    Proving Correctness and Completeness of Normal Programs - A Declarative Approach. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:284-299 [Conf]
  13. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
    Parametric Descriptive Types for CLP. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:239-256 [Conf]
  14. Wlodzimierz Drabent
    SLS-Resolution without Floundering. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1993, pp:82-98 [Conf]
  15. Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski
    Algorithmic Debugging with Assertions. [Citation Graph (0, 0)][DBLP]
    META, 1988, pp:501-521 [Conf]
  16. Artur Wilk, Wlodzimierz Drabent
    A Prototype of a Descriptive Type System for Xcerpt. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2006, pp:262-275 [Conf]
  17. Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk
    Descriptive Typing Rules for Xcerpt. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2005, pp:85-100 [Conf]
  18. François Bry, Wlodzimierz Drabent, Jan Maluszynski
    On Subtyping of Tree-Structured Data: A Polynomial Approach. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2004, pp:1-18 [Conf]
  19. Wlodzimierz Drabent
    Towards More Precise Typing Rules for. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2006, pp:120-133 [Conf]
  20. Artur Wilk, Wlodzimierz Drabent
    On Types for XML Query Language Xcerpt. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2003, pp:128-145 [Conf]
  21. Wlodzimierz Drabent
    Towards Types for Web Rule Languages. [Citation Graph (0, 0)][DBLP]
    Reasoning Web, 2005, pp:305-317 [Conf]
  22. Wlodzimierz Drabent
    Do Logic Programs Resemble Programs in Conventional Languages? [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:289-396 [Conf]
  23. Wlodzimierz Drabent
    Completeness of SLDNF-Resolution for Non-Floundering Queries. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:643- [Conf]
  24. Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte
    Tools and Environments for (Constraint) Logic Programming (Workshop Overview). [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:417-418 [Conf]
  25. Wlodzimierz Drabent, Jan Maluszynski
    Inductive Assertion Method for Logic Programs. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1987, pp:167-181 [Conf]
  26. Wlodzimierz Drabent
    What is Failure? An Approach to Constructive Negation [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1995, v:32, n:1, pp:27-29 [Journal]
  27. Piotr Rudnicki, Wlodzimierz Drabent
    Proving Properties of Pascal Programs in MIZAR 2. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1985, v:22, n:3, pp:311-331 [Journal]
  28. Piotr Rudnicki, Wlodzimierz Drabent
    Proving Properties of Pascal Programs in MIZAR 2. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1986, v:22, n:6, pp:699-707 [Journal]
  29. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
    Using parametric set constraints for locating errors in CLP programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  30. Wlodzimierz Drabent
    Completeness of SLDNF-Resolution for Nonfloundering Queries. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:27, n:2, pp:89-106 [Journal]
  31. Wlodzimierz Drabent, Maurizio Martelli
    Strict Completion of Logic Programs. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1991, v:9, n:1, pp:69-80 [Journal]
  32. Wlodzimierz Drabent, Jan Maluszynski
    Inductive Assertion Method for Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1988, v:59, n:, pp:133-155 [Journal]
  33. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
    Type-based Diagnosis of CLP Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:4, pp:- [Journal]
  34. Wlodzimierz Drabent, Miroslawa Milkowska
    Proving correctness and completeness of normal programs - a declarative approach. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:6, pp:669-711 [Journal]
  35. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
    Using parametric set constraints for locating errors in CLP programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:4-5, pp:549-610 [Journal]
  36. Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski
    Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:348-357 [Conf]
  37. Wlodzimierz Drabent, Jan Maluszynski
    Well-Founded Semantics for Hybrid Rules. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:1-15 [Conf]
  38. Wlodzimierz Drabent, Miroslawa Milkowska
    Proving Correctness and Completeness of Normal Programs - a Declarative Approach [Citation Graph (0, 0)][DBLP]
    CoRR, 2005, v:0, n:, pp:- [Journal]

  39. HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. [Citation Graph (, )][DBLP]


  40. Hybrid Reasoning with Non-monotonic Rules. [Citation Graph (, )][DBLP]


  41. Extending XML Query Language Xcerpt by Ontology Queries. [Citation Graph (, )][DBLP]


  42. Hybrid Rules with Well-Founded Semantics [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.457secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002