Wlodzimierz Drabent

Wlodek Drabent

	2012
j11		Wlodzimierz Drabent: A simple correctness proof for magic transformation. TPLP 12(6): 929-936 (2012)
c32		Wlodzimierz Drabent: Logic + control: An example. ICLP (Technical Communications) 2012: 301-311
c31		Suman Roy, Wlodek Drabent: Formalizing Business Process Using Hybrid Programs. OWLED 2012
	2011
i5		Wlodzimierz Drabent: Logic + control: An example of program construction. CoRR abs/1110.4978 (2011)
	2010
j10		Wlodzimierz Drabent, Jan Maluszynski: Hybrid rules with well-founded semantics. Knowl. Inf. Syst. 25(1): 137-168 (2010)
c30		Wlodzimierz Drabent: Hybrid Reasoning with Non-monotonic Rules. Reasoning Web 2010: 28-61
i4		Wlodzimierz Drabent: A Simple Correctness Proof for Magic Transformation. CoRR abs/1012.2299 (2010)
	2009
p1		Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski: Hybrid Reasoning with Rules and Ontologies. REWERSE 2009: 1-49
i3		Wlodzimierz Drabent, Jan Maluszynski: Hybrid Rules with Well-Founded Semantics. CoRR abs/0906.3815 (2009)
	2007
c29		Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski: HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. ALPSWS 2007
c28		Wlodzimierz Drabent, Jan Maluszynski: Well-Founded Semantics for Hybrid Rules. RR 2007: 1-15
c27		Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski: Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. RR 2007: 348-357
c26		Wlodzimierz Drabent, Artur Wilk: Extending XML Query Language Xcerpt by Ontology Queries. Web Intelligence 2007: 447-451
	2006
c25		Wlodzimierz Drabent: Towards More Precise Typing Rules for. PPSWR 2006: 120-133
c24		Artur Wilk, Wlodzimierz Drabent: A Prototype of a Descriptive Type System for Xcerpt. PPSWR 2006: 262-275
	2005
j9		Wlodzimierz Drabent, Miroslawa Milkowska: Proving correctness and completeness of normal programs - a declarative approach. TPLP 5(6): 669-711 (2005)
c23		Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk: Descriptive Typing Rules for Xcerpt. PPSWR 2005: 85-100
c22		Wlodzimierz Drabent: Towards Types for Web Rule Languages. Reasoning Web 2005: 305-317
i2		Wlodzimierz Drabent, Miroslawa Milkowska: Proving Correctness and Completeness of Normal Programs - a Declarative Approach. CoRR abs/cs/0501043 (2005)
	2004
c21		François Bry, Wlodzimierz Drabent, Jan Maluszynski: On Subtyping of Tree-Structured Data: A Polynomial Approach. PPSWR 2004: 1-18
	2003
c20		Artur Wilk, Wlodzimierz Drabent: On Types for XML Query Language Xcerpt. PPSWR 2003: 128-145
	2002
j8		Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Using parametric set constraints for locating errors in CLP programs. TPLP 2(4-5): 549-610 (2002)
i1		Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Using parametric set constraints for locating errors in CLP programs. CoRR cs.PL/0202010 (2002)
	2001
c19		Wlodzimierz Drabent, Miroslawa Milkowska: Proving Correctness and Completeness of Normal Programs - A Declarative Approach. ICLP 2001: 284-299
c18		Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Parametric Descriptive Types for CLP. JFPLC 2001: 239-256
	2000
c17		Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Locating Type Errors in Untyped CLP Programs. Analysis and Visualization Tools for Constraint Programming 2000: 121-150
	1999
j7		Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak: Type-based Diagnosis of CLP Programs. Electr. Notes Theor. Comput. Sci. 30(4): 215-234 (1999)
c16		Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak: Diagnosis of CHIP Programs Using Type Information. APPIA-GULP-PRODE 1999: 337-350
c15		Wlodzimierz Drabent: It Is Declarative. ICLP 1999: 607
	1998
c14		Wlodzimierz Drabent, Pawel Pietrzak: Type Analysis for CHIP. AMAST 1998: 389-405
	1997
c13		Johan Boye, Wlodzimierz Drabent, Jan Maluszynski: Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach. AADEBUG 1997: 123-140
c12		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. AADEBUG 1997: 155-169
c11		Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte: Tools and Environments for (Constraint) Logic Programming (Workshop Overview). ILPS 1997: 417-418
	1996
j6		Wlodzimierz Drabent: Completeness of SLDNF-Resolution for Nonfloundering Queries. J. Log. Program. 27(2): 89-106 (1996)
c10		Alessandra Di Pierro, Wlodzimierz Drabent: On Quantified Negatives Queries. APPIA-GULP-PRODE 1996: 179-190
c9		Alessandra Di Pierro, Wlodzimierz Drabent: On Negation As Instantiation. ALP 1996: 32-46
	1995
j5		Wlodzimierz Drabent: What is Failure? An Approach to Constructive Negation. Acta Inf. 32(1): 27-29 (1995)
	1993
c8		Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski: Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging. AADEBUG 1993: 350-367
c7		Wlodzimierz Drabent: SLS-Resolution without Floundering. LPNMR 1993: 82-98
c6		Wlodzimierz Drabent: Completeness of SLDNF-Resolution for Non-Floundering Queries. ILPS 1993: 643
	1992
c5		Wlodzimierz Drabent: What is Failure? Or: Constructive Negation by Fail Answers. ICCI 1992: 62-66
	1991
j4		Wlodzimierz Drabent, Maurizio Martelli: Strict Completion of Logic Programs. New Generation Comput. 9(1): 69-80 (1991)
	1988
j3		Wlodzimierz Drabent, Jan Maluszynski: Inductive Assertion Method for Logic Programs. Theor. Comput. Sci. 59: 133-155 (1988)
c4		Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski: The Use of Assertions in Algorithmic Debugging. FGCS 1988: 573-581
c3		Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski: Algorithmic Debugging with Assertions. META 1988: 501-521
	1987
c2		Wlodzimierz Drabent: Do Logic Programs Resemble Programs in Conventional Languages? SLP 1987: 289-396
c1		Wlodzimierz Drabent, Jan Maluszynski: Inductive Assertion Method for Logic Programs. TAPSOFT, Vol.2 1987: 167-181
	1986
j2		Piotr Rudnicki, Wlodzimierz Drabent: Erratum: Proving Properties of Pascal Programs in MIZAR 2. Acta Inf. 22(6): 699-707 (1986)
	1985
j1		Piotr Rudnicki, Wlodzimierz Drabent: Proving Properties of Pascal Programs in MIZAR 2. Acta Inf. 22(3): 311-331 (1985)

Coauthor Index

Colors in the list of coauthors

Last update Sat May 18 13:42:30 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page