Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic Marc Denecker and Joost Vennekens December 12, 2008 - Joost - Document - PDFSEARCH.IO

First Page	Meta Content
	Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic Marc Denecker and Joost Vennekens December 12, 2008 Add to Reading List Open Document File Size: 193,07 KB Share Result on Facebook

Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic Marc Denecker and Joost Vennekens December 12, 2008Add to Reading List