InTechOpen uses cookies to offer you the best online experience. By continuing to use our site, you agree to our Privacy Policy.

Computer and Information Science » Information and Knowledge Engineering » "Advances in Knowledge Representation", book edited by Carlos Ramírez Gutiérrez, ISBN 978-953-51-0597-8, Published: May 9, 2012 under CC BY 3.0 license. © The Author(s).

Chapter 7

Knowledge Representation in a Proof Checker for Logic Programs

By Emmanouil Marakakis, Haridimos Kondylakis and Nikos Papadakis
DOI: 10.5772/37201