posted by user: claudia || 2903 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

LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
ONTOBRAS 2024   Ontobras 2024 : 17th Seminar on Ontology Research in Brazil
LAJC 2024   Latin-American Journal of Computing
ISIT 2024 2024   2nd Conference on Intelligent Systems and Information Technologies Logic, Knowledge, and Reasoning in Intelligent Systems
NYC-2024-CS 2024   New York Annual Conference on Computer Science 2024
SODA 2025   ACM-SIAM Symposium on Discrete Algorithms
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