|
|
|
|
progic07: The Third Workshop on Combining Probability and Logic . Special focus: probabilistic logics and probabilistic networks . 5-7 September 2007 http://www.kent.ac.uk/secl/philosophy/jw/2007/progic/Open access to the SEP is made possible by a world-wide funding initiative. Please Read How You Can Help Keep the Encyclopedia Free http://plato.stanford.edu/entries/logic-combining/B. N. Grosof, I. Horrocks, R. Volz, S. Decker. Description Logic Programs: Combining Logic Programs with Description Logic. In: Proceedings of 12th International Conference on the ... http://citeseer.ist.psu.edu/context/2139925/582814Document details from CiteSeerX (Isaac Councill, Lee Giles): Conditional equational theories can be built into logic programming using a generalized resolution rule which calls a ... http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.17.4222Description Logic Programs: Combining Logic Programs with Description Logic ... We show how to interoperate, semantically and inferentially, between the leading Semantic Web ... http://www2003.org/cdrom/papers/refereed/p117/p117-grosof.html |
|
|