Stop the war!
Остановите войну!
for scientists:
default search action
LA-NMR 2011: Toluca, Estado de México, Mexico
- Mauricio Osorio, Claudia Zepeda, Iván Olmos, José Luis Carballido, José Arrazola, Carolina Medina:
Proceedings of the Seventh Latin American Workshop on Non-Monotonic Reasoning, LANMR 2011, Toluca, Estado de México, México, November 7-8, 2011. CEUR Workshop Proceedings 804, CEUR-WS.org 2011
Regular Papers
- Juan Carlos Acosta Guadarrama:
Towards a Logic-programming System to Debug ASP Knowledge Bases. 3-12 - Meliza Contreras, Miguel Rodríguez, Pedro Bello, Bárbara M. González:
An Introduction to Belief Revision and Knowledge Representation with 2CNF. 13-22 - José Martín Castro-Manzano, Axel Arturo Barceló-Aspeitia, Alejandro Guerra-Hernández:
Intentional Reasoning as Non-monotonic Reasoning. 23-34 - 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. 35-44 - Sergio Arzola, Claudia Zepeda:
Modeling and Encoding Automated Planning Problems with the P-stable Semantics. 45-56 - Mauricio Osorio, Juan Carlos Nieves, José Luis Carballido:
The Stable Abducible Argumentation Semantics. 57-68 - 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. 71-82 - Teresita de Jesús Mijangos Martínez:
Logic, Linguistics and Connectionism An Exercise of Translation of Optimality Theory Constraints into Logic. 83-94 - Guillermo De Ita Luna, Fernando Zacarías Flores, Alejandro Rangel-Huerta:
A Note for Parametric Complexity of #2SAT. 95-104 - Francisco Edgar Castillo-Barrera, R. Carolina Medina Ramírez, Hector A. Duran-Limon:
Knowledge Capitalization in a Component-Based Software Factory: a Semantic Viewpoint. 105-114 - 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. 115-122 - Arturo Yee Rendón, Matías Alvarado:
Formal Language and Reasoning for Playing Go. 125-132 - Ma. Auxilio Medina, J. Alfredo Sánchez, Jorge de la Calleja, Antonio Benítez:
Ontology-based Descriptions of Image Collections. 133-140 - Flavio Omar Everardo Pérez:
A Logical Approach for Melodic Variations. 141-150 - Stefania Costantini:
Defining and Maintaining Agent's Experience in Logical Agents. 151-165
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.