Logic / Languages, Algorithms, Non-Monotonic Reasoning |

The Logic and Computation Mexican Group and "Cuerpo Académico de Sistemas Distribuidos, FCC-BUAP" invites you to participate in the fifth Latin American Workshop On Non-Monotonic Reasoning, to be held in November, from 5th to 6th, 2009 at the Facultad de Ciencias Básicas, Ingeniería y Tecnología, Universidad Autónoma de Tlaxcala (UAT) in Apizaco, Tlaxcala, México.

The aim of this fifth LANMR workshop is to bring together active researchers from different academic institutions who share a common interest in formal areas of Computer Science (CS) such as Logic, Formal languages, Algorithms, and Non-Monotonic reasoning.

Authors are invited to submit papers presenting original and unpublished research in all areas related to logic and computation. Suggested topics include:

- 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
- 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

NOTE: A relation to logic is expected from the submitted papers.