The Department of Computer Science & Engineering |
Software from S. C. Shapiro
|
is available for downloading under the University at Buffalo Public License. Documentation is in comments at the beginning of the file.Stuart C. Shapiro, Set-Oriented Logical Connectives: Syntax and Semantics, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR2010), AAAI Press, 2010.