posted by user: claudia || 3466 views || tracked by 2 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: http://lanmr.cs.buap.mx
 
When Sep 10, 2012 - Sep 11, 2012
Where Mexico
Abstract Registration Due Mar 12, 2012
Submission Deadline Mar 23, 2012
Notification Due May 18, 2012
Final Version Due Jun 1, 2012
Categories    algorithms applied to logic   non-monotonic reasoning   knowledge representation   others described in the cfp
 

Call For Papers

*** WORKSHOP OVERVIEW ***

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 in September, from 10th to 11th September, 2012 at the Universidad Autonoma Metropolitana, Unidad Iztapalapa, Mexico City.

The proceedings of LANMR 2012 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 also will appear as a chapter of a book to be published by Fondo Editorial BUAP.

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

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

*** IMPORTANT DATES ***

Abstract Submission : 12 March, 2012
Paper Submission : 23 March, 2012
Notification : 18 May, 2012
Camera Ready Copy : 1 June, 2012
Workshop : 10-11September, 2012

*** SUBMISSION ***

Papers should be written in English and formatted according to the LNCS style, and not exceed 12 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 "LANMR12 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.


*** 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.


*** LOCAL COMMITTEE ***

Carolina Medina, Universidad Autonoma Metropolitana, Mexico.
Gerardo A. Laguna, Universidad Autonoma Metropolitana, Mexico.
Ricardo Marcelin, Universidad Autonoma Metropolitana, Mexico.
Enrique Rodriguez, Universidad Autonoma Metropolitana, Mexico.



*** CONTACT AND GENERAL INQUIRIES ***


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

Related Resources

AHPCAI 2026   2026 6th International Conference on Algorithms, High Performance Computing, and Artificial Intelligence
ICAIL 2027   22nd International Conference on Artificial Intelligence and Law (40th Anniversary Edition)
ML 2027   23rd International Conference Mobile Learning 2027
DEON 2027   18th International Conference on Deontic Logic and Normative Systems, 29 June–1 July 2027, Hangzhou, China (First announcement)
CIAWI 2026   23rd Ibero American Conference WWW/Internet 2026
CIACA 2026   13th Ibero American Conference Applied Computing 2026
CIAIAS 2026   Ibero American Conference Artificial Intelligence in Society 2026
IJCGA 2026   International Journal of Computer Graphics & Animation
IJFCST 2026   International Journal in Foundations of Computer Science & Technology
LANMR 2026   17th Latin American Workshop on New Methods of Reasoning