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