Related Events by Keyword

Eigth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning 2012

Description: *** WORKSHOP OVERVIEW *** The Logic and Computation Mexican Group invites you to participate in the seventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning, to be held in September, from 10th to 11th September, 2012 at the Universidad Autonoma Metropolitana, Unidad Iztapalapa, Mexico City. The proceedings of LANMR 2012 will be published in CEUR Workshop Proceedings (CEUR-WS.org) which is a publication service of Sun SITE Central Europe operated by RWTH Aachen University with the support of Tilburg University. CEUR-WS.org is recognized as a publication series by Deutsche Bibliothek, ISSN 1613-0073. Each accepted paper also will appear ...

Keywords: knowledge representation, non-monotonic reasoning, algorithms applied to logic, others described in the cfp

14th International Workshop on Non-Monotonic Reasoning

Description: To be published at: http://www.dbai.tuwien.ac.at/NMR12/papercall.html

Keywords: knowledge representation, artificial intelligence, logic programming, non-monotonic reasoning

Seventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning 2011

Description: The Logic and Computation Mexican Group invites you to participate in the seventh Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning to be held at Universidad Autónoma del Estado de México in Toluca, Estado de Mexico, Mexico from the 7th to the 8th of November, 2011. The proceedings of LANMR'11 will be published in CEUR Workshop Proceedings (CEUR-WS.org) which is a publication service of Sun SITE Central Europe operated by RWTH Aachen University with the support of Tilburg University. CEUR-WS.org is recognized as a publication series by Deutsche Bibliothek, ISSN 1613-0073. Each accepted paper will also appear ...

Keywords: knowledge representation, non-monotonic reasoning, algorithms applied to logic, others described in the cfp

SIXTH LATIN AMERICAN WORKSHOP ON NEW METHODS OF REASONING 2010 --Logic/Languages, Algorithms and New Methods of Reasoning

Description: ************************* *** WORKSHOP OVERVIEW *** ************************* The Logic and Computation Mexican Group 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 Fisico Matematicas, Benemerita Universidad Autonoma de Puebla (BUAP) in Puebla, Pue., Mexico. The proceedings of LANMR'10 will be published in CEUR Workshop Proceedings (CEUR- WS.org) that is a publication service of Sun SITE Central Europe operated by RWTH Aachen University with the support of Tilburg University. CEUR-WS.org is recognized as a publication series by Deutsche Bibliothek, ISSN 1613-0073. ...

Keywords: algorithms, non-monotonic reasoning, logic / languages, methods of reasoning

FIFTH LATIN AMERICAN WORKSHOP ON NON-MONOTONIC REASONING 2009

Description: ===================== CALL FOR PAPERS ========================= FIFTH LATIN AMERICAN WORKSHOP ON NON-MONOTONIC REASONING 2009 Logic/Languages, Algorithms, Non-Monotonic Reasoning (LANMR'09) http://lanmr.cs.buap.mx =============================================================== *** IMPORTANT DATES *** Abstract Submission : 30 June, 2009 Paper Submission : 6 July, 2009 Notification : 25 September, 2009 Camera Ready Copy : 9 October, 2009 Workshop : 5-6 November, 2009 =============================================================== *** WORKSHOP OVERVIEW *** The Logic and Computing Mexican Group 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 Basicas, Ingenieria y Tecnologia, Universidad Autonoma de Tlaxcala ...

Keywords: algorithms, languages, logic, non-monotonic reasoning