Wlodzimierz Drabent

Wlodek Drabent

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

Coauthor Index

1	Sacha Berger	[34]
2	Johan Boye	[19]
3	François Bry (François Bry-Haußer)	[30]
4	Francisco Bueno	[18]
5	Marco Comini	[17] [23]
6	Emmanuel Coquery	[34]
7	Pierre Deransart	[18]
8	Mireille Ducassé	[17]
9	Massimo Fabris	[17]
10	Gérard Ferrand	[18]
11	Jakob Henriksson	[38] [40]
12	Manuel V. Hermenegildo	[18]
13	Krzysztof Kuchcinski	[12]
14	Jan Maluszynski	[3] [5] [6] [7] [12] [18] [19] [21] [24] [25] [27] [28] [30] [38] [39] [40]
15	Maurizio Martelli	[8]
16	Miroslawa Milkowska	[26] [31] [32]
17	Simin Nadjm-Tehrani	[6] [7]
18	Alessandra Di Pierro	[15] [16]
19	Pawel Pietrzak	[20] [21] [23] [24] [25] [27] [28]
20	Germán Puebla (German Puebla)	[17] [18]
21	Piotr Rudnicki	[1] [2]
22	Christian Schulte	[17]
23	Artur Wilk	[29] [34] [35] [37]

Colors in the list of coauthors