Open access

Knowledge Representation in a Proof Checker for Logic Programs

Written By

Emmanouil Marakakis, Haridimos Kondylakis and Nikos Papadakis

Submitted: 31 May 2011 Published: 09 May 2012

DOI: 10.5772/37201

From the Edited Volume

Advances in Knowledge Representation

Edited by Carlos Ramírez Gutiérrez

Chapter metrics overview

1,525 Chapter Downloads

View Full Metrics

Written By

Emmanouil Marakakis, Haridimos Kondylakis and Nikos Papadakis

Submitted: 31 May 2011 Published: 09 May 2012