- Textual Inference by Combining Multiple Logic Programming Paradigms Chitta Baral
- 4th International Symposium on Imprecise Probabilities and Their Applications, Pittsburgh, Pennsylvania, 2005 Basing Probabilistic Logic on Gambles
- Action, Belief Change and the Frame Problem: A Fluent Calculus Approach Richard B. Scherl
- First-Order Logic Logical Symbols
- Technologies for Army Knowledge Fusion by Richard Scherl and Dana L. Ulery
- A Probabilistic Logic Based on the Acceptability of Gambles
- Answer set programming as the basis for a Homeland Security QAS Chitta Baral
- Using answer set programming to answer complex queries Chitta Baral
- Reasoning about the Interaction of Knowlege, Time and Concurrent Actions in the Situation Calculus
- What Sensing Tells Us: Towards A Formal Theory of Testing for Dynamical Systems
- A High-Level Language for Homeland Security Response Plans Richard Scherl and Michael Barnathan
- Language of the Situation Calculus Second-Order language with equality,
- CS202 Discrete Mathematics and Applications CS502 Theoretical Foundations of Computer Science
- Int J Software Informatics, Vol.3, No.1, March 2009, pp. 329 E-mail: ijsi@iscas.ac.cn International Journal of Software and Informatics, ISSN 1673-7288 http://www.ijsi.org
- Syllabus: CS432 Database Systems Course Number: CS432-01
