posted by user: czepedac || 4190 views || tracked by 8 users: [display]

LANMR 2010 : SIXTH LATIN AMERICAN WORKSHOP ON NEW METHODS OF REASONING 2010 --Logic/Languages, Algorithms and New Methods of Reasoning

FacebookTwitterLinkedInGoogle

Link: http://lanmr.cs.buap.mx
 
When Nov 4, 2010 - Nov 5, 2010
Where Puebla, Mexico
Abstract Registration Due Jun 30, 2010
Submission Deadline Jul 16, 2010
Notification Due Sep 30, 2010
Final Version Due Oct 11, 2010
Categories    logic / languages   algorithms   methods of reasoning   non-monotonic reasoning
 

Call For Papers

*************************
*** WORKSHOP OVERVIEW ***
*************************

The Logic and Computation Mexican Group invites you to participate in the sixth Latin American Workshop on New Methods of Reasoning, to be held in November, from 4th to 5th, 2010 at the Facultad de Ciencias Fisico Matematicas, Benemerita Universidad Autonoma de Puebla (BUAP) in Puebla, Pue., Mexico.

The proceedings of LANMR'10 will be published in CEUR Workshop Proceedings (CEUR- WS.org) that is a publication service of Sun SITE Central Europe operated by RWTH Aachen University with the support of Tilburg University. CEUR-WS.org is recognized as a publication series by Deutsche Bibliothek, ISSN 1613-0073.

Suggested topics include but are not limited to:

- Logic programming and non-monotonic reasoning
- Algorithms applied to logic
- Answer Set Programming
- Knowledge representation
- Belief representation
- Paraconsistent logics
- Deduction techniques
- Automated reasoning
- Non-classical logics
- Reasoning about situations and actions
- Planning
- Algorithms for graph theory in AI
- Multi-agent systems
- Preferences
- Default and abductive reasoning
- Well-founded semantics
- Cognitive agents
- Novel applications
- Natural language
- Argumentation

It is expected a relation to Logic in the submitted papers.

A selection of extended workshop papers will be published in a special issue.


***********************
*** INVITED SPEAKER ***
***********************

Prof. Dr. Torsten Schaub, Institut f.r Informatik Universit.t Potsdam, Germany.

Received his diploma and dissertation in informatics in 1990 and 1992, respectively, from the TechnicalUniversity of Darmstadt, Germany.
He received his habilitation in informatics in 1995 from the University of Rennes I, France. From 1990 to 1993 he was a Researcher at the Technical University at Darmstadt. From 1993 to 1995, he was a Research Associate at IRISA/INRIA at Rennes. From 1995 to 1997, he was University Professor at the University of Angers. At Angers he founded the researchgroup FLUX dealing with the automatisation of reasoning from incomplete, contradictory, and evolutive information.
Since 1997, he is University Professor for knowledge processing and information systems at the University of Potsdam. In 1999, he became Adjunct Professor at the School of Computing Science at Simon Fraser University, Canada; and since 2006 he is also an Adjunct Professor in the Institute for Integrated and Intelligent Systems at
Griffiths University, Australia. His research interests range from the theoretic foundations to the practical implementation of methods for reasoning from incomplete and/or inconsistent information, in particular Answer set programming.

Email: torsten@cs.uni-potsdam.de
http://www.cs.uni-potsdam.de/~torsten/


******************
*** SUBMISSION ***
******************

Papers should be written in English and formatted according to the LNCS style, and not exceed 10 pages including references and figures. Submitted papers will be subject to a double-blind review process. To submit a paper, the authors should send an email with subject "LANMR10 Submission" to:osoriomauri@gmail.com and czepedac@gmail.com, with the PDF file of the paper as an attachment, and the following information in plain text in the body of the email:

--- Paper title.
--- Author names.
--- e-mail.
--- A short abstract.
--- Up to five keywords.

*************************
*** CAMERA READY COPY ***
*************************

Papers should be written in English, formatted using the LNCS style, not exceed 10 pages including references and figures.
To send the camera ready copy, the authors should send an email with subject "LANMR'09 Camera Ready Copy" to osoriomauri@gmail.com and czepedac@gmail.com, with a .zip file as an attachment. The .zip file should contain the paper in PDF format and the latex source files.
The following information should be in the body of the email:
--- Paper title.
--- Author names.


*************************
*** PROGRAM COMMITTEE ***
*************************

-- Jose Julio Alferes, New University of Lisbon, Portugal.
-- Leopoldo Bertossi, Carleton University, Canada.
-- Pedro Cabalar, Corunna University, Spain.
-- Stefania Costantini, University of L'Aquila, Italy.
-- Alberto Chavez, Universidad Autonoma de Tlaxcala, Mexico.
-- Alfredo Gabaldon, New University of Lisbon, Portugal.
-- Jesus Gonzalez, Instituto Nacional de Astrofisica, Optica y Electronica, Mexico.
-- Andrea Formisano, Universita di Perugia, Italy.
-- Raymundo Marcial, Universidad Autonoma del Estado de Mexico, Mexico.
-- Manuel Martin, Benemerita Universidad Autonoma de Puebla, Mexico.
-- Maria Auxilio Medina, Universidad Politecnica de Puebla, Mexico.
-- Luis Moniz Pereira, New University of Lisbon, Portugal.
-- Raul Monroy, Tecnologico de Monterrey Campus Estado de Mexico, Mexico.
-- Guillermo Morales, Centro de Investigacion y Estudios Avanzados del IPN , Mexico.
-- Juan Antonio Navarro, Max Planck Institute for Software Systems, Germany.
-- Juan Carlos Nieves, Universitat Politecnica de Catalunya, Spain.
-- Arturo Olvera, Benemerita Universidad Autonoma de Puebla, Mexico.
-- Magdalena Ortiz, Vienna University of Technology, Austria.
-- Manuel Pech, Instituto Tecnologico de Chetumal, Mexico.
-- Ricardo Perez, Universidad Tecnologica de la Mixteca, Mexico.
-- Alessandro Provetti, Universita di Milano, Italy.
-- Mario Rossainz, Benemerita Universidad Autonoma de Puebla, Mexico.
-- Abraham Sanchez, Benemerita Universidad Autonoma de Puebla, Mexico.
-- Mantas Simukus, Vienna University of Technology, Austria.
-- Christine Solnon, Universite Lyon 1, France.
-- Genoveva Vargas, Laboratory of Informatics of Grenoble, France.


**************************
*** STEERING COMMITTEE ***
**************************

Mauricio Osorio, Universidad de las Americas, Puebla, Mexico.
Claudia Zepeda, Benemerita Universidad Autonoma de Puebla, Mexico.
Ivan Olmos, Benemerita Universidad Autonoma de Puebla, Mexico.
Jose Luis Carballido, Benemerita Universidad Autonoma de Puebla, Mexico.
R. Carolina Medina, Universidad Autonoma Metropolitana, Mexico.

************************
*** LOCAL COMMITTEE ***
************************
Jose Arrazola, Benemerita Universidad Autonoma de Puebla, Mexico.

*************************************
*** CONTACT AND GENERAL INQUIRIES ***
*************************************

Jose Luis Carballido, jlcarballido7@gmail.com
--------------------------------------------------------
--------------------------------------------------------
Note: Accents have been omitted intentionally.

Related Resources

AAAI 2021   35th AAAI Conference on Artificial Intelligence
CSEIT 2021   8th International Conference on Computer Science, Engineering and Information Technology
AMAI 2021   Annals of Mathematics and Artificial Intelligence Special Issue on Theoretical and Practical Aspects of Unification
IPPR 2021   7th International Conference on Image Processing and Pattern Recognition
Sensors - CI and DM in Smart Sensors 2021   MDPI Sensors - Special Issue on Developing New Methods of Computational Intelligence and Data Mining in Smart Sensors Environment
DTMN 2021   7th International Conference on Data Mining
TRA 2021   CFP Extension to December 2020: THE RISE OF ASIA 2021: 60 years after Belgrade, what Non-Alignment in a Multipolar World and for a Global Future?
IJCAX 2021   International Journal of Computer-Aided technologies
NAACL-HLT 2021   2021 Annual Conference of the North American Chapter of the Association for Computational Linguistics
MVA 2021   17th International Conference on Machine Vision Applications