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|