On criteria for formal theory building: Applying logic and automated reasoning tools to the social sciences (1999)

by J Kamps
Venue:Proceedings of the Sixteenth National Conference on Artificial Intelligence (AAAI-99