BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Cyprus
1 × Germany
1 × Hungary
1 × United Kingdom
2 × USA
Collaborated with:
M.Milkowska A.D.Pierro J.Maluszynski
Talks about:
program (5) logic (4) complet (3) declar (2) instanti (1) flounder (1) approach (1) resolut (1) resembl (1) languag (1)

Person: Wlodzimierz Drabent

DBLP DBLP: Drabent:Wlodzimierz

Contributed to:

LOPSTR 20142014
ICLP 20122012
ICLP 20012001
ICLP 19991999
ALP 19961996
ILPS 19931993
SLP 19871987
TAPSOFT, Vol.2: CFLP 19871987

Wrote 8 papers:

LOPSTR-2014-Drabent #logic programming #on the #source code
On Completeness of Logic Programs (WD), pp. 261–278.
ICLP-2012-Drabent #logic
Logic + control: An example (WD), pp. 301–311.
ICLP-2001-DrabentM #approach #correctness #declarative #proving #source code
Proving Correctness and Completeness of Normal Programs — A Declarative Approach (WD, MM), pp. 284–299.
ICLP-1999-Drabent #declarative
It Is Declarative (WD), p. 607.
ALP-1996-PierroD #on the
On Negation As Instantiation (ADP, WD), pp. 32–46.
ILPS-1993-Drabent #query
Completeness of SLDNF-Resolution for Non-Floundering Queries (WD), p. 643.
SLP-1987-Drabent87 #logic programming #question #source code
Do Logic Programs Resemble Programs in Conventional Languages? (WD), pp. 289–396.
CFLP-1987-DrabentM #induction #logic programming #source code
Inductive Assertion Method for Logic Programs (WD, JM), pp. 167–181.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.