The top documents of pat-hayes
I, Robot
1.362 views
BLOGIC. (ISWC 2009 Invited Talk)
5.461 views
How Quaint the Ways of Paradox
1.205 views
Translating into Common Logic
2.916 views
IKL survey
1.248 views
IKL presentation for Ontolog
960 views
Rdf with contexts
2.453 views
AFTH Workshop - Fall '13
5 views