Login / Signup
LA-NMR
2004
2007
2012
2004
2012
Keyphrases
Publications
2012
José Martín Castro-Manzano
Formal Properties of Intentional Reasoning.
LA-NMR
(2012)
Sergio Arzola
,
Claudia Zepeda
Unified Perception-Prediction Model for Cognitive Agents.
LA-NMR
(2012)
Francisco Edgar Castillo-Barrera
Ontology-based Translators: The new generation.
LA-NMR
(2012)
Nahun Loya
,
Iván Olmos
Ozone Pollution Forecast based on Neural Networks and Decision Trees.
LA-NMR
(2012)
Carlos-Manuel López-Enríquez
,
Genoveva Vargas-Solar
,
José-Luis Zechinelli-Martini
,
Christine Collet
Hybrid query plan generation.
LA-NMR
(2012)
Joaquín Pérez Ortega
,
Hilda Castillo Zacatelco
,
Rafael de la Rosa Flores
An analysis of the state of the art of algorithms applied to BPP.
LA-NMR
(2012)
Claudia Zepeda
,
José Luis Carballido
,
Sergio Arzola
A general framework for representing preferences.
LA-NMR
(2012)
José Antonio Hernández Servín
,
José Raymundo Marcial-Romero
,
Guillermo De Ita Luna
Edge covering of acyclic graphs.
LA-NMR
(2012)
Ma. Auxilio Medina
,
J. Alfredo Sánchez
,
Jorge de la Calleja
,
Antonio Benítez
A practical approach to model classification schemes with OWL ontologies.
LA-NMR
(2012)
Juan Carlos Acosta Guadarrama
Towards a Unified Framework for Declarative Knowledge-Change - Principles and Consistency.
LA-NMR
(2012)
Stefania Costantini
Self-checking Logical Agents.
LA-NMR
(2012)
Guillermo De Ita Luna
,
Yolanda Moyao
,
Juan Carlos Pérez
,
Josúe Pérez
Job Shop Scheduling via Disjunctive Boolean Formulas.
LA-NMR
(2012)
Mauricio Osorio
,
Alejandro Santoyo
Decision Analysis with Logic and Mathematical Programming.
LA-NMR
(2012)
Pedro Bello López
,
Jose Andrés Vazquez Flores
,
Meliza Contreras González
,
Marco Rodríguez Herníndez
Detection of inconsistencies in knowledge bases for emission of foreign judgments.
LA-NMR
(2012)
volume 911, 2012
Proceedings of the Eighth Latin American Workshop on Logic / Languages, Algorithms and New Methods of Reasoning 2012, Unidad Iztapalapa, México, D.F., September 10-11, 2012
LA-NMR
911 (2012)
2011
Guillermo De Ita Luna
,
Fernando Zacarías Flores
,
Alejandro Rangel-Huerta
A Note for Parametric Complexity of #2SAT.
LA-NMR
(2011)
Flavio Omar Everardo Pérez
A Logical Approach for Melodic Variations.
LA-NMR
(2011)
Teresita de Jesús Mijangos Martínez
Logic, Linguistics and Connectionism An Exercise of Translation of Optimality Theory Constraints into Logic.
LA-NMR
(2011)
José Martín Castro-Manzano
,
Axel Arturo Barceló-Aspeitia
,
Alejandro Guerra-Hernández
Intentional Reasoning as Non-monotonic Reasoning.
LA-NMR
(2011)
Arturo Yee Rendón
,
Matías Alvarado
Formal Language and Reasoning for Playing Go.
LA-NMR
(2011)
Mauricio Osorio
,
Juan Carlos Nieves
,
José Luis Carballido
The Stable Abducible Argumentation Semantics.
LA-NMR
(2011)
Meliza Contreras
,
Miguel Rodríguez
,
Pedro Bello
,
Bárbara M. González
An Introduction to Belief Revision and Knowledge Representation with 2CNF.
LA-NMR
(2011)
José Raymundo Marcial-Romero
,
Alejandra Y. Lucatero
,
José Antonio Hernández Servín
A GMP-FC++ Implementation of a Calculator for Exact Real Number Computation Based on LRT.
LA-NMR
(2011)
Juan Carlos Acosta Guadarrama
Towards a Logic-programming System to Debug ASP Knowledge Bases.
LA-NMR
(2011)
Sergio Arzola
,
Claudia Zepeda
Modeling and Encoding Automated Planning Problems with the P-stable Semantics.
LA-NMR
(2011)
Stefania Costantini
Defining and Maintaining Agent's Experience in Logical Agents.
LA-NMR
(2011)
Francisco Edgar Castillo-Barrera
,
R. Carolina Medina Ramírez
,
Hector A. Duran-Limon
Knowledge Capitalization in a Component-Based Software Factory: a Semantic Viewpoint.
LA-NMR
(2011)
Julian J. Portillo
,
Carmen Leticia García-Mata
,
Pedro Rafael Márquez-Gutiérrez
,
Rogelio Baray-Arana
Robot Platform Motion Planning using Answer Set Programming.
LA-NMR
(2011)
Ma. Auxilio Medina
,
J. Alfredo Sánchez
,
Jorge de la Calleja
,
Antonio Benítez
Ontology-based Descriptions of Image Collections.
LA-NMR
(2011)
Eddy Sánchez de la Cruz
,
Homero Alpuín-Jiménez
,
Humberto de Jesús Ochoa Domínguez
,
Pilar Pozos Parra
SDCA: System to Detect Cancerous Abnormalities.
LA-NMR
(2011)
volume 804, 2011
Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011
LA-NMR
804 (2011)