Atlas home || Conferences | Abstracts | about Atlas
Host: University of Málaga
Homepage: http://www.ctima.uma.es:80/jelia/
Organizers: Inma P. de Guzmán, Manuel Ojeda-Aciego, Gerhard Brewka, Luís Moniz Pereira
Deadline for abstracts: May 07, 2000
Description:
Foundations of logic programming and knowledge-based systems;
Automated theorem proving;
Knowledge representation;
Non-classical logics;
Nonmonotonic reasoning and belief revision;
Abductive and inductive reasoning;
Program verfication;
Hybrid reasoning systems;
Applications of logic-based systems;
Logics in machine learning.
Date received: September 29, 1999
© 2008 Atlas Conferences Inc.