posted by user: cmed || 3301 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

NAACL 2025   North American Chapter of the Association for Computational Linguistics
IPPR 2025   11th International Conference on Image Processing and Pattern Recognition
African, Asian, Latin American 2025   African, Asian, and Latin American authors needed: The Handbook of Trans Cinema
AAIA 2025   Advanced Artificial Intelligence in Applications - IEEE FedCSIS
LAWCC 2025   First CfP: XVII LAWCC - CLEI 2025 (XVII Latin American Women in Computing Congress - CLEI 2025)
KR 2025   22nd International Conference on Principles of Knowledge Representation and Reasoning
FCT 2025   25th International Symposium on Fundamentals of Computation Theory
ICKG 2025   The 16th IEEE International Conference on Knowledge Graphs
SOFT 2025   11th International Conference on Software Engineering
LAJC 2025   Latin-American Journal of Computing