The Logic and Computation Mexican Group and "Facultad de Ciencias Físico Matemáticas, FCFM-BUAP" invites you to participate in the sixth Latin American Workshop On New Methods of Reasoning, to be held in November, from 4th to 5th, 2010 at the Facultad de Ciencias Físico Matemáticas (BUAP) in Puebla, México.

The aim of this sixth 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. A selection of extended workshop papers will be published in a special issue on Fundamenta Informaticae. 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