[FOM] Extended Deadline - DRT 04
Vladik Kreinovich
vladik at cs.utep.edu
Fri Jul 16 17:55:10 EDT 2004
**************** CALL FOR PAPERS ****************
DRT 04
Workshop on Deduction and Reasoning Techniques 2004
November 22-23 2004.Puebla, Mexico.
Co-located with IBERAMIA 2004
9TH Ibero-American Conference on Artificial Intelligence
==================================================================
Paper submission deadline: August 20th 2004 (EXTENDED)
(see below for details)
Web Site: http://mailweb.udlap.mx/~sc098382/iberamia/
Contact: sc098382 at mail.udlap.mx
==================================================================
CALL FOR PAPERS
Authors are invited to submit papers presenting original and unpublished
research work in all areas related to Deduction and Reasoning. The topics of
interest of the workshop include, but are not limited to:
- Logic programming and nonmonotonic reasoning
- Answer Set Programming
- Knowledge and Belief Representation
- Representation of Beliefs
- Satisfiability Problems
- Deduction Techniques
- Automated reasoning
- Non-classical logics
- Reasoning about situations and actions
- Mathematical Structures (Algebraic, Topologic, etc.)
- Natural Language Processing.
- Knowledge Discovery and Data Mining.
- AI in Education and Intelligent Tutoring Systems
SUBMISSION INSTRUCTIONS
Papers should be written in English, formatted according to the Springer LNCS
style and should not exceed 8 pages including references and figures.
Submissions in Spanish can also be considered, but we strongly encourage
authors to write in English.
Please visit the web page for submission details.
IMPORTANT DATES
Paper submission: August 20th, 2004
Notification of acceptance: September 17th, 2004
Final version due: October 1st, 2004
DTS 04: November 22-23rd, 2004
INTERNATIONAL COMMITTEE
Leopoldo Bertossi, Carleton University, Canada
Antonio Brogi, Universita' di Pisa, Italy
Pedro Cabalar, Universidad de Coruña, Spain
Marina De Vos, University of Bath, United Kingdom
Alfredo Gabaldón, University of Toronto, Canada
Vladik Kreinovich, University of Texas at El Paso, United States
Alessandro Provetti, Universita' di Milano, Italy
Franco Salvetti, University of Colorado-Boulder, United States
LOCAL COMMITTEE
Jose Arrazola Ramirez, Benemerita Universidad Autonoma de Puebla, Mexico
Cesar Bautista, Benemerita Universidad Autonoma de Puebla, Mexico
Rogelio Davila Perez, Instituto Tecnologico y de Estudios Superiores de
Monterrey - Campus Guadalajara, Mexico
Guillermo De Ita, Instituto Nacional de Astrofisica, Optica y Electronica,
Guillermo Morales, Centro de Investigacion y de Estudios Avanzados del IPN,
Mexico
Mauricio Osorio, Universidad de las Americas, Puebla, Mexico
WORKSHOP CHAIRS
Dr. Mauricio Osorio Galindo
Department of Computer Science and Engineering
Universidad de las Americas, Puebla. México
URL: http://www.udlap.mx/~josorio/
E-mail: josorio at mail.udlap.mx
Dr. Jose Ramon Enrique Arrazola Ramírez
Facultad de Ciencias Fisico-Matematicas
Benemerita Universidad Autonoma de Puebla, Mexico
E-mail: arrazola at fcfm.buap.mx
ORGANIZATION AND CONTACT
Claudia Zepeda Cortes, Universidad de las Americas - Puebla
sc098382 at mail.udlap.mx
Magdalena Ortiz, Universidad de las Americas - Puebla
is103378 at mail.udlap.mx- This email was sent via mail - Checkout http://mail
More information about the FOM
mailing list