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