W
Wlodzimierz Drabent
Researcher at Polish Academy of Sciences
Publications - 73
Citations - 1006
Wlodzimierz Drabent is an academic researcher from Polish Academy of Sciences. The author has contributed to research in topics: Logic programming & Correctness. The author has an hindex of 17, co-authored 70 publications receiving 980 citations. Previous affiliations of Wlodzimierz Drabent include Linköping University.
Papers
More filters
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 +6 more
TL;DR: In this article, the problem of proving completeness and incompleteness with respect to the abstract interpretation of a program is addressed using a Galois insertion (Galois insertion +; +).
Journal ArticleDOI
Inductive assertion method for logic programs
TL;DR: The inductive assertion method for proving partial correctness of logic programs is introduced and proved sound and makes it possible to formulate and prove properties which are inexpressible in terms of the declarative semantics.
Algorithmic Debugging with Assertions.
TL;DR: In this article, a generalization of the Prolog language used to communicate with the debugger is presented, where formal specifications of some properties of the intended model are allowed, in addition to the usual “yes” and “no” answers.
Journal ArticleDOI
What is failure?: an approach to constructive negation
TL;DR: This work proposes an approach based on construction offailed trees for some instances of a negated query based on a generalization of the standard notion of a failed tree that leads to unsoundness and presents a correct one.