Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings - Gabbrielli, Maurizio; Gupta, Gopal; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: Computer science; Logic design; Artificial intelligence; Computer Science; Programming Techniques; Artificial Intelligence (incl. Robotics).; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs; Mathematical Logic and Formal Languages