Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic.

Marc Denecker, Joost Vennekens

Browse the full ICLP paper archive.