Handbook of Logic in Artificial Intelligence and Logic Programming

GPTKB entity