Description Logics and Ontology Languages – an introduction and overview
-
Invited tutorial by Uli Sattler
Break
-
Eliminating Cuts in HoiC
-
by Olivier Hermant and James Lipton
A Proof Theory for Distributed Evidential Transactions
-
by Vivek Nigam
Panel: Discussion of the future development of methods inspired by relational and logic programming
-
with William Byrd, James Lipton and Dale Miller
