Wlodzimierz Drabent
Wlodek Drabent
Institute of Computer Science, Polish Academy of Sciences, Poland
http://www.ipipan.waw.pl/~drabent/
https://orcid.org/0000-0002-4700-7272
Wlodzimierz Drabent
A relaxed condition for avoiding the occur-check.
114107
2023
October
975
Theor. Comput. Sci.
https://doi.org/10.1016/j.tcs.2023.114107
db/journals/tcs/tcs975.html#Drabent23
Wlodzimierz Drabent
Implementing Backjumping by Means of Exception Handling.
918-932
2023
July
23
Theory Pract. Log. Program.
4
https://doi.org/10.1017/s1471068423000285
db/journals/tplp/tplp23.html#Drabent23
Wlodzimierz Drabent
On Feasibility of Declarative Diagnosis.
ICLP
2023
193-200
journals/corr/abs-2308-14898
https://doi.org/10.4204/EPTCS.385.20
https://doi.org/10.48550/arXiv.2308.15867
db/series/eptcs/eptcs385.html#abs-2308-15867
Wlodzimierz Drabent
Implementing backjumping by means of exception handling.
2023
abs/2305.16137
CoRR
https://doi.org/10.48550/arXiv.2305.16137
db/journals/corr/corr2305.html#abs-2305-16137
Wlodzimierz Drabent
On Correctness and Completeness of an n Queens Program.
37-50
2022
22
Theory Pract. Log. Program.
1
https://doi.org/10.1017/S1471068421000223
db/journals/tplp/tplp22.html#Drabent22
Wlodzimierz Drabent
On Correctness of Normal Logic Programs.
142-154
2022
LOPSTR
https://doi.org/10.1007/978-3-031-16767-6_8
conf/lopstr/2022
db/conf/lopstr/lopstr2022.html#Drabent22
Wlodzimierz Drabent
A note on occur-check (extended report).
2022
abs/2204.05379
CoRR
https://doi.org/10.48550/arXiv.2204.05379
db/journals/corr/corr2204.html#abs-2204-05379
Wlodzimierz Drabent
S-Semantics-an Example.
60-74
2021
LOPSTR
https://doi.org/10.1007/978-3-030-98869-2_4
conf/lopstr/2021
db/conf/lopstr/lopstr2021.html#Drabent21
Wlodzimierz Drabent
A Note on Occur-Check.
ICLP Technical Communications
2021
54-67
journals/corr/abs-2109-07914
https://doi.org/10.4204/EPTCS.345.17
https://arxiv.org/abs/2109.08278
db/series/eptcs/eptcs345.html#abs-2109-08278
Wlodzimierz Drabent
SLD-resolution without occur-check, an example.
2021
abs/2103.01911
CoRR
https://arxiv.org/abs/2103.01911
db/journals/corr/corr2103.html#abs-2103-01911
Wlodzimierz Drabent
On correctness and completeness of an n queens program.
2021
abs/2108.08079
CoRR
https://arxiv.org/abs/2108.08079
db/journals/corr/corr2108.html#abs-2108-08079
Wlodzimierz Drabent
The Prolog Debugger and Declarative Programming. Examples.
2020
abs/2003.01422
CoRR
https://arxiv.org/abs/2003.01422
db/journals/corr/corr2003.html#abs-2003-01422
Wlodzimierz Drabent
S-semantics - an example.
2020
abs/2006.06077
CoRR
https://arxiv.org/abs/2006.06077
db/journals/corr/corr2006.html#abs-2006-06077
Wlodzimierz Drabent
Implementing backjumping by throw/1 and catch/3 of Prolog.
2020
abs/2008.09610
CoRR
https://arxiv.org/abs/2008.09610
db/journals/corr/corr2008.html#abs-2008-09610
Wlodzimierz Drabent
The Prolog Debugger and Declarative Programming.
193-208
2019
LOPSTR
https://doi.org/10.1007/978-3-030-45260-5_12
conf/lopstr/2019
db/conf/lopstr/lopstr2019.html#Drabent19
Wlodzimierz Drabent
The Prolog debugger and declarative programming.
2019
abs/1906.04765
CoRR
http://arxiv.org/abs/1906.04765
db/journals/corr/corr1906.html#abs-1906-04765
Wlodzimierz Drabent
On correctness of an n queens program.
2019
abs/1909.07479
CoRR
http://arxiv.org/abs/1909.07479
db/journals/corr/corr1909.html#abs-1909-07479
Wlodzimierz Drabent
Logic + control: On program construction and verification.
1-29
2018
18
Theory Pract. Log. Program.
1
https://doi.org/10.1017/S1471068417000047
db/journals/tplp/tplp18.html#Drabent18
Wlodzimierz Drabent
Proving completeness of logic programs with the cut.
155-172
2017
29
Formal Aspects Comput.
1
https://doi.org/10.1007/s00165-016-0392-0
db/journals/fac/fac29.html#Drabent17
Wlodzimierz Drabent
Correctness and Completeness of Logic Programs.
18
2016
17
ACM Trans. Comput. Log.
3
https://doi.org/10.1145/2898434
db/journals/tocl/tocl17.html#Drabent16
Wlodzimierz Drabent
On definite program answers and least Herbrand models.
498-508
2016
16
Theory Pract. Log. Program.
4
https://doi.org/10.1017/S1471068416000089
db/journals/tplp/tplp16.html#Drabent16
Wlodzimierz Drabent
Proving completeness of logic programs with the cut.
2016
abs/1602.08778
CoRR
http://arxiv.org/abs/1602.08778
db/journals/corr/corr1602.html#Drabent16
Wlodzimierz Drabent
On definite program answers and least Herbrand models.
2015
abs/1503.03324
CoRR
http://arxiv.org/abs/1503.03324
db/journals/corr/corr1503.html#Drabent15
Wlodzimierz Drabent
On Completeness of Logic Programs.
261-278
2014
LOPSTR
https://doi.org/10.1007/978-3-319-17822-6_15
conf/lopstr/2014
db/conf/lopstr/lopstr2014.html#Drabent14
Wlodzimierz Drabent
On completeness of logic programs.
2014
abs/1411.3015
CoRR
http://arxiv.org/abs/1411.3015
db/journals/corr/corr1411.html#Drabent14
Wlodzimierz Drabent
Correctness and completeness of logic programs.
2014
abs/1412.8739
CoRR
http://arxiv.org/abs/1412.8739
db/journals/corr/corr1412.html#Drabent14a
Wlodzimierz Drabent
A simple correctness proof for magic transformation.
929-936
2012
12
Theory Pract. Log. Program.
6
https://doi.org/10.1017/S1471068411000032
db/journals/tplp/tplp12.html#Drabent12
Wlodzimierz Drabent
Logic + control: An example.
301-311
2012
ICLP (Technical Communications)
https://doi.org/10.4230/LIPIcs.ICLP.2012.301
conf/iclp/2012
db/conf/iclp/iclp2012.html#Drabent12
Suman Roy 0001
Wlodek Drabent
Formalizing Business Process Using Hybrid Programs.
2012
OWLED
https://ceur-ws.org/Vol-849/paper_24.pdf
conf/owled/2012
db/conf/owled/owled2012.html#RoyD12
Wlodzimierz Drabent
Logic + control: An example of program construction
http://arxiv.org/abs/1110.4978
2011
CoRR
abs/1110.4978
db/journals/corr/corr1110.html#abs-1110-4978
Wlodzimierz Drabent
Jan Maluszynski
Hybrid rules with well-founded semantics.
137-168
2010
25
Knowl. Inf. Syst.
1
https://doi.org/10.1007/s10115-010-0300-5
db/journals/kais/kais25.html#DrabentM10
Wlodzimierz Drabent
Hybrid Reasoning with Non-monotonic Rules.
28-61
2010
Reasoning Web
https://doi.org/10.1007/978-3-642-15543-7_2
conf/rweb/2010
db/conf/rweb/rweb2010.html#Drabent10
Wlodzimierz Drabent
A Simple Correctness Proof for Magic Transformation
http://arxiv.org/abs/1012.2299
2010
CoRR
abs/1012.2299
db/journals/corr/corr1012.html#abs-1012-2299
Wlodzimierz Drabent
Thomas Eiter
Giovambattista Ianni
Thomas Krennwallner
Thomas Lukasiewicz
Jan Maluszynski
Hybrid Reasoning with Rules and Ontologies.
1-49
2009
REWERSE
https://doi.org/10.1007/978-3-642-04581-3_1
https://www.wikidata.org/entity/Q57549125
series/lncs/5500
db/series/lncs/lncs5500.html#DrabentEIKLM09
Wlodzimierz Drabent
Jan Maluszynski
Hybrid Rules with Well-Founded Semantics
http://arxiv.org/abs/0906.3815
2009
CoRR
abs/0906.3815
db/journals/corr/corr0906.html#abs-0906-3815
Wlodzimierz Drabent
Jakob Henriksson
Jan Maluszynski
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners.
2007
ALPSWS
https://ceur-ws.org/Vol-287/paper_9.pdf
conf/iclp/2007alpsws
db/conf/iclp/alpsws2007.html#DrabentHM07
Wlodzimierz Drabent
Jan Maluszynski
Well-Founded Semantics for Hybrid Rules.
1-15
2007
conf/rr/2007
RR
https://doi.org/10.1007/978-3-540-72982-2_1
db/conf/rr/rr2007.html#DrabentM07
Wlodzimierz Drabent
Jakob Henriksson
Jan Maluszynski
Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics.
348-357
2007
conf/rr/2007
RR
https://doi.org/10.1007/978-3-540-72982-2_29
db/conf/rr/rr2007.html#DrabentHM07
Wlodzimierz Drabent
Artur Wilk
Extending XML Query Language Xcerpt by Ontology Queries.
447-451
2007
conf/webi/2007
Web Intelligence
https://doi.org/10.1109/WI.2007.128
https://doi.ieeecomputersociety.org/10.1109/WI.2007.128
db/conf/webi/webi2007.html#DrabentW07
Wlodzimierz Drabent
Towards More Precise Typing Rules for.
120-133
2006
conf/ppswr/2006
PPSWR
https://doi.org/10.1007/11853107_9
db/conf/ppswr/ppswr2006.html#Drabent06
Artur Wilk
Wlodzimierz Drabent
A Prototype of a Descriptive Type System for Xcerpt.
262-275
2006
conf/ppswr/2006
PPSWR
https://doi.org/10.1007/11853107_21
db/conf/ppswr/ppswr2006.html#WilkD06
Wlodzimierz Drabent
Miroslawa Milkowska
Proving correctness and completeness of normal programs - a declarative approach.
669-711
2005
5
Theory Pract. Log. Program.
6
https://doi.org/10.1017/S147106840500253X
db/journals/tplp/tplp5.html#DrabentM05
Sacha Berger
Emmanuel Coquery
Wlodzimierz Drabent
Artur Wilk
Descriptive Typing Rules for Xcerpt.
85-100
2005
conf/ppswr/2005
PPSWR
https://doi.org/10.1007/11552222_9
db/conf/ppswr/ppswr2005.html#BergerCDW05
Wlodzimierz Drabent
Towards Types for Web Rule Languages.
305-317
2005
conf/rweb/2005
Reasoning Web
https://doi.org/10.1007/11526988_10
db/conf/rweb/rweb2005.html#Drabent05
Wlodzimierz Drabent
Miroslawa Milkowska
Proving Correctness and Completeness of Normal Programs - a Declarative Approach
http://arxiv.org/abs/cs/0501043
2005
CoRR
abs/cs/0501043
db/journals/corr/corr0501.html#abs-cs-0501043
François Bry
Wlodzimierz Drabent
Jan Maluszynski
On Subtyping of Tree-Structured Data: A Polynomial Approach.
1-18
https://doi.org/10.1007/978-3-540-30122-6_1
2004
conf/ppswr/2004
PPSWR
db/conf/ppswr/ppswr2004.html#BryDM04
Artur Wilk
Wlodzimierz Drabent
On Types for XML Query Language Xcerpt.
128-145
https://doi.org/10.1007/978-3-540-24572-8_9
2003
conf/ppswr/2003
PPSWR
db/conf/ppswr/ppswr2003.html#WilkD03
Wlodzimierz Drabent
Jan Maluszynski
Pawel Pietrzak
Using parametric set constraints for locating errors in CLP programs.
549-610
2002
2
Theory Pract. Log. Program.
4-5
db/journals/tplp/tplp2.html#DrabentMP02
https://doi.org/10.1017/S1471068402001473
Wlodzimierz Drabent
Jan Maluszynski
Pawel Pietrzak
Using parametric set constraints for locating errors in CLP programs
https://arxiv.org/abs/cs/0202010
2002
CoRR
cs.PL/0202010
db/journals/corr/corr0202.html#cs-PL-0202010
Wlodzimierz Drabent
Miroslawa Milkowska
Proving Correctness and Completeness of Normal Programs - A Declarative Approach.
284-299
2001
conf/iclp/2001
ICLP
https://doi.org/10.1007/3-540-45635-X_27
db/conf/iclp/iclp2001.html#DrabentM01
Wlodzimierz Drabent
Jan Maluszynski
Pawel Pietrzak
Parametric Descriptive Types for CLP.
239-256
2001
conf/jfplc/2001
JFPLC
db/conf/jfplc/jfplc2001.html#DrabentMP01
Wlodzimierz Drabent
Jan Maluszynski
Pawel Pietrzak
Locating Type Errors in Untyped CLP Programs.
121-150
2000
conf/discipl/2000
Analysis and Visualization Tools for Constraint Programming
db/conf/discipl/discipl2000.html#DrabentMP00
https://doi.org/10.1007/10722311_5
Marco Comini
Wlodzimierz Drabent
Pawel Pietrzak
Diagnosis of CHIP Programs Using Type Information.
337-350
1999
conf/agp/1999
APPIA-GULP-PRODE
db/conf/agp/agp1999.html#CominiDP99
Wlodzimierz Drabent
It Is Declarative.
607
1999
conf/iclp/1999
ICLP
db/conf/iclp/iclp99.html#Drabent99
Wlodzimierz Drabent
Jan Maluszynski
Pawel Pietrzak
Type-based Diagnosis of CLP Programs.
1999
conf/lpe/1999
https://doi.org/10.1016/S1571-0661(05)80659-0
WLPE@ICLP
db/conf/lpe/wlpe1999.html#DrabentMP99
215-234
Wlodzimierz Drabent
Pawel Pietrzak
Type Analysis for CHIP.
389-405
1998
conf/amast/1998
AMAST
https://doi.org/10.1007/3-540-49253-4_28
db/conf/amast/amast98.html#DrabentP98
Johan Boye
Wlodzimierz Drabent
Jan Maluszynski
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach.
123-140
1997
conf/aadebug/1997
AADEBUG
db/conf/aadebug/aadebug97.html#BoyeDM97
http://www.ep.liu.se/ecp/article.asp?issue=001&article=011
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.
155-169
1997
conf/aadebug/1997
AADEBUG
db/conf/aadebug/aadebug97.html#BuenoDDFHMP97
http://www.ep.liu.se/ecp/article.asp?issue=001&article=013
Germán Puebla
Marco Comini
Wlodzimierz Drabent
Mireille Ducassé
Massimo Fabris
Christian Schulte 0001
Tools and Environments for (Constraint) Logic Programming (Workshop Overview).
417-418
1997
conf/slp/1997
ILPS
db/conf/slp/slp97.html#PueblaCDDFS97
Wlodzimierz Drabent
Completeness of SLDNF-Resolution for Nonfloundering Queries.
89-106
1996
27
J. Log. Program.
2
db/journals/jlp/jlp27.html#Drabent96
https://doi.org/10.1016/0743-1066(95)00118-2
Alessandra Di Pierro
Wlodzimierz Drabent
On Quantified Negatives Queries.
179-190
1996
conf/agp/1996
APPIA-GULP-PRODE
db/conf/agp/agp1996.html#PierroD96
Alessandra Di Pierro
Wlodzimierz Drabent
On Negation As Instantiation.
32-46
1996
conf/alp/1996
ALP
db/conf/alp/alp96.html#PierroD96
https://doi.org/10.1007/3-540-61735-3_2
Wlodzimierz Drabent
What is Failure? An Approach to Constructive Negation.
Acta Informatica
32
1
1995
27-29
db/journals/acta/acta32.html#Drabent95
https://doi.org/10.1007/BF01185404
Krzysztof Kuchcinski
Wlodzimierz Drabent
Jan Maluszynski
Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging.
350-367
1993
conf/aadebug/1993
AADEBUG
db/conf/aadebug/aadebug93.html#KuchcinskiDM93
https://doi.org/10.1007/BFb0019419
Wlodzimierz Drabent
SLS-Resolution without Floundering.
82-98
1993
conf/lpnmr/1993
LPNMR
db/conf/lpnmr/lpnmr93.html#Drabent93
Wlodzimierz Drabent
Completeness of SLDNF-Resolution for Non-Floundering Queries.
643
1993
conf/slp/1993
ILPS
db/conf/slp/slp93.html#Drabent93
Wlodzimierz Drabent
What is Failure? Or: Constructive Negation by Fail Answers.
62-66
1992
conf/icci/1992
ICCI
db/conf/icci/icci1992.html#Drabent92
Wlodzimierz Drabent
Maurizio Martelli
Strict Completion of Logic Programs.
69-80
1991
9
New Gener. Comput.
1
db/journals/ngc/ngc9.html#DrabentM91
https://doi.org/10.1007/BF03037151
Wlodzimierz Drabent
Jan Maluszynski
Inductive Assertion Method for Logic Programs.
133-155
1988
59
Theor. Comput. Sci.
db/journals/tcs/tcs59.html#DrabentM88
https://doi.org/10.1016/0304-3975(88)90099-0
Wlodzimierz Drabent
Simin Nadjm-Tehrani
Jan Maluszynski
The Use of Assertions in Algorithmic Debugging.
573-581
1988
conf/fgcs/1988
FGCS
db/conf/fgcs/fgcs88.html#DrabentNM88
Wlodzimierz Drabent
Simin Nadjm-Tehrani
Jan Maluszynski
Algorithmic Debugging with Assertions.
501-521
1988
conf/meta/1988
META
db/conf/meta/meta88.html#DrabentNM88
Wlodzimierz Drabent
Do Logic Programs Resemble Programs in Conventional Languages?
289-396
1987
conf/slp/1987
SLP
db/conf/slp/slp87.html#Drabent87
Wlodzimierz Drabent
Jan Maluszynski
Inductive Assertion Method for Logic Programs.
167-181
1987
conf/tapsoft/1987-2
TAPSOFT, Vol.2
db/conf/tapsoft/tapsoft87-2.html#DrabentM87
https://doi.org/10.1007/BFb0014980
Piotr Rudnicki
Wlodzimierz Drabent
Erratum: Proving Properties of Pascal Programs in MIZAR 2.
699-707
1986
22
Acta Informatica
6
db/journals/acta/acta22.html#RudnickiD86
https://doi.org/10.1007/BF00263652
Piotr Rudnicki
Wlodzimierz Drabent
Proving Properties of Pascal Programs in MIZAR 2.
311-331
1985
22
Acta Informatica
3
db/journals/acta/acta22.html#RudnickiD85
https://doi.org/10.1007/BF00265684
Sacha Berger
Johan Boye
François Bry
Francisco Bueno
Marco Comini
Emmanuel Coquery
Pierre Deransart
Mireille Ducassé
Thomas Eiter
Massimo Fabris
Gérard Ferrand
Jakob Henriksson
Manuel V. Hermenegildo
Giovambattista Ianni
Thomas Krennwallner
Krzysztof Kuchcinski
Thomas Lukasiewicz
Jan Maluszynski
Maurizio Martelli
Miroslawa Milkowska
Simin Nadjm-Tehrani
Alessandra Di Pierro
Pawel Pietrzak
Germán Puebla
Suman Roy 0001
Piotr Rudnicki
Christian Schulte 0001
Artur Wilk