Discovered Pages
» ESSLLI 2002 Course on Description Logics http://lat.inf.tu-dresden.de/~clu/esslli.html
» Психология и Управление персоналом: психологические т http://www.hr-portal.ru/pages/hu/logika.php
Discover From This Topic & Page: [Discover] ESSLLI 2002 Course on Description Logics http://lat.inf.tu-dresden.de/~clu/esslli.html
[Discover] Magic sets and other strange ways to implement logic programs (extended abstract) http://doi.acm.org/10.1145/6012.15399
(academic inference formal method) [Discover] A Trustworthy, Extensible Theorem Prover (Ph.D. Dissertation Proposal) http://www.cs.utexas.edu/users/jared/milawa/Documentation/Proposal/proposal-web.pdf (thesis academic proof theory)
[Discover] dagstuhlS070202.pdf (Objet application/pdf) http://www.cs.man.ac.uk/~horrocks/Slides/dagstuhlS070202.pdf (description logic)
[Discover] OWL: Experiences and Directions http://www.mindswap.org/2005/OWLWorkshop/programme.shtml (owl description logic)