|
|
Wellcome to the Artificial Intelligence & Computational Logic Laboratory !
2010-2011, TEACHING CURRICULUM
|
Artificial Intelligence Curriculum
Artificial Intelligence & Computational Logic Laboratory
Department of Mathematics and Computer Science
SPIRU HARET University
Artificial Intelligence Laboratory
Computational Logic Laboratory
Nicolaie Popescu-Bodorin
|
|
|
|
Computational Logic Curriculum
|
|
|
|
Computer Simulation Curriculum
|
|
|
|
STUDENT AREA [^ top ^]
|
Artificial Intelligence Labs:
|
Mathematical and Computational Logic Courses and Seminars:
Bibliografie: Luminita STATE, Introducere in Programarea Logica, EFRM 2003-2010 (CALC 189)
|
Computer Simulation Courses:
Bibliografie: Ion VADUVA, Modele de simulare - Note de curs, EUB 2004
|
|
|
Complementary Lectures [^ top ^]
|
Artificial Intelligence 1:
- Prolog Experiments in Discrete Mathematics, Logic, and Computability, James L. Hein, Portland State University, 2005.
- Logic Programming with Prolog, Max Bramer, Springer, 2005;
- The Art of Prolog, Leon Sterling, Ehud Shapiro, The MIT Press (2-nd ED), 1999.
- Agent-Oriented Programming - From Prolog to Guarded Definite Clauses, Matthew M Huntbach, Graem A Ringwood, Springer, 1999.
- Prolog Programming in Depth, M. Covington, D. Nute, A. Vellino, Prentice Hall, 1997.
- Logic, Programming and Prolog, Ulf Nilsson and Jan Maluszynski, John Wiley & Sons (2-nd ED), 1995.
- Prolog Programming for Artificial Intelligence, Ivan Bratko, Addison-Wesley, 1986.
|
|
|
|
|
|
|
Page maintained by Nicolaie Popescu-Bodorin,
Contact (e-mail): nb.popescu.mi # spiruharet.ro
Last update: February 17, 2011
|
