Suggestions
for Projects CS 140
Fall
2006
Try
Googling
Time
series and Prolog
http://www.sourcesignal.com/formats_time.html
http://citeseer.ist.psu.edu/context/231566/0
http://www.palgrave-journals.com/jors/journal/v57/n9/full/2602073a.html
Game
Theory and Prolog
http://www.us.kanto-gakuen.ac.jp/indo/front_e.html
http://cswww.essex.ac.uk/CSP/bargain/
http://www.infocom.cqu.edu.au/Staff/Tim_Roberts/Home_Page/tsrai.htm
Sensors
and Prolog
http://web.cecs.pdx.edu/~mperkows/CLASS_ROBOTICS/projects1999.html
http://www.sics.se/~ara/papers/thesis96/node9.html
SAT and Prolog
http://www.ifi.uni-klu.ac.at/Public/Documentation/sicstus2.1.9/sicstus_8.html
Bayesian
and Prolog
http://www.ncc.up.pt/~vsc/Yap/clpbn/
http://www.cs.ccsu.edu/~markov/ccsu_courses/mlprograms/MachineLearningLab-8.txt
Pi Calculus and
Prolog
http://www.cs.sunysb.edu/~sas/papers/vmcai03.pdf#search=%22Pi%20calculus%20Prolog%22
http://portal.acm.org/citation.cfm?id=645390.651618&coll=ACM&dl=ACM
Intuitionistic
Logic and Prolog
http://goodmath.blogspot.com/2006/05/logic-fun-intuitionistic-logic.html
Temporal
Logic and Prolog
http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/newsletter/archive_93_96/net/exts/temporal.html
Graphics
and Prolog
http://www.comnets.rwth-aachen.de/~ost/BAP/bap78.html
Distributed
Systems and Prolog
http://portal.acm.org/citation.cfm?id=802011&coll=portal&dl=ACM