Wlodzimierz Drabent

According to our database1, Wlodzimierz Drabent
  • authored at least 57 papers between 1985 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Proving completeness of logic programs with the cut.
Formal Asp. Comput., 2017

2016
On definite program answers and least Herbrand models.
TPLP, 2016

Correctness and Completeness of Logic Programs.
ACM Trans. Comput. Log., 2016

Proving completeness of logic programs with the cut.
CoRR, 2016

2015
On definite program answers and least Herbrand models.
CoRR, 2015

2014
Correctness and completeness of logic programs.
CoRR, 2014

On completeness of logic programs.
CoRR, 2014

On Completeness of Logic Programs.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

2012
A simple correctness proof for magic transformation.
TPLP, 2012

Formalizing Business Process Using Hybrid Programs.
Proceedings of OWL: Experiences and Directions Workshop 2012, 2012

Logic + control: An example.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011
Logic + control: An example of program construction
CoRR, 2011

2010
Hybrid rules with well-founded semantics.
Knowl. Inf. Syst., 2010

A Simple Correctness Proof for Magic Transformation
CoRR, 2010

Hybrid Reasoning with Non-monotonic Rules.
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.
Proceedings of the Semantic Techniques for the Web, The REWERSE Perspective, 2009

Hybrid Rules with Well-Founded Semantics
CoRR, 2009

2007
Extending XML Query Language Xcerpt by Ontology Queries.
Proceedings of the 2007 IEEE / WIC / ACM International Conference on Web Intelligence, 2007

Well-Founded Semantics for Hybrid Rules.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

Hybrid Reasoning with Rules and Constraints under Well-Founded Semantics.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners.
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.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

Towards More Precise Typing Rules for.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2006

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

Proving Correctness and Completeness of Normal Programs - a Declarative Approach
CoRR, 2005

Towards Types for Web Rule Languages.
Proceedings of the Reasoning Web, 2005

Descriptive Typing Rules for Xcerpt.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2005

2004
On Subtyping of Tree-Structured Data: A Polynomial Approach.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2004

2003
On Types for XML Query Language Xcerpt.
Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

2002
Using parametric set constraints for locating errors in CLP programs.
TPLP, 2002

Using parametric set constraints for locating errors in CLP programs
CoRR, 2002

2001
Parametric Descriptive Types for CLP.
Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

Proving Correctness and Completeness of Normal Programs - A Declarative Approach.
Proceedings of the Logic Programming, 17th International Conference, 2001

2000
Locating Type Errors in Untyped CLP Programs.
Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

1999
Type-based Diagnosis of CLP Programs.
Electr. Notes Theor. Comput. Sci., 1999

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

Diagnosis of CHIP Programs Using Type Information.
Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998
Type Analysis for CHIP.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
Tools and Environments for (Constraint) Logic Programming (Workshop Overview).
Proceedings of the Logic Programming, 1997

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

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

1996
Completeness of SLDNF-Resolution for Nonfloundering Queries.
J. Log. Program., 1996

On Negation As Instantiation.
Proceedings of the Algebraic and Logic Programming, 5th International Conference, 1996

On Quantified Negatives Queries.
Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995
What is Failure? An Approach to Constructive Negation.
Acta Inf., 1995

1993
Completeness of SLDNF-Resolution for Non-Floundering Queries.
Proceedings of the Logic Programming, 1993

SLS-Resolution without Floundering.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging.
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993

1992
What is Failure? Or: Constructive Negation by Fail Answers.
Proceedings of the Computing and Information, 1992

1991
Strict Completion of Logic Programs.
New Generation Comput., 1991

1988
Inductive Assertion Method for Logic Programs.
Theor. Comput. Sci., 1988

Algorithmic Debugging with Assertions.
META, 1988

The Use of Assertions in Algorithmic Debugging.
FGCS, 1988

1987
Inductive Assertion Method for Logic Programs.
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

Do Logic Programs Resemble Programs in Conventional Languages?
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.
Acta Inf., 1986

1985
Proving Properties of Pascal Programs in MIZAR 2.
Acta Inf., 1985


  Loading...