Wlodzimierz Drabent
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
4
Active years
1992–2022
Best venue rank
C
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | LOPSTR | On Correctness of Normal Logic Programs. | Wlodzimierz Drabent |
| 2021 | LOPSTR | S-Semantics-an Example. | Wlodzimierz Drabent |
| 2019 | LOPSTR | The Prolog Debugger and Declarative Programming. | Wlodzimierz Drabent |
| 2014 | LOPSTR | On Completeness of Logic Programs. | Wlodzimierz Drabent |
| 2012 | ICLP | Logic + control: An example. | Wlodzimierz Drabent |
| 2007 | ICLP | HD-rules: A Hybrid System Interfacing Prolog with DL-reasoners. | Wlodzimierz Drabent, Jakob Henriksson, Jan Maluszynski |
| 2001 | ICLP | Proving Correctness and Completeness of Normal Programs - A Declarative Approach. | Wlodzimierz Drabent, Miroslawa Milkowska |
| 1999 | ICLP | It Is Declarative. | Wlodzimierz Drabent |
| 1993 | LPNMR | SLS-Resolution without Floundering. | Wlodzimierz Drabent |
| 1992 | ICCI | What is Failure? Or: Constructive Negation by Fail Answers. | Wlodzimierz Drabent |