posted by user: cmed || 3042 views || tracked by 4 users: [display]

LANMR 2011 : Seventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning 2011

FacebookTwitterLinkedInGoogle

Link: http://lanmr.cs.buap.mx
 
When Nov 7, 2011 - Nov 8, 2011
Where Estado de México, México
Abstract Registration Due Jul 8, 2011
Submission Deadline Jul 15, 2011
Notification Due Sep 3, 2011
Final Version Due Sep 14, 2011
Categories    algorithms applied to logic   non-monotonic reasoning   knowledge representation   others described in the cfp
 

Call For Papers



The Logic and Computation Mexican Group invites you to participate in the seventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning to be held at Universidad Autónoma del Estado de México in Toluca, Estado de Mexico, Mexico from the 7th to the 8th of November, 2011.

The proceedings of LANMR'11 will be published in CEUR Workshop Proceedings (CEUR-WS.org) which 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. Each accepted paper will also appear as a book chapter published by Fondo Editorial BUAP.

Suggested topics include are but 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 that submitted papers are somehow related to Logic.


*** SUBMISSION ***

Papers should be written in English and formatted according to the LNCS style, and not to be exceeded 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 e-mail with the legend "LANMR11 Submission" in the subject to osoriomauri@gmail.com and czepedac@gmail.com, and as an attachment the file of the paper in pdf format. Please, also add 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.




*** IMPORTANT DATES ***

Abstract Submission :
Paper Submission:
Notification:
Camera Ready Copy:
Workshop : 08 July, 2011
15 July, 2011
03 Sept, 2011
14 Sept, 2011
7-8 November, 2011




*** STEERING COMMITTEE ***

Mauricio Osorio, Universidad de las Américas, Puebla, México.
José Arrazola, Benemérita Universidad Autónoma de Puebla, México.
Claudia Zepeda, Benemérita Universidad Autónoma de Puebla, México.
Iván Olmos, Benemérita Universidad Autónoma de Puebla, México.
José Luis Carballido, Benemérita Universidad Autónoma de Puebla, México.
Carolina Medina, Universidad Autónoma Metropolitana-Iztapalapa, México.



*** LOCAL COMMITTEE ***

José Raymundo Marcial, Universidad Autónoma del Estado de México, México.
José Antonio Hernández, Universidad Autónoma del Estado de México, México.




*** CONTACT AND GENERAL INQUIRIES ***

José Luis Carballido, jlcarballido7@gmail.com





Related Resources

LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
KR 2024   Principles of Knowledge Representation and Reasoning
LAJC 2024   Latin-American Journal of Computing
ONTOBRAS 2024   Ontobras 2024 : 17th Seminar on Ontology Research in Brazil
NYC-2024-CS 2024   New York Annual Conference on Computer Science 2024
LATINCOM 2024   16th IEEE Latin-American Conference on Communications
LADC 2024   Latin-American Symposium on Dependable and Secure Computing
CLEI 2024   CLEI'24: The 50th Latin American Computing Conference
LAEDC 2024   IEEE LATIN AMERICAN ELECTRON DEVICES CONFERENCE
LATIN 2024   16th Latin American Theoretical Informatics Symposium