Wlodzimierz Drabent

According to our database, Wlodzimierz Drabent authored at least 61 papers between 1985 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A relaxed condition for avoiding the occur-check.

Wlodzimierz Drabent

Theor. Comput. Sci., October, 2023

Implementing Backjumping by Means of Exception Handling.

Wlodzimierz Drabent

Theory Pract. Log. Program., July, 2023

On Feasibility of Declarative Diagnosis.

Wlodzimierz Drabent

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

2022

On Correctness and Completeness of an n Queens Program.

Wlodzimierz Drabent

Theory Pract. Log. Program., 2022

A note on occur-check (extended report).

Wlodzimierz Drabent

CoRR, 2022

On Correctness of Normal Logic Programs.

Wlodzimierz Drabent

Proceedings of the Logic-Based Program Synthesis and Transformation, 2022

2021

A Note on Occur-Check.

Wlodzimierz Drabent

Proceedings of the Proceedings 37th International Conference on Logic Programming (Technical Communications), 2021

SLD-resolution without occur-check, an example.

Wlodzimierz Drabent

CoRR, 2021

S-Semantics-an Example.

Wlodzimierz Drabent

Proceedings of the Logic-Based Program Synthesis and Transformation, 2021

2020

Implementing backjumping by throw/1 and catch/3 of Prolog.

Wlodzimierz Drabent

CoRR, 2020

The Prolog Debugger and Declarative Programming. Examples.

Wlodzimierz Drabent

CoRR, 2020

2019

On correctness of an n queens program.

Wlodzimierz Drabent

CoRR, 2019

The Prolog Debugger and Declarative Programming.

Wlodzimierz Drabent

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

2018

Logic + control: On program construction and verification.

Wlodzimierz Drabent

Theory Pract. Log. Program., 2018

2017

Proving completeness of logic programs with the cut.

Wlodzimierz Drabent

Formal Aspects Comput., 2017

2016

On definite program answers and least Herbrand models.

Wlodzimierz Drabent

Theory Pract. Log. Program., 2016

Correctness and Completeness of Logic Programs.

Wlodzimierz Drabent

ACM Trans. Comput. Log., 2016

2014

On Completeness of Logic Programs.

Wlodzimierz Drabent

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2012

A simple correctness proof for magic transformation.

Wlodzimierz Drabent

Theory Pract. Log. Program., 2012

Formalizing Business Process Using Hybrid Programs.

Suman Roy, Wlodek Drabent

Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Logic + control: An example.

Wlodzimierz Drabent

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Logic + control: An example of program construction

Wlodzimierz Drabent

CoRR, 2011

2010

Hybrid rules with well-founded semantics.

Wlodzimierz Drabent, Jan Maluszynski

Knowl. Inf. Syst., 2010

Hybrid Reasoning with Non-monotonic Rules.

Wlodzimierz Drabent

Proceedings of the Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010, Dresden, Germany, August 30, 2010

2009

Hybrid Reasoning with Rules and Ontologies.

Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski

Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

2007

Extending XML Query Language Xcerpt by Ontology Queries.

Wlodzimierz Drabent, Artur Wilk

Proceedings of the 2007 IEEE / WIC / ACM International Conference on Web Intelligence, 2007

Well-Founded Semantics for Hybrid Rules.

Wlodzimierz Drabent, Jan Maluszynski

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics.

Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski

Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners.

Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski

Proceedings of the ICLP'07 Workshop on Applications of Logic Programming to the Web, 2007

2006

A Prototype of a Descriptive Type System for Xcerpt.

Artur Wilk, Wlodzimierz Drabent

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Towards More Precise Typing Rules for.

Wlodzimierz Drabent

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

2005

Proving correctness and completeness of normal programs - a declarative approach.

Wlodzimierz Drabent, Miroslawa Milkowska

Theory Pract. Log. Program., 2005

Towards Types for Web Rule Languages.

Wlodzimierz Drabent

Proceedings of the Reasoning Web, 2005

Descriptive Typing Rules for Xcerpt.

Sacha Berger, Emmanuel Coquery, Wlodzimierz Drabent, Artur Wilk

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

2004

On Subtyping of Tree-Structured Data: A Polynomial Approach.

François Bry, Wlodzimierz Drabent, Jan Maluszynski

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

2003

On Types for XML Query Language Xcerpt.

Artur Wilk, Wlodzimierz Drabent

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

2002

Using parametric set constraints for locating errors in CLP programs.

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak

Theory Pract. Log. Program., 2002

2001

Parametric Descriptive Types for CLP.

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak

Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

2000

Locating Type Errors in Untyped CLP Programs.

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

1999

Type-based Diagnosis of CLP Programs.

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak

Proceedings of the Tenth Workshop on Logic Programming Environments, 1999

It Is Declarative.

Wlodzimierz Drabent

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Diagnosis of CHIP Programs Using Type Information.

Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

Type Analysis for CHIP.

Wlodzimierz Drabent, Pawel Pietrzak

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Tools and Environments for (Constraint) Logic Programming (Workshop Overview).

Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte

Proceedings of the Logic Programming, 1997

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.

Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla

Proceedings of the Third International Workshop on Automated Debugging, 1997

Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach.

Johan Boye, Wlodzimierz Drabent, Jan Maluszynski

Proceedings of the Third International Workshop on Automated Debugging, 1997

1996

Completeness of SLDNF-Resolution for Nonfloundering Queries.

Wlodzimierz Drabent

J. Log. Program., 1996

On Negation As Instantiation.

Alessandra Di Pierro, Wlodzimierz Drabent

Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

On Quantified Negatives Queries.

Alessandra Di Pierro, Wlodzimierz Drabent

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

What is Failure? An Approach to Constructive Negation.

Wlodzimierz Drabent

Acta Informatica, 1995

1993

Completeness of SLDNF-Resolution for Non-Floundering Queries.

Wlodzimierz Drabent

Proceedings of the Logic Programming, 1993

SLS-Resolution without Floundering.

Wlodzimierz Drabent

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging.

Krzysztof Kuchcinski, Wlodzimierz Drabent, Jan Maluszynski

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992

What is Failure? Or: Constructive Negation by Fail Answers.

Wlodzimierz Drabent

Proceedings of the Computing and Information, 1992

1991

Strict Completion of Logic Programs.

Wlodzimierz Drabent, Maurizio Martelli

New Gener. Comput., 1991

1988

Inductive Assertion Method for Logic Programs.

Wlodzimierz Drabent, Jan Maluszynski

Theor. Comput. Sci., 1988

Algorithmic Debugging with Assertions.

Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski

Proceedings of the Meta-Programming in Logic Programming, 1988

The Use of Assertions in Algorithmic Debugging.

Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1987

Do Logic Programs Resemble Programs in Conventional Languages?

Wlodzimierz Drabent

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

1986

Erratum: Proving Properties of Pascal Programs in MIZAR 2.

Piotr Rudnicki, Wlodzimierz Drabent

Acta Informatica, 1986

1985

Proving Properties of Pascal Programs in MIZAR 2.

Piotr Rudnicki, Wlodzimierz Drabent

Acta Informatica, 1985