Concepedia

Włodzimierz Drabent

WD

Statistics

Publications

12

Citations

396

H-Index

11

Active since

1987

Affiliations

Linköping University(Current)

Polish Academy of Sciences

Institute of Computer Science

Włodzimierz Drabent is an author at Linköping University specializing in computer science, computing, and logic programming.

Publications per year

1987–2016

12

Publications

12

Inductive assertion method for logic programs

Włodzimierz Drabent, Jan Małuszyński · Theoretical Computer Science · 1988 · 74 citations

Computing, Computer Science, Formal Methods +13

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

Francisco Bueno, Pierre Deransart, Włodzimierz Drabent et al. · 1997 · 64 citations

Computing, Computer Science, Knowledge Representation +13

What is failure? An approach to constructive negation

Włodzimierz Drabent · Acta Informatica · 1995 · 59 citations

Natural Sciences, Mathematics, Knowledge Representation +3

The Use of Assertions in Algorithmic Debugging.

Włodzimierz Drabent, Simin Nadjm‐Tehrani, Jan Małuszyński · Future Generation Computer Systems · 1988 · 40 citations

Computing, Computer Engineering, Computer Science +10

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

Włodzimierz Drabent, Jakob Henriksson, Jan Małuszyński · 2007 · 26 citations

Computing, Computer Science, Knowledge Representation +16

1–5 of 12