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

Kamps. "On Criteria for Formal Theory Building: Applying Logic and Automated Reasoning Tools to the Social Sciences." AAAI Conference on Artificial Intelligence, 1999.

[Kamps. "On Criteria for Formal Theory Building: Applying Logic and Automated Reasoning Tools to the Social Sciences." AAAI Conference on Artificial Intelligence, 1999.](https://mlanthology.org/aaai/1999/kamps1999aaai-criteria/)

@inproceedings{kamps1999aaai-criteria,
  title     = {{On Criteria for Formal Theory Building: Applying Logic and Automated Reasoning Tools to the Social Sciences}},
  author    = {Kamps, Jaap},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1999},
  pages     = {285-290},
  url       = {https://mlanthology.org/aaai/1999/kamps1999aaai-criteria/}
}