default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWlodzimierz Drabent
Person information
- affiliation: Institute of Computer Science, Polish Academy of Sciences, Poland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j17]Wlodzimierz Drabent
:
A relaxed condition for avoiding the occur-check. Theor. Comput. Sci. 975: 114107 (2023)- [j16]Wlodzimierz Drabent:
Implementing Backjumping by Means of Exception Handling. Theory Pract. Log. Program. 23(4): 918-932 (2023) - [c39]Wlodzimierz Drabent:
On Feasibility of Declarative Diagnosis. ICLP 2023: 193-200 - [i18]Wlodzimierz Drabent:
Implementing backjumping by means of exception handling. CoRR abs/2305.16137 (2023) - 2022
- [j15]Wlodzimierz Drabent:
On Correctness and Completeness of an n Queens Program. Theory Pract. Log. Program. 22(1): 37-50 (2022) - [c38]Wlodzimierz Drabent:
On Correctness of Normal Logic Programs. LOPSTR 2022: 142-154 - [i17]Wlodzimierz Drabent:
A note on occur-check (extended report). CoRR abs/2204.05379 (2022) - 2021
- [c37]Wlodzimierz Drabent:
S-Semantics-an Example. LOPSTR 2021: 60-74 - [c36]Wlodzimierz Drabent:
A Note on Occur-Check. ICLP Technical Communications 2021: 54-67 - [i16]Wlodzimierz Drabent:
SLD-resolution without occur-check, an example. CoRR abs/2103.01911 (2021) - [i15]Wlodzimierz Drabent:
On correctness and completeness of an n queens program. CoRR abs/2108.08079 (2021) - 2020
- [i14]Wlodzimierz Drabent:
The Prolog Debugger and Declarative Programming. Examples. CoRR abs/2003.01422 (2020) - [i13]Wlodzimierz Drabent:
S-semantics - an example. CoRR abs/2006.06077 (2020) - [i12]Wlodzimierz Drabent:
Implementing backjumping by throw/1 and catch/3 of Prolog. CoRR abs/2008.09610 (2020)
2010 – 2019
- 2019
- [c35]Wlodzimierz Drabent:
The Prolog Debugger and Declarative Programming. LOPSTR 2019: 193-208 - [i11]Wlodzimierz Drabent:
The Prolog debugger and declarative programming. CoRR abs/1906.04765 (2019) - [i10]Wlodzimierz Drabent:
On correctness of an n queens program. CoRR abs/1909.07479 (2019) - 2018
- [j14]Wlodzimierz Drabent:
Logic + control: On program construction and verification. Theory Pract. Log. Program. 18(1): 1-29 (2018) - 2017
- [j13]Wlodzimierz Drabent:
Proving completeness of logic programs with the cut. Formal Aspects Comput. 29(1): 155-172 (2017) - 2016
- [j12]Wlodzimierz Drabent:
Correctness and Completeness of Logic Programs. ACM Trans. Comput. Log. 17(3): 18 (2016) - [j11]Wlodzimierz Drabent:
On definite program answers and least Herbrand models. Theory Pract. Log. Program. 16(4): 498-508 (2016) - [i9]Wlodzimierz Drabent:
Proving completeness of logic programs with the cut. CoRR abs/1602.08778 (2016) - 2015
- [i8]Wlodzimierz Drabent:
On definite program answers and least Herbrand models. CoRR abs/1503.03324 (2015) - 2014
- [c34]Wlodzimierz Drabent:
On Completeness of Logic Programs. LOPSTR 2014: 261-278 - [i7]Wlodzimierz Drabent:
On completeness of logic programs. CoRR abs/1411.3015 (2014) - [i6]Wlodzimierz Drabent:
Correctness and completeness of logic programs. CoRR abs/1412.8739 (2014) - 2012
- [j10]Wlodzimierz Drabent:
A simple correctness proof for magic transformation. Theory Pract. Log. Program. 12(6): 929-936 (2012) - [c33]Wlodzimierz Drabent:
Logic + control: An example. ICLP (Technical Communications) 2012: 301-311 - [c32]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
- [j9]Wlodzimierz Drabent, Jan Maluszynski:
Hybrid rules with well-founded semantics. Knowl. Inf. Syst. 25(1): 137-168 (2010) - [c31]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)
2000 – 2009
- 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
- [c30]Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski:
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. ALPSWS 2007 - [c29]Wlodzimierz Drabent, Jan Maluszynski:
Well-Founded Semantics for Hybrid Rules. RR 2007: 1-15 - [c28]Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski:
Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics. RR 2007: 348-357 - [c27]Wlodzimierz Drabent, Artur Wilk:
Extending XML Query Language Xcerpt by Ontology Queries. Web Intelligence 2007: 447-451 - 2006
- [c26]Wlodzimierz Drabent:
Towards More Precise Typing Rules for. PPSWR 2006: 120-133 - [c25]Artur Wilk, Wlodzimierz Drabent:
A Prototype of a Descriptive Type System for Xcerpt. PPSWR 2006: 262-275 - 2005
- [j8]Wlodzimierz Drabent, Miroslawa Milkowska:
Proving correctness and completeness of normal programs - a declarative approach. Theory Pract. Log. Program. 5(6): 669-711 (2005) - [c24]Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk:
Descriptive Typing Rules for Xcerpt. PPSWR 2005: 85-100 - [c23]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
- [c22]François Bry, Wlodzimierz Drabent, Jan Maluszynski:
On Subtyping of Tree-Structured Data: A Polynomial Approach. PPSWR 2004: 1-18 - 2003
- [c21]Artur Wilk, Wlodzimierz Drabent:
On Types for XML Query Language Xcerpt. PPSWR 2003: 128-145 - 2002
- [j7]Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Using parametric set constraints for locating errors in CLP programs. Theory Pract. Log. Program. 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
- [c20]Wlodzimierz Drabent, Miroslawa Milkowska:
Proving Correctness and Completeness of Normal Programs - A Declarative Approach. ICLP 2001: 284-299 - [c19]Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Parametric Descriptive Types for CLP. JFPLC 2001: 239-256 - 2000
- [c18]Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Locating Type Errors in Untyped CLP Programs. Analysis and Visualization Tools for Constraint Programming 2000: 121-150
1990 – 1999
- 1999
- [c17]Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak:
Diagnosis of CHIP Programs Using Type Information. APPIA-GULP-PRODE 1999: 337-350 - [c16]Wlodzimierz Drabent:
It Is Declarative. ICLP 1999: 607 - [c15]Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Type-based Diagnosis of CLP Programs. WLPE@ICLP 1999: 215-234 - 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 Informatica 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 Gener. Comput. 9(1): 69-80 (1991)
1980 – 1989
- 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 Informatica 22(6): 699-707 (1986) - 1985
- [j1]Piotr Rudnicki, Wlodzimierz Drabent:
Proving Properties of Pascal Programs in MIZAR 2. Acta Informatica 22(3): 311-331 (1985)
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:06 CET 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:
