On Criteria for Formal Theory Building: Applying Logic and Automated Reasoning Tools to the Social Sciences.

Jaap Kamps

Browse the full AAAI paper archive.