LANMR 2020: Thirteenth Latin American Workshop on New Methods of Reasoning 2020 December 10-11, 2020 |
Conference website | http://www.lanmr.unam.mx/index.html |
Submission link | https://easychair.org/conferences/?conf=lanmr2020 |
Abstract registration deadline | September 22, 2020 |
Submission deadline | October 22, 2020 |
LANMR 2020
LANMR 2020 is the thirteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The aim of the 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.This year the LANMR workshop is organized by the Benemerita Universidad Autónoma de Puebla, Universidad Autónoma del Estado de México and the Universidad Nacional Autónoma de México through Facultad de Ciencias (PAPIIT IN119920) and Facultad de Ingeniería (PAPIIT IA105420).
Submission Guidelines
The proceedings of LANMR 2020 will be published in CEUR Workshop Proceedings (CEUR WS.org). Furthermore, accepted theoretical computer science papers that fulfill the requirements of Electronic Notes in Theoretical Computer Science (http://www.journals.elsevier.com/electronic-notes-in-theoretical-computer-science) will be published in a special issue of this journal.
Important Dates
Abstract submission: September 22th, 2020
Paper submission: October 22th, 2020
Notification of acceptance: November 22th, 2020
Camera Ready: December 6th, 2020
Workshop: December 10th and 11th, 2020
List of Topics
- Topics of interest include, but are not limited to:
- Logic programming and nonmonotonic 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
- Foundations of programming languages
- Planning
- AI Artificial Intelligence
- Agent and Intelligent Systems
- Preferences
- Default and abductive reasoning
- Well-founded semantics
- Cognitive agents
- Novel applications in AI
- Natural language Processing
- Argumentation
- Applications based on formal theory
Contact
All questions about submissions should be emailed to czepedac@gmail.com