First-Order Logic
Peter A. Flach, First-Order Logic. Chapter in Encyclopedia of Machine Learning. ISBN 978-0-387-30768-8, pp. 410–415. December 2010. PDF, 336 Kbytes. External informationAbstract
Entry on first-order logic in the Encyclopedia of Machine Learning.