Wlodzimierz Drabent

76 papers B 4C 5Journal 37Unranked 29
YearRankTypeTitle / Venue / Authors
2025 J jnl
On Systematic Construction of Correct Logic Programs.
Theory Pract. Log. Program.
Wlodzimierz Drabent
2025 J jnl
On systematic construction of correct logic programs.
CoRR
Wlodzimierz Drabent
2023 J jnl
A relaxed condition for avoiding the occur-check.
Theor. Comput. Sci.
Wlodzimierz Drabent
2023 J jnl
Implementing Backjumping by Means of Exception Handling.
Theory Pract. Log. Program.
Wlodzimierz Drabent
2023 J jnl
Implementing backjumping by means of exception handling.
CoRR
Wlodzimierz Drabent
2023 B conf
On Feasibility of Declarative Diagnosis.
ICLP
Wlodzimierz Drabent
2022 J jnl
A note on occur-check (extended report).
CoRR
Wlodzimierz Drabent
2022 J jnl
On Correctness and Completeness of an n Queens Program.
Theory Pract. Log. Program.
Wlodzimierz Drabent
2022 C conf
On Correctness of Normal Logic Programs.
LOPSTR
Wlodzimierz Drabent
2021 — conf
A Note on Occur-Check.
ICLP Technical Communications
Wlodzimierz Drabent
2021 J jnl
On correctness and completeness of an n queens program.
CoRR
Wlodzimierz Drabent
2021 C conf
S-Semantics-an Example.
LOPSTR
Wlodzimierz Drabent
2021 J jnl
SLD-resolution without occur-check, an example.
CoRR
Wlodzimierz Drabent
2020 J jnl
Implementing backjumping by throw/1 and catch/3 of Prolog.
CoRR
Wlodzimierz Drabent
2020 J jnl
S-semantics - an example.
CoRR
Wlodzimierz Drabent
2020 J jnl
The Prolog Debugger and Declarative Programming. Examples.
CoRR
Wlodzimierz Drabent
2019 J jnl
On correctness of an n queens program.
CoRR
Wlodzimierz Drabent
2019 C conf
The Prolog Debugger and Declarative Programming.
LOPSTR
Wlodzimierz Drabent
2019 J jnl
The Prolog debugger and declarative programming.
CoRR
Wlodzimierz Drabent
2018 J jnl
Logic + control: On program construction and verification.
Theory Pract. Log. Program.
Wlodzimierz Drabent
2017 J jnl
Proving completeness of logic programs with the cut.
Formal Aspects Comput.
Wlodzimierz Drabent
2016 J jnl
Correctness and Completeness of Logic Programs.
ACM Trans. Comput. Log.
Wlodzimierz Drabent
2016 J jnl
On definite program answers and least Herbrand models.
Theory Pract. Log. Program.
Wlodzimierz Drabent
2016 J jnl
Proving completeness of logic programs with the cut.
CoRR
Wlodzimierz Drabent
2015 J jnl
On definite program answers and least Herbrand models.
CoRR
Wlodzimierz Drabent
2014 J jnl
Correctness and completeness of logic programs.
CoRR
Wlodzimierz Drabent
2014 C conf
On Completeness of Logic Programs.
LOPSTR
Wlodzimierz Drabent
2014 J jnl
On completeness of logic programs.
CoRR
Wlodzimierz Drabent
2012 J jnl
A simple correctness proof for magic transformation.
Theory Pract. Log. Program.
Wlodzimierz Drabent
2012 — conf
Logic + control: An example.
ICLP (Technical Communications)
Wlodzimierz Drabent
2011 J jnl
Logic + control: An example of program construction
CoRR
Wlodzimierz Drabent
2010 J jnl
A Simple Correctness Proof for Magic Transformation
CoRR
Wlodzimierz Drabent
2010 — conf
Hybrid Reasoning with Non-monotonic Rules.
Reasoning Web
Wlodzimierz Drabent
2010 J jnl
Hybrid rules with well-founded semantics.
Knowl. Inf. Syst.
Wlodzimierz Drabent, Jan Maluszynski
2009 — ch.
Hybrid Reasoning with Rules and Ontologies.
REWERSE
Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski
2009 J jnl
Hybrid Rules with Well-Founded Semantics
CoRR
Wlodzimierz Drabent, Jan Maluszynski
2007 — conf
Extending XML Query Language Xcerpt by Ontology Queries.
Web Intelligence
Wlodzimierz Drabent, Artur Wilk
2007 — conf
HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners.
ALPSWS
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski
2007 — conf
Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics.
RR
Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski
2007 — conf
Well-Founded Semantics for Hybrid Rules.
RR
Wlodzimierz Drabent, Jan Maluszynski
2006 — conf
A Prototype of a Descriptive Type System for Xcerpt.
PPSWR
Artur Wilk, Wlodzimierz Drabent
2006 — conf
Towards More Precise Typing Rules for.
PPSWR
Wlodzimierz Drabent
2005 — conf
Descriptive Typing Rules for Xcerpt.
PPSWR
Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk
2005 J jnl
Proving Correctness and Completeness of Normal Programs - a Declarative Approach
CoRR
Wlodzimierz Drabent, Miroslawa Milkowska
2005 J jnl
Proving correctness and completeness of normal programs - a declarative approach.
Theory Pract. Log. Program.
Wlodzimierz Drabent, Miroslawa Milkowska
2005 — conf
Towards Types for Web Rule Languages.
Reasoning Web
Wlodzimierz Drabent
2004 — conf
On Subtyping of Tree-Structured Data: A Polynomial Approach.
PPSWR
François Bry, Wlodzimierz Drabent, Jan Maluszynski
2003 — conf
On Types for XML Query Language Xcerpt.
PPSWR
Artur Wilk, Wlodzimierz Drabent
2002 J jnl
Using parametric set constraints for locating errors in CLP programs
CoRR
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
2002 J jnl
Using parametric set constraints for locating errors in CLP programs.
Theory Pract. Log. Program.
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
2001 — conf
Parametric Descriptive Types for CLP.
JFPLC
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
2001 B conf
Proving Correctness and Completeness of Normal Programs - A Declarative Approach.
ICLP
Wlodzimierz Drabent, Miroslawa Milkowska
2000 — conf
Locating Type Errors in Untyped CLP Programs.
Analysis and Visualization Tools for Constraint Programming
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
1999 — conf
Diagnosis of CHIP Programs Using Type Information.
APPIA-GULP-PRODE
Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak
1999 B conf
It Is Declarative.
ICLP
Wlodzimierz Drabent
1999 — conf
Type-based Diagnosis of CLP Programs.
WLPE@ICLP
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
1998 — conf
Type Analysis for CHIP.
AMAST
Wlodzimierz Drabent, Pawel Pietrzak
1997 — conf
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach.
AADEBUG
Johan Boye, Wlodzimierz Drabent, Jan Maluszynski
1997 — conf
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.
AADEBUG
Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla
1997 — conf
Tools and Environments for (Constraint) Logic Programming (Workshop Overview).
ILPS
Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte
1996 J jnl
Completeness of SLDNF-Resolution for Nonfloundering Queries.
J. Log. Program.
Wlodzimierz Drabent
1996 — conf
On Negation As Instantiation.
ALP
Alessandra Di Pierro, Wlodzimierz Drabent
1996 — conf
On Quantified Negatives Queries.
APPIA-GULP-PRODE
Alessandra Di Pierro, Wlodzimierz Drabent
1995 J jnl
What is Failure? An Approach to Constructive Negation.
Acta Informatica
Wlodzimierz Drabent
1993 — conf
Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging.
AADEBUG
Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski
1993 — conf
Completeness of SLDNF-Resolution for Non-Floundering Queries.
ILPS
Wlodzimierz Drabent
1993 B conf
SLS-Resolution without Floundering.
LPNMR
Wlodzimierz Drabent
1992 C conf
What is Failure? Or: Constructive Negation by Fail Answers.
ICCI
Wlodzimierz Drabent
1991 J jnl
Strict Completion of Logic Programs.
New Gener. Comput.
Wlodzimierz Drabent, Maurizio Martelli
1988 — conf
Algorithmic Debugging with Assertions.
META
Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski
1988 J jnl
Inductive Assertion Method for Logic Programs.
Theor. Comput. Sci.
Wlodzimierz Drabent, Jan Maluszynski
1988 — conf
The Use of Assertions in Algorithmic Debugging.
FGCS
Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski
1987 — conf
Do Logic Programs Resemble Programs in Conventional Languages?
SLP
Wlodzimierz Drabent
1987 — conf
Inductive Assertion Method for Logic Programs.
TAPSOFT, Vol.2
Wlodzimierz Drabent, Jan Maluszynski
1986 J jnl
Erratum: Proving Properties of Pascal Programs in MIZAR 2.
Acta Informatica
Piotr Rudnicki, Wlodzimierz Drabent
1985 J jnl
Proving Properties of Pascal Programs in MIZAR 2.
Acta Informatica
Piotr Rudnicki, Wlodzimierz Drabent