Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Wlodzimierz Drabent
@article{DBLP:journals/tcs/Drabent23,
author = {Wlodzimierz Drabent},
title = {A relaxed condition for avoiding the occur-check},
journal = {Theor. Comput. Sci.},
volume = {975},
pages = {114107},
year = {2023},
url = {https://doi.org/10.1016/j.tcs.2023.114107},
doi = {10.1016/J.TCS.2023.114107},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/Drabent23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Drabent23,
author = {Wlodzimierz Drabent},
title = {Implementing Backjumping by Means of Exception Handling},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {918--932},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000285},
doi = {10.1017/S1471068423000285},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Drabent23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-15867,
author = {Wlodzimierz Drabent},
editor = {Enrico Pontelli and
Stefania Costantini and
Carmine Dodaro and
Sarah Alice Gaggl and
Roberta Calegari and
Artur S. d'Avila Garcez and
Francesco Fabiano and
Alessandra Mileo and
Alessandra Russo and
Francesca Toni},
title = {On Feasibility of Declarative Diagnosis},
booktitle = {Proceedings 39th International Conference on Logic Programming, {ICLP}
2023, Imperial College London, UK, 9th July 2023 - 15th July 2023},
series = {{EPTCS}},
volume = {385},
pages = {193--200},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.385.20},
doi = {10.4204/EPTCS.385.20},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15867.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-16137,
author = {Wlodzimierz Drabent},
title = {Implementing backjumping by means of exception handling},
journal = {CoRR},
volume = {abs/2305.16137},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.16137},
doi = {10.48550/ARXIV.2305.16137},
eprinttype = {arXiv},
eprint = {2305.16137},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-16137.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Drabent22,
author = {Wlodzimierz Drabent},
title = {On Correctness and Completeness of an n Queens Program},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {1},
pages = {37--50},
year = {2022},
url = {https://doi.org/10.1017/S1471068421000223},
doi = {10.1017/S1471068421000223},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Drabent22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Drabent22,
author = {Wlodzimierz Drabent},
editor = {Alicia Villanueva},
title = {On Correctness of Normal Logic Programs},
booktitle = {Logic-Based Program Synthesis and Transformation - 32nd International
Symposium, {LOPSTR} 2022, Tbilisi, Georgia, September 21-23, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13474},
pages = {142--154},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16767-6\_8},
doi = {10.1007/978-3-031-16767-6\_8},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Drabent22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-05379,
author = {Wlodzimierz Drabent},
title = {A note on occur-check (extended report)},
journal = {CoRR},
volume = {abs/2204.05379},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.05379},
doi = {10.48550/ARXIV.2204.05379},
eprinttype = {arXiv},
eprint = {2204.05379},
timestamp = {Tue, 19 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-05379.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Drabent21,
author = {Wlodzimierz Drabent},
editor = {Emanuele De Angelis and
Wim Vanhoof},
title = {S-Semantics-an Example},
booktitle = {Logic-Based Program Synthesis and Transformation - 31st International
Symposium, {LOPSTR} 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13290},
pages = {60--74},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-98869-2\_4},
doi = {10.1007/978-3-030-98869-2\_4},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Drabent21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08278,
author = {Wlodzimierz Drabent},
editor = {Andrea Formisano and
Yanhong Annie Liu and
Bart Bogaerts and
Alex Brik and
Ver{\'{o}}nica Dahl and
Carmine Dodaro and
Paul Fodor and
Gian Luca Pozzato and
Joost Vennekens and
Neng{-}Fa Zhou},
title = {A Note on Occur-Check},
booktitle = {Proceedings 37th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2021, Porto (virtual
event), 20-27th September 2021},
series = {{EPTCS}},
volume = {345},
pages = {54--67},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.345.17},
doi = {10.4204/EPTCS.345.17},
timestamp = {Mon, 03 Jan 2022 22:03:23 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-01911,
author = {Wlodzimierz Drabent},
title = {SLD-resolution without occur-check, an example},
journal = {CoRR},
volume = {abs/2103.01911},
year = {2021},
url = {https://arxiv.org/abs/2103.01911},
eprinttype = {arXiv},
eprint = {2103.01911},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-01911.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-08079,
author = {Wlodzimierz Drabent},
title = {On correctness and completeness of an n queens program},
journal = {CoRR},
volume = {abs/2108.08079},
year = {2021},
url = {https://arxiv.org/abs/2108.08079},
eprinttype = {arXiv},
eprint = {2108.08079},
timestamp = {Mon, 23 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-08079.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-01422,
author = {Wlodzimierz Drabent},
title = {The Prolog Debugger and Declarative Programming. Examples},
journal = {CoRR},
volume = {abs/2003.01422},
year = {2020},
url = {https://arxiv.org/abs/2003.01422},
eprinttype = {arXiv},
eprint = {2003.01422},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-01422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-06077,
author = {Wlodzimierz Drabent},
title = {S-semantics - an example},
journal = {CoRR},
volume = {abs/2006.06077},
year = {2020},
url = {https://arxiv.org/abs/2006.06077},
eprinttype = {arXiv},
eprint = {2006.06077},
timestamp = {Sat, 13 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-06077.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-09610,
author = {Wlodzimierz Drabent},
title = {Implementing backjumping by throw/1 and catch/3 of Prolog},
journal = {CoRR},
volume = {abs/2008.09610},
year = {2020},
url = {https://arxiv.org/abs/2008.09610},
eprinttype = {arXiv},
eprint = {2008.09610},
timestamp = {Fri, 28 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-09610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Drabent19,
author = {Wlodzimierz Drabent},
editor = {Maurizio Gabbrielli},
title = {The Prolog Debugger and Declarative Programming},
booktitle = {Logic-Based Program Synthesis and Transformation - 29th International
Symposium, {LOPSTR} 2019, Porto, Portugal, October 8-10, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12042},
pages = {193--208},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-45260-5\_12},
doi = {10.1007/978-3-030-45260-5\_12},
timestamp = {Mon, 04 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Drabent19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-04765,
author = {Wlodzimierz Drabent},
title = {The Prolog debugger and declarative programming},
journal = {CoRR},
volume = {abs/1906.04765},
year = {2019},
url = {http://arxiv.org/abs/1906.04765},
eprinttype = {arXiv},
eprint = {1906.04765},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-04765.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-07479,
author = {Wlodzimierz Drabent},
title = {On correctness of an n queens program},
journal = {CoRR},
volume = {abs/1909.07479},
year = {2019},
url = {http://arxiv.org/abs/1909.07479},
eprinttype = {arXiv},
eprint = {1909.07479},
timestamp = {Mon, 23 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-07479.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Drabent18,
author = {Wlodzimierz Drabent},
title = {Logic + control: On program construction and verification},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {1},
pages = {1--29},
year = {2018},
url = {https://doi.org/10.1017/S1471068417000047},
doi = {10.1017/S1471068417000047},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Drabent18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/Drabent17,
author = {Wlodzimierz Drabent},
title = {Proving completeness of logic programs with the cut},
journal = {Formal Aspects Comput.},
volume = {29},
number = {1},
pages = {155--172},
year = {2017},
url = {https://doi.org/10.1007/s00165-016-0392-0},
doi = {10.1007/S00165-016-0392-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/Drabent17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/Drabent16,
author = {Wlodzimierz Drabent},
title = {Correctness and Completeness of Logic Programs},
journal = {{ACM} Trans. Comput. Log.},
volume = {17},
number = {3},
pages = {18},
year = {2016},
url = {https://doi.org/10.1145/2898434},
doi = {10.1145/2898434},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/Drabent16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Drabent16,
author = {Wlodzimierz Drabent},
title = {On definite program answers and least Herbrand models},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {4},
pages = {498--508},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000089},
doi = {10.1017/S1471068416000089},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Drabent16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Drabent16,
author = {Wlodzimierz Drabent},
title = {Proving completeness of logic programs with the cut},
journal = {CoRR},
volume = {abs/1602.08778},
year = {2016},
url = {http://arxiv.org/abs/1602.08778},
eprinttype = {arXiv},
eprint = {1602.08778},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Drabent16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Drabent15,
author = {Wlodzimierz Drabent},
title = {On definite program answers and least Herbrand models},
journal = {CoRR},
volume = {abs/1503.03324},
year = {2015},
url = {http://arxiv.org/abs/1503.03324},
eprinttype = {arXiv},
eprint = {1503.03324},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Drabent15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Drabent14,
author = {Wlodzimierz Drabent},
editor = {Maurizio Proietti and
Hirohisa Seki},
title = {On Completeness of Logic Programs},
booktitle = {Logic-Based Program Synthesis and Transformation - 24th International
Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8981},
pages = {261--278},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17822-6\_15},
doi = {10.1007/978-3-319-17822-6\_15},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Drabent14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Drabent14,
author = {Wlodzimierz Drabent},
title = {On completeness of logic programs},
journal = {CoRR},
volume = {abs/1411.3015},
year = {2014},
url = {http://arxiv.org/abs/1411.3015},
eprinttype = {arXiv},
eprint = {1411.3015},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Drabent14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Drabent14a,
author = {Wlodzimierz Drabent},
title = {Correctness and completeness of logic programs},
journal = {CoRR},
volume = {abs/1412.8739},
year = {2014},
url = {http://arxiv.org/abs/1412.8739},
eprinttype = {arXiv},
eprint = {1412.8739},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Drabent14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Drabent12,
author = {Wlodzimierz Drabent},
title = {A simple correctness proof for magic transformation},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {6},
pages = {929--936},
year = {2012},
url = {https://doi.org/10.1017/S1471068411000032},
doi = {10.1017/S1471068411000032},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Drabent12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Drabent12,
author = {Wlodzimierz Drabent},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Logic + control: An example},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {301--311},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.301},
doi = {10.4230/LIPICS.ICLP.2012.301},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Drabent12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/owled/RoyD12,
author = {Suman Roy and
Wlodek Drabent},
editor = {Pavel Klinov and
Matthew Horridge},
title = {Formalizing Business Process Using Hybrid Programs},
booktitle = {Proceedings of {OWL:} Experiences and Directions Workshop 2012, Heraklion,
Crete, Greece, May 27-28, 2012},
series = {{CEUR} Workshop Proceedings},
volume = {849},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-849/paper\_24.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:02 +0100},
biburl = {https://dblp.org/rec/conf/owled/RoyD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-4978,
author = {Wlodzimierz Drabent},
title = {Logic + control: An example of program construction},
journal = {CoRR},
volume = {abs/1110.4978},
year = {2011},
url = {http://arxiv.org/abs/1110.4978},
eprinttype = {arXiv},
eprint = {1110.4978},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-4978.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kais/DrabentM10,
author = {Wlodzimierz Drabent and
Jan Maluszynski},
title = {Hybrid rules with well-founded semantics},
journal = {Knowl. Inf. Syst.},
volume = {25},
number = {1},
pages = {137--168},
year = {2010},
url = {https://doi.org/10.1007/s10115-010-0300-5},
doi = {10.1007/S10115-010-0300-5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kais/DrabentM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/Drabent10,
author = {Wlodzimierz Drabent},
editor = {Uwe A{\ss}mann and
Andreas Bartho and
Christian Wende},
title = {Hybrid Reasoning with Non-monotonic Rules},
booktitle = {Reasoning Web. Semantic Technologies for Software Engineering, 6th
International Summer School 2010, Dresden, Germany, August 30 - September
3, 2010. Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {6325},
pages = {28--61},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15543-7\_2},
doi = {10.1007/978-3-642-15543-7\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rweb/Drabent10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-2299,
author = {Wlodzimierz Drabent},
title = {A Simple Correctness Proof for Magic Transformation},
journal = {CoRR},
volume = {abs/1012.2299},
year = {2010},
url = {http://arxiv.org/abs/1012.2299},
eprinttype = {arXiv},
eprint = {1012.2299},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-2299.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/DrabentEIKLM09,
author = {Wlodzimierz Drabent and
Thomas Eiter and
Giovambattista Ianni and
Thomas Krennwallner and
Thomas Lukasiewicz and
Jan Maluszynski},
editor = {Fran{\c{c}}ois Bry and
Jan Maluszynski},
title = {Hybrid Reasoning with Rules and Ontologies},
booktitle = {Semantic Techniques for the Web, The {REWERSE} Perspective},
series = {Lecture Notes in Computer Science},
volume = {5500},
pages = {1--49},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04581-3\_1},
doi = {10.1007/978-3-642-04581-3\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/DrabentEIKLM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-3815,
author = {Wlodzimierz Drabent and
Jan Maluszynski},
title = {Hybrid Rules with Well-Founded Semantics},
journal = {CoRR},
volume = {abs/0906.3815},
year = {2009},
url = {http://arxiv.org/abs/0906.3815},
eprinttype = {arXiv},
eprint = {0906.3815},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-3815.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DrabentHM07,
author = {Wlodzimierz Drabent and
Jakob Henriksson and
Jan Maluszynski},
editor = {Axel Polleres and
David Pearce and
Stijn Heymans and
Edna Ruckhaus},
title = {HD-rules: {A} Hybrid System Interfacing Prolog with DL-reasoners},
booktitle = {Proceedings of the ICLP'07 Workshop on Applications of Logic Programming
to the Web, Semantic Web and Semantic Web Services, {ALPSWS} 2007,
Porto, Portugal, September 13th, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {287},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-287/paper\_9.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DrabentHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/DrabentM07,
author = {Wlodzimierz Drabent and
Jan Maluszynski},
editor = {Massimo Marchiori and
Jeff Z. Pan and
Christian de Sainte Marie},
title = {Well-Founded Semantics for Hybrid Rules},
booktitle = {Web Reasoning and Rule Systems, First International Conference, {RR}
2007, Innsbruck , Austria, June 7-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4524},
pages = {1--15},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72982-2\_1},
doi = {10.1007/978-3-540-72982-2\_1},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/DrabentM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/DrabentHM07,
author = {Wlodzimierz Drabent and
Jakob Henriksson and
Jan Maluszynski},
editor = {Massimo Marchiori and
Jeff Z. Pan and
Christian de Sainte Marie},
title = {Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics},
booktitle = {Web Reasoning and Rule Systems, First International Conference, {RR}
2007, Innsbruck , Austria, June 7-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4524},
pages = {348--357},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72982-2\_29},
doi = {10.1007/978-3-540-72982-2\_29},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rr/DrabentHM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/DrabentW07,
author = {Wlodzimierz Drabent and
Artur Wilk},
title = {Extending {XML} Query Language Xcerpt by Ontology Queries},
booktitle = {2007 {IEEE} / {WIC} / {ACM} International Conference on Web Intelligence,
{WI} 2007, 2-5 November 2007, Silicon Valley, CA, USA, Main Conference
Proceedings},
pages = {447--451},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/WI.2007.128},
doi = {10.1109/WI.2007.128},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webi/DrabentW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/Drabent06,
author = {Wlodzimierz Drabent},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
James Bailey and
Wolfgang May and
Uta Schwertel},
title = {Towards More Precise Typing Rules for},
booktitle = {Principles and Practice of Semantic Web Reasoning, 4th International
Workshop, {PPSWR} 2006, Budva, Montenegro, June 10-11, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4187},
pages = {120--133},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853107\_9},
doi = {10.1007/11853107\_9},
timestamp = {Wed, 25 Sep 2019 18:02:49 +0200},
biburl = {https://dblp.org/rec/conf/ppswr/Drabent06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/WilkD06,
author = {Artur Wilk and
Wlodzimierz Drabent},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
James Bailey and
Wolfgang May and
Uta Schwertel},
title = {A Prototype of a Descriptive Type System for Xcerpt},
booktitle = {Principles and Practice of Semantic Web Reasoning, 4th International
Workshop, {PPSWR} 2006, Budva, Montenegro, June 10-11, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4187},
pages = {262--275},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853107\_21},
doi = {10.1007/11853107\_21},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppswr/WilkD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DrabentM05,
author = {Wlodzimierz Drabent and
Miroslawa Milkowska},
title = {Proving correctness and completeness of normal programs - a declarative
approach},
journal = {Theory Pract. Log. Program.},
volume = {5},
number = {6},
pages = {669--711},
year = {2005},
url = {https://doi.org/10.1017/S147106840500253X},
doi = {10.1017/S147106840500253X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/DrabentM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/BergerCDW05,
author = {Sacha Berger and
Emmanuel Coquery and
Wlodzimierz Drabent and
Artur Wilk},
editor = {Fran{\c{c}}ois Fages and
Sylvain Soliman},
title = {Descriptive Typing Rules for Xcerpt},
booktitle = {Principles and Practice of Semantic Web Reasoning, Third International
Workshop, {PPSWR} 2005, Dagstuhl Castle, Germany, September 11-16,
2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3703},
pages = {85--100},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11552222\_9},
doi = {10.1007/11552222\_9},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ppswr/BergerCDW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rweb/Drabent05,
author = {Wlodzimierz Drabent},
editor = {Norbert Eisinger and
Jan Maluszynski},
title = {Towards Types for Web Rule Languages},
booktitle = {Reasoning Web, First International Summer School 2005, Msida, Malta,
July 25-29, 2005, Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {3564},
pages = {305--317},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11526988\_10},
doi = {10.1007/11526988\_10},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rweb/Drabent05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0501043,
author = {Wlodzimierz Drabent and
Miroslawa Milkowska},
title = {Proving Correctness and Completeness of Normal Programs - a Declarative
Approach},
journal = {CoRR},
volume = {abs/cs/0501043},
year = {2005},
url = {http://arxiv.org/abs/cs/0501043},
eprinttype = {arXiv},
eprint = {cs/0501043},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0501043.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/BryDM04,
author = {Fran{\c{c}}ois Bry and
Wlodzimierz Drabent and
Jan Maluszynski},
editor = {Hans J{\"{u}}rgen Ohlbach and
Sebastian Schaffert},
title = {On Subtyping of Tree-Structured Data: {A} Polynomial Approach},
booktitle = {Principles and Practice of Semantic Web Reasoning, Second International
Workshop, {PPSWR} 2004, St. Malo, France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3208},
pages = {1--18},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30122-6\_1},
doi = {10.1007/978-3-540-30122-6\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ppswr/BryDM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/WilkD03,
author = {Artur Wilk and
Wlodzimierz Drabent},
editor = {Fran{\c{c}}ois Bry and
Nicola Henze and
Jan Maluszynski},
title = {On Types for {XML} Query Language Xcerpt},
booktitle = {Principles and Practice of Semantic Web Reasoning, International Workshop,
{PPSWR} 2003, Mumbai, India, December 8, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2901},
pages = {128--145},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24572-8\_9},
doi = {10.1007/978-3-540-24572-8\_9},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/ppswr/WilkD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DrabentMP02,
author = {Wlodzimierz Drabent and
Jan Maluszynski and
Pawel Pietrzak},
title = {Using parametric set constraints for locating errors in {CLP} programs},
journal = {Theory Pract. Log. Program.},
volume = {2},
number = {4-5},
pages = {549--610},
year = {2002},
url = {https://doi.org/10.1017/S1471068402001473},
doi = {10.1017/S1471068402001473},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/DrabentMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0202010,
author = {Wlodzimierz Drabent and
Jan Maluszynski and
Pawel Pietrzak},
title = {Using parametric set constraints for locating errors in {CLP} programs},
journal = {CoRR},
volume = {cs.PL/0202010},
year = {2002},
url = {https://arxiv.org/abs/cs/0202010},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-PL-0202010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DrabentM01,
author = {Wlodzimierz Drabent and
Miroslawa Milkowska},
editor = {Philippe Codognet},
title = {Proving Correctness and Completeness of Normal Programs - {A} Declarative
Approach},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {284--299},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_27},
doi = {10.1007/3-540-45635-X\_27},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DrabentM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/DrabentMP01,
author = {Wlodzimierz Drabent and
Jan Maluszynski and
Pawel Pietrzak},
editor = {Philippe Codognet},
title = {Parametric Descriptive Types for {CLP}},
booktitle = {Programmation en logique avec contraintes, Actes des JFPLC'2001, 24
avril - 27 avril 2001, Cit{\'{e}} des sciences et de l'industrie,
Paris, France},
pages = {239--256},
publisher = {Hermes},
year = {2001},
timestamp = {Sat, 23 Jun 2018 18:47:29 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/DrabentMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/DrabentMP00,
author = {Wlodzimierz Drabent and
Jan Maluszynski and
Pawel Pietrzak},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Locating Type Errors in Untyped {CLP} Programs},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {121--150},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_5},
doi = {10.1007/10722311\_5},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/discipl/DrabentMP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CominiDP99,
author = {Marco Comini and
Wlodzimierz Drabent and
Pawel Pietrzak},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Diagnosis of {CHIP} Programs Using Type Information},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {337--350},
year = {1999},
timestamp = {Wed, 01 Dec 2004 15:33:47 +0100},
biburl = {https://dblp.org/rec/conf/agp/CominiDP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Drabent99,
author = {Wlodzimierz Drabent},
editor = {Danny De Schreye},
title = {It Is Declarative},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {607},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Drabent99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/DrabentMP99,
author = {Wlodzimierz Drabent and
Jan Maluszynski and
Pawel Pietrzak},
editor = {Mireille Ducass{\'{e}} and
Anthony J. Kusalik and
Germ{\'{a}}n Puebla},
title = {Type-based Diagnosis of {CLP} Programs},
booktitle = {Tenth Workshop on Logic Programming Environments, {WLPE} 1999, in
connection with the International Conference on Logic Programming,
{ICLP} 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {4},
pages = {215--234},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80659-0},
doi = {10.1016/S1571-0661(05)80659-0},
timestamp = {Wed, 23 Nov 2022 16:44:13 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DrabentMP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/DrabentP98,
author = {Wlodzimierz Drabent and
Pawel Pietrzak},
editor = {Armando Martin Haeberer},
title = {Type Analysis for {CHIP}},
booktitle = {Algebraic Methodology and Software Technology, 7th International Conference,
{AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1548},
pages = {389--405},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49253-4\_28},
doi = {10.1007/3-540-49253-4\_28},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/DrabentP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/BoyeDM97,
author = {Johan Boye and
Wlodzimierz Drabent and
Jan Maluszynski},
editor = {Mariam Kamkar},
title = {Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {123--140},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&\#38;article=011},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/BoyeDM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/BuenoDDFHMP97,
author = {Francisco Bueno and
Pierre Deransart and
Wlodzimierz Drabent and
G{\'{e}}rard Ferrand and
Manuel V. Hermenegildo and
Jan Maluszynski and
Germ{\'{a}}n Puebla},
editor = {Mariam Kamkar},
title = {On the Role of Semantic Approximations on Validation and Diagnosis
of Contraint Logic Programs},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {155--169},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&\#38;article=013},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/BuenoDDFHMP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PueblaCDDFS97,
author = {Germ{\'{a}}n Puebla and
Marco Comini and
Wlodzimierz Drabent and
Mireille Ducass{\'{e}} and
Massimo Fabris and
Christian Schulte},
editor = {Jan Maluszynski},
title = {Tools and Environments for (Constraint) Logic Programming (Workshop
Overview)},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {417--418},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/PueblaCDDFS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/Drabent96,
author = {Wlodzimierz Drabent},
title = {Completeness of SLDNF-Resolution for Nonfloundering Queries},
journal = {J. Log. Program.},
volume = {27},
number = {2},
pages = {89--106},
year = {1996},
url = {https://doi.org/10.1016/0743-1066(95)00118-2},
doi = {10.1016/0743-1066(95)00118-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/Drabent96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/PierroD96,
author = {Alessandra Di Pierro and
Wlodzimierz Drabent},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {On Quantified Negatives Queries},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {179--190},
year = {1996},
timestamp = {Thu, 02 Dec 2004 11:12:18 +0100},
biburl = {https://dblp.org/rec/conf/agp/PierroD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/PierroD96,
author = {Alessandra Di Pierro and
Wlodzimierz Drabent},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {On Negation As Instantiation},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {32--46},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_2},
doi = {10.1007/3-540-61735-3\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/PierroD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/Drabent95,
author = {Wlodzimierz Drabent},
title = {What is Failure? An Approach to Constructive Negation},
journal = {Acta Informatica},
volume = {32},
number = {1},
pages = {27--29},
year = {1995},
url = {https://doi.org/10.1007/BF01185404},
doi = {10.1007/BF01185404},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/Drabent95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/KuchcinskiDM93,
author = {Krzysztof Kuchcinski and
Wlodzimierz Drabent and
Jan Maluszynski},
editor = {Peter Fritszon},
title = {Automatic Diagnosis of {VLSI} Digital Circuits Using Algorithmic Debugging},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {350--367},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019419},
doi = {10.1007/BFB0019419},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/KuchcinskiDM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Drabent93,
author = {Wlodzimierz Drabent},
editor = {Lu{\'{\i}}s Moniz Pereira and
Anil Nerode},
title = {SLS-Resolution without Floundering},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
Second International Workshop, Lisbon, Portugal, June 1993},
pages = {82--98},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/Drabent93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Drabent93,
author = {Wlodzimierz Drabent},
editor = {Dale Miller},
title = {Completeness of SLDNF-Resolution for Non-Floundering Queries},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {643},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/Drabent93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icci/Drabent92,
author = {Wlodzimierz Drabent},
editor = {Waldemar W. Koczkodaj and
Peter E. Lauer and
Anestis A. Toptsis},
title = {What is Failure? Or: Constructive Negation by Fail Answers},
booktitle = {Computing and Information - ICCI'92, Fourth International Conference
on Computing and Information, Toronto, Ontario, Canada, May 28-30,
1992, Proceedings},
pages = {62--66},
publisher = {{IEEE} Computer Society},
year = {1992},
timestamp = {Mon, 15 Apr 2002 13:14:05 +0200},
biburl = {https://dblp.org/rec/conf/icci/Drabent92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/DrabentM91,
author = {Wlodzimierz Drabent and
Maurizio Martelli},
title = {Strict Completion of Logic Programs},
journal = {New Gener. Comput.},
volume = {9},
number = {1},
pages = {69--80},
year = {1991},
url = {https://doi.org/10.1007/BF03037151},
doi = {10.1007/BF03037151},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/DrabentM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DrabentM88,
author = {Wlodzimierz Drabent and
Jan Maluszynski},
title = {Inductive Assertion Method for Logic Programs},
journal = {Theor. Comput. Sci.},
volume = {59},
pages = {133--155},
year = {1988},
url = {https://doi.org/10.1016/0304-3975(88)90099-0},
doi = {10.1016/0304-3975(88)90099-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/DrabentM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/DrabentNM88,
author = {Wlodzimierz Drabent and
Simin Nadjm{-}Tehrani and
Jan Maluszynski},
title = {The Use of Assertions in Algorithmic Debugging},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {573--581},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/DrabentNM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/meta/DrabentNM88,
author = {Wlodzimierz Drabent and
Simin Nadjm{-}Tehrani and
Jan Maluszynski},
editor = {Harvey Abramson and
M. H. Rogers},
title = {Algorithmic Debugging with Assertions},
booktitle = {Meta-Programming in Logic Programming, Workshop on Meta-Programming
in Logic, {META} 1988, University of Bristol, 22-24 June, 1988},
pages = {501--521},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Tue, 30 Jul 2019 17:09:12 +0200},
biburl = {https://dblp.org/rec/conf/meta/DrabentNM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/Drabent87,
author = {Wlodzimierz Drabent},
title = {Do Logic Programs Resemble Programs in Conventional Languages?},
booktitle = {Proceedings of the 1987 Symposium on Logic Programming, San Francisco,
California, USA, August 31 - September 4, 1987},
pages = {289--396},
publisher = {{IEEE-CS}},
year = {1987},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/Drabent87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/DrabentM87,
author = {Wlodzimierz Drabent and
Jan Maluszynski},
editor = {Hartmut Ehrig and
Robert A. Kowalski and
Giorgio Levi and
Ugo Montanari},
title = {Inductive Assertion Method for Logic Programs},
booktitle = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Pisa, Italy, March 23-27, 1987,
Volume 2: Advanced Seminar on Foundations of Innovative Software Development
{II} and Colloquium on Functional and Logic Programming and Specifications
{(CFLP)}},
series = {Lecture Notes in Computer Science},
volume = {250},
pages = {167--181},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0014980},
doi = {10.1007/BFB0014980},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/DrabentM87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/RudnickiD86,
author = {Piotr Rudnicki and
Wlodzimierz Drabent},
title = {Erratum: Proving Properties of Pascal Programs in {MIZAR} 2},
journal = {Acta Informatica},
volume = {22},
number = {6},
pages = {699--707},
year = {1986},
url = {https://doi.org/10.1007/BF00263652},
doi = {10.1007/BF00263652},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/RudnickiD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/RudnickiD85,
author = {Piotr Rudnicki and
Wlodzimierz Drabent},
title = {Proving Properties of Pascal Programs in {MIZAR} 2},
journal = {Acta Informatica},
volume = {22},
number = {3},
pages = {311--331},
year = {1985},
url = {https://doi.org/10.1007/BF00265684},
doi = {10.1007/BF00265684},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/RudnickiD85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
