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

LANMR 2014 http://scfi.uaemex.mx/lanmr is the ninth installment of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The objective of the LANMR Workshop is to bring together researchers from academia and industry worldwide to present recent research results on theory and applications on Logic, Languages, Algorithms and Reasoning Methods. Researchers, engineers and experts are invited to submit high quality papers to share and to discuss their latest research results. LANMR 2014 will provide a forum where participants could exchange their ideas and experiences through high quality peer reviewed papers.
The Workshop features a three-day program of invited talks by recognized scientists, oral presentations of technical papers, as well as a Doctoral Consortium of currently enrolled graduate students. This year the LANMR workshop will be held from 5th to 7th November, 2014 at ANUIES, Valle de Bravo, State of Mexico. LANMR 2014 is organized by the Logic and Computation Mexican Group.
The proceedings of LANMR 2014 will be published in CEUR Workshop Proceedings (CEUR WS.org). Authors of selected papers will be invited to submit extended versions of their contributions to a companion journal issue.
Topics of interest include, but are not limited to:
1. Planning 12. Artificial Intelligence
2. Algorithms applied to logic 13. Agent and Intelligent Systems
3. Answer Set Programming 14. Preferences
4. Knowledge representation 15. Default and abductive reasoning
5. Belief representation 16. Well-founded semantics
6. Paraconsistent logics 17. Cognitive agents
7. Deduction techniques 18. Novel applications in AI
8. Automated reasoning 19. Natural Language Processing
9. Non-classical logics 20. Argumentation
10. Reasoning about situations and actions
11. Logic programming and non-monotonic reasoning