Home › About me

Logic-based Artificial Intelligence

by Forrest Sheng Bao http://fsbao.net

Last updated: Oct. 19, 2009

My focus is on logic-based AI, which has two main lines, logic programming (e.g. ASP, Prolog) and satisfiability solving (e.g. SAT).

Milestone papers:

John McCarthy, "Programs With Common Sense", http://www-formal.stanford.edu/jmc/mcc59.pdf

Frequently Used Terms

Tightness and Clark Completion: http://fara.cs.uni-potsdam.de/~jsg/nucleus/index.php?itemid=5

Tutorials:

Aarati Parmar, Answer Set Programming,: http://www-cs-students.stanford.edu/~aarati/slides/answersets/ans-1.html, 2000, Stanford Formal Reasoning Group
Prolog: http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html
Vladimir Lifschitz, What is Answer Set Programming, http://www.cs.utexas.edu/users/vl/papers/wiasp.pdf

Research-related papers:

George Katsirelos's PhD thesis "Nogood processing in CSPs", https://tspace.library.utoronto.ca/handle/1807/16737
Lintao Zhang's paper "Efficient Conflict Driven Learning in a Boolean Satisfiability Solver", http://www.princeton.edu/~chaff/publication/iccad2001_final.pdf
Sharad Malik's slides "The Quest for Efficient Boolean Satisfiability Solvers", http://www.princeton.edu/~sharad/CMUSATSeminar.pdf
Matthew D. T. Lewis, Tobias Schubert, and Bernd W. Becker, "Early Conflict Detection Based BCP for SAT Solving", http://www.satisfiability.org/SAT04/programme/22.pdf

Interesting Applications of Logic-based AI

Bioinformatics: Knowledge-Based Integrative Framework for Hypothesis Formation in Biochemical Networks, in Book "Data Integration in the Life Sciences", Sprinter-Verlag, http://www.springerlink.com/content/cbj0m5de0a95d1ch/

FPGA routing: Constraint-Based Placement and Routing for FPGAs Using Self-Organizing Maps, IEEE ICTAI 2008, http://www2.computer.org/portal/web/csdl/doi/10.1109/ICTAI.2008.55

Systems

Clasp and Gingo, etc.: http://potassco.sourceforge.net/
Lparse and Smodels: http://www.tcs.hut.fi/Software/smodels/
mkAtoms: http://www.krlab.cs.ttu.edu/mkatoms/
ACSolver: http://narnia.cs.ttu.edu/drupal/node/126
ADSolver: http://www.cs.ttu.edu/~mellarko/adsolver.html

Competitions

SAT Competition: http://www.satcompetition.org/
ASP Competition: http://asparagus.cs.uni-potsdam.de/contest/

Related Groups

http://www.cs.toronto.edu/~gkatsi/publications.html
http://www.cs.ubc.ca/~xulin730/publication.html