Collaborated with:
B.t.Cate M.Marx Y.Venema
Talks about:
definitori (1) descript (1) complet (1) logic (1)
Person: Willem Conradie
DBLP: Conradie:Willem
Contributed to:
Wrote 1 papers:
- KR-2006-CateCMV #logic
- Definitorially Complete Description Logics (BtC, WC, MM, YV), pp. 79–89.