Computational Logic: Introduction to Logic Programming and Knowledge Representation

GPTKB entity