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

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


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 ( which is a publication service of Sun SITE Central Europe operated by RWTH Aachen University with the support of Tilburg University. 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
- 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.


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 and, 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.


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


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.


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.


José Luis Carballido,

Related Resources

LADC 2021   10th Latin-American Symposium on Dependable Computing
IJANS 2021   International Journal on AdHoc Networking Systems
LA-CCI 2021   7th IEEE Latin American Conference on Computational Intelligence
DBKDA 2021   The Thirteenth International Conference on Advances in Databases, Knowledge, and Data Applications
Global and Constrained Optimization 2021   IS06: Global and Constrained Optimization: Algorithms and Applications
ICCS 2021   International Conference on Conceptual Structures
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
KR4HC 2021   12th International Workshop on Knowledge Representation for Health Care
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?
NAACL-HLT 2021   2021 Annual Conference of the North American Chapter of the Association for Computational Linguistics