Some of my papers

The eight papers I consider most important/interesting are marked below with (**) (2, 3, 4, 5, 6, 7, 8).


(**) W. Drabent (2017). Logic + control: On program construction and verification. To appear in Theory and Practice of Logic Programming, DOI: 10.1017/S1471068417000047. Abstract. Also CoRR arXiv:1110.4978 [cs.LO] (substantially reworked former paper).

(**) W. Drabent (2016). Correctness and Completeness of Logic Programs. ACM Transactions on Computational Logic 17(3), Article 18 (May 2016), 32 pages. DOI: 10.1145/2898434. Abstract, erratum. A previous version in CoRR arXiv:1412.8739 [cs.LO].

W. Drabent (2016). On definite program answers and least Herbrand models. Theory and Practice of Logic Programming 16(4):498-508. DOI: 10.1017/S1471068416000089. Abstract. © Cambridge University Press. (Also in CoRR arXiv:1503.03324v3 [cs.LO].)

W. Drabent (2017). Proving completeness of logic programs with the cut. Formal Aspects of Computing 29(1),155-172. DOI: 10.1007/s00165-016-0392-0. Abstract. Available here. (Published on-line in September 2016.)

W. Drabent (2017): Wnioskowanie o programach w programowaniu w logice. 2017-01-23. (Reasoning about logic programs, seminar slides, mainly in Polish) slajdy, 4 na stronę, streszczenie tutaj.


Book chapters

  • W. Drabent. Hybrid Reasoning with Non-Monotonic Rules. In Reasoning Web. Semantic Technologies for Software Engineering. 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures, Volume 6325 of LNCS, Springer-Verlag, pp. 28-61, 2010. DOI: 10.1007/978-3-642-15543-7_2.
  • Drabent W., Eiter T., Ianni G., Krennwallner T., Lukasiewicz T., Małuszyński J. (2009). Hybrid Reasoning with Rules and Ontologies. Chapter 1 of Semantic Techniques for the Web. The REWERSE Perspective. Volume 5500 of LNCS, Springer-Verlag, pp. 1-49.
  • W. Drabent (2005). Towards Types for Web Rule Languages. In Reasoning Web, First International Summer School 2005, Volume 3564 of LNCS, Springer-Verlag. Available here.
  • W. Drabent, J. Małuszyński, P. Pietrzak (2000). Locating Type Errors in Untyped CLP Programs. Chapter 4 in: M. Hermenegildo, P. Deransart, J. Małuszyński (eds.) Analysis and Visualization Tools for Constraint Programming, volume 1870 of LNCS   pp.121-150, Springer-Verlag.
  • Drabent, W., Nadjm-Tehrani, S., and Małuszyński, J. (1989). Algorithmic debugging with assertions. In H.Abramson and M.H.Rogers, editors, Meta-Programming in Logic Programming, chapter 26, pages 501-522. (C) The MIT Press. (PDF)

Conference proceedings etc

  • W. Drabent (2015). On completeness of logic programs. In Logic Based Program Synthesis and Transformation, LOPSTR 2014. Revised Selected Papers, Lecture Notes in Computer Science, Vol. 8981, pp 261-278, Springer. DOI: 10.1007/978-3-319-17822-6_15. Presented at 24th LOPSTR. An extended version in CoRR, 2014.
  • W. Drabent (2012). Logic + control: An example. In Technical Communications of the 28th International Conference on Logic Programming (ICLP'12). Leibniz International Proceedings in Informatics (LIPIcs), 17:301-311. (Abstract and PDF, slides, slides 4 per page).
    Extended report (2012): Logic + control: An example of program construction, at CoRR.

    Preliminary version: SAT solver of Howe & King as a logic program. Logic Programming Newsletter, 24(2), June 2011. Important erratum, HTML.

  • W. Drabent, A. Wilk. Extending XML Query Language Xcerpt by Ontology Queries. WI'07 (2007 IEEE/WIC/ACM International Conference on Web Intelligence, Main Conference Proceedings), pp 447-451. IEEE Computer Society 2007, ISBN 0-7695-3026-5.
    Full version (REWERSE technical report).
  • W. Drabent, J. Henriksson, J. Małuszyński. HD-rules: a hybrid system interfacing Prolog with DL-reasoners. Presented at ALPSWS 2007 (2nd Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services, September 2007, held at ICLP 2007 - 23rd International Conference on Logic Programming), Proceedings. A slightly corrected version available here.
  • W. Drabent, J. Małuszyński. Well-Founded Semantics for Hybrid Rules. In Web Reasoning and Rule Systems, Proceedings RR 2007, Volume 4524 of LNCS, Springer-Verlag, pp. 1-15. An extended version is available.
  • W. Drabent, J. Henriksson, J. Małuszyński. Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. In Web Reasoning and Rule Systems, Proceedings RR 2007, Volume 4524 of LNCS, Springer-Verlag, pp. 348-357.
    Best short paper award at RR 2007.
  • W. Drabent, A. Wilk. Combining XML querying with ontology reasoning: Xcerpt and DIG. Presented at "RuleML-06 Workshop: Ontology and Rule Integration", Athens, Georgia, U.S.A., 10-11 November 2006. Unpublished proceedings.
  • W. Drabent (2006). Towards more precise typing rules for Xcerpt. In Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR06), Budva, Montenegro (10th - 11th June 2006). Volume 4187 of LNCS, Springer-Verlag. Available at
  • A. Wilk, W. Drabent (2006). A Prototype of a Descriptive Type System for Xcerpt. In Proceedings of 4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR06), Budva, Montenegro (10th - 11th June 2006). Volume 4187 of LNCS, Springer-Verlag. Available at
  • S. Berger, E. Coquery, W. Drabent, A. Wilk (2005). Descriptive Typing Rules for Xcerpt. In Principles and Practice of Semantic Web Reasoning; Third International Workshop, PPSWR 2005, Volume 3703 of LNCS, Springer-Verlag, pp. 85-100. Available here.
    Extended version (technical report) available here.
    Erratum available here.
  • F. Bry, W. Drabent, J. Małuszyński (2004). On Subtyping of Tree-structured Data: A Polynomial Approach. In proceedings of PPSWR 2004, & & Volume 3208 of LNCS, Springer-Verlag. Available here.
  • A. Wilk, W. Drabent (2003). On Types for XML Query Language Xcerpt. In proceedings of PPSWR 2003 (Principles and Practice of Semantic Web Reasoning), ed. F. Bry, N. Henze, J. Małuszyński, Springer-Verlag LNCS vol. 2901, pp. 128-145. ISBN: 3-540-20582-9
  • W. Drabent, M. Milkowska (2001). Proving Correctness and Completeness of Normal Programs - a Declarative Approach. In Logic Programming, 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings , ed. Codognet, P., Springer-Verlag LNCS 2237, pp. 284-299. (Abstract. Postscript, Copyright Springer-Verlag 2001. )
  • W. Drabent, J. Małuszyński, P. Pietrzak (2001). Parametric Descriptive Types for (C)LP. In: Programmation en logique avec contraintes, JFPLC'2001, Coordonnateur: Philippe Codognet, pp. 239-254, Hermes Science Publications, Paris, 2001.
  • W. Drabent (1999). It Is Declarative: On Reasoning about Logic Programs (poster abstract). Logic Programming: Proceedings of the 1999 International Conference on Logic Programming, ed. D. De Schreye, p 607. The MIT Press, 1999. (The poster PDF, Postscript. See also the corresponding report, which is the 1999 version of (Drabent 1997) below PDF, Postscript. )
  • Drabent, W., Pietrzak, P. (1998). Type Analysis for CHIP. Proc. Seventh International Conference on Algebraic Methodology and Software Technology (AMAST'98), ed. A. M. Haeberer, Springer-Verlag LNCS 1548, pp. 389-405. (Postscript).
  • Drabent, W. (1997). It Is Declarative. On Proving Partial Correctness of Logic Programs. Presented at ``Verification, Model Checking and Abstract Interpretation'', a post-conference workshop at International Logic Programming Symposium, Port Jefferson, October 1997. (Postscript, Abstract; Updated version of May 1999 PDF, Postscript).
  • Boye, J., Drabent, W. and Małuszyński, J. (1997). Declarative Diagnosis of Constraint Programs: an Assertion Based Approach. In Proceedings of AADEBUG'97 (Third International Workshop on Automated Debugging, Linköping, Sweden), 1997. Linköping University Electronic Press. (
  • Di Pierro, A. and Drabent, W. (1996). On Negation As Instantiation. Proc. Fifth International Conference on Algebraic and Logic Programming (ALP'96) . Lecture Notes in Computer Science 1139, pages 32-46. Springer-Verlag, 1996. (The published version, Postscript, an updated version, Abstract).
  • Drabent, W. (1993). SLS-resolution Without Floundering. In Pereira, L. M. and Nerode, A., editors, Proc. 2nd International Workshop on Logic Programming and Non-Monotonic Reasoning, pages 82-98. MIT Press. (Postscript), (PDF).
  • W. Drabent, S. Nadjm-Tehrani, J. Małuszyński (1988). The Use of Assertions in Algorithmic Debugging. In Proc. of Fifth Generation Computer Systems 88, pages 573--581, 1988.
  • Drabent, W. and Małuszyński, J. (1987). Inductive Assertion Method for Logic Programs. TAPSOFT '87 (Proceedings of the International Joint Conference on Theory and Practice of Software Development) Vol.2, Springer-Verlag LNCS 250, pp. 167-181.
  • Drabent, W. (1987). Do Logic Programs Resemble Programs in Conventional Languages? Proceedings of 1987 Symposium on Logic Programming, pages 389-396. IEEE Press. (Postscript).


  • W. Drabent, A. Wilk (2007). Type Inference and Rule Dependencies in Xcerpt. REWERSE technical report REWERSE-TR-2007-08. (Abstract, bibtex, etc. Complete Text.)
  • Drabent, W. (1994). A Proof Using the Inductive Assertion Method. Unpublished report.
  • Drabent, W. (1988). On Completeness of the Inductive Assertion Method for Logic Programs. Unpublished note, Institute of Computer Science, Polish Academy of Sciences. Click here.
  • Drabent, W. (1985). An experiment with domain construction for denotational semantics. Technical Report LiTH-IDA-R-85-17, Linköping University, Department of Computer and Information Science, December 1985. ISSN-0281-4250. (A personal rediscovery of Scott's information systems.) (PDF).

(Partial) list of (older) references (BiBTeX)

Valid HTML 4.01 Transitional