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

Eigth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012
The Logic and Computation Mexican Group invites you to participate in the eigth 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, D.F.
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