Search results for "LA-NMR"

Hits ?▲	Authors	Title	Venue	Year	Link
1	José Antonio Hernández Servín, José Raymundo Marcial-Romero, Guillermo De Ita Luna	Edge covering of acyclic graphs.	LA-NMR	2012	DBLP BibTeX RDF
1	Sergio Arzola, Claudia Zepeda	Unified Perception-Prediction Model for Cognitive Agents.	LA-NMR	2012	DBLP BibTeX RDF
1	Nahun Loya, Iván Olmos	Ozone Pollution Forecast based on Neural Networks and Decision Trees.	LA-NMR	2012	DBLP BibTeX RDF
1	Guillermo De Ita Luna, Yolanda Moyao, Juan Carlos Pérez, Josúe Pérez	Job Shop Scheduling via Disjunctive Boolean Formulas.	LA-NMR	2012	DBLP BibTeX RDF
1	Pedro Bello López, José Andrés Vázquez Flores, Meliza Contreras González, Marco Rodríguez Herníndez	Detection of inconsistencies in knowledge bases for emission of foreign judgments.	LA-NMR	2012	DBLP BibTeX RDF
1	Ma. Auxilio Medina, J. Alfredo Sánchez 0001, Jorge de la Calleja, Antonio Benítez	A practical approach to model classification schemes with OWL ontologies.	LA-NMR	2012	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Juan Carlos Acosta Guadarrama	Towards a Unified Framework for Declarative Knowledge-Change - Principles and Consistency.	LA-NMR	2012	DBLP BibTeX RDF
1	Francisco Edgar Castillo-Barrera	Ontology-based Translators: The new generation.	LA-NMR	2012	DBLP BibTeX RDF
1	Stefania Costantini	Self-checking Logical Agents.	LA-NMR	2012	DBLP BibTeX RDF
1	José Martín Castro-Manzano	Formal Properties of Intentional Reasoning.	LA-NMR	2012	DBLP BibTeX RDF
1	Claudia Zepeda, José Luis Carballido, Sergio Arzola	A general framework for representing preferences.	LA-NMR	2012	DBLP BibTeX RDF
1	Mauricio Osorio 0001, Alejandro Santoyo	Decision Analysis with Logic and Mathematical Programming.	LA-NMR	2012	DBLP BibTeX RDF
1	Mauricio Osorio 0001, Claudia Zepeda, Iván Olmos, José Luis Carballido, R. Carolina Medina Ramírez (eds.)	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	2012	DBLP BibTeX RDF
1	Carlos-Manuel López-Enríquez, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini, Christine Collet	Hybrid query plan generation.	LA-NMR	2012	DBLP BibTeX RDF
1	Mauricio Osorio 0001, Claudia Zepeda, Iván Olmos, José Luis Carballido, José Arrazola, Carolina Medina (eds.)	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	2011	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Ma. Auxilio Medina, J. Alfredo Sánchez 0001, Jorge de la Calleja, Antonio Benítez	Ontology-based Descriptions of Image Collections.	LA-NMR	2011	DBLP BibTeX RDF
1	Flavio Omar Everardo Pérez	A Logical Approach for Melodic Variations.	LA-NMR	2011	DBLP BibTeX RDF
1	Mauricio Osorio 0001, Juan Carlos Nieves, José Luis Carballido	The Stable Abducible Argumentation Semantics.	LA-NMR	2011	DBLP BibTeX RDF
1	Teresita de Jesús Mijangos Martínez	Logic, Linguistics and Connectionism An Exercise of Translation of Optimality Theory Constraints into Logic.	LA-NMR	2011	DBLP BibTeX RDF
1	Sergio Arzola, Claudia Zepeda	Modeling and Encoding Automated Planning Problems with the P-stable Semantics.	LA-NMR	2011	DBLP BibTeX RDF
1	Stefania Costantini	Defining and Maintaining Agent's Experience in Logical Agents.	LA-NMR	2011	DBLP BibTeX RDF
1	José Martín Castro-Manzano, Axel Arturo Barceló-Aspeitia, Alejandro Guerra-Hernández	Intentional Reasoning as Non-monotonic Reasoning.	LA-NMR	2011	DBLP BibTeX RDF
1	Juan Carlos Acosta Guadarrama	Towards a Logic-programming System to Debug ASP Knowledge Bases.	LA-NMR	2011	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	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	DBLP BibTeX RDF
1	Arturo Yee Rendón, Matías Alvarado 0001	Formal Language and Reasoning for Playing Go.	LA-NMR	2011	DBLP BibTeX RDF
1	Meliza Contreras, Miguel Rodríguez 0001, Pedro Bello 0001, Bárbara M. González	An Introduction to Belief Revision and Knowledge Representation with 2CNF.	LA-NMR	2011	DBLP BibTeX RDF
1	Guillermo De Ita Luna, Fernando Zacarías Flores, Alejandro Rangel-Huerta	A Note for Parametric Complexity of #2SAT.	LA-NMR	2011	DBLP BibTeX RDF
1	Ma. Auxilio Medina, J. Alfredo Sánchez 0001, Silvia Titla, Rebeca Rodríguez, Pedro Vargas	Selecting the Best Cluster of a Collection of Technical Reports.	LA-NMR	2009	DBLP BibTeX RDF
1	Angel Marín George, Claudia Zepeda Cortés	Implementing the p-stable semantics.	LA-NMR	2009	DBLP BibTeX RDF
1	José Raymundo Marcial-Romero, José Antonio Hernández Servín	Functional first order de definability of LRTp.	LA-NMR	2009	DBLP BibTeX RDF
1	Guillermo De Ita Luna, Carlos Guillén, Ali Khanafer 0001	Efficient Computation of the Degree of Belief for a Subclass of Two Conjuctive Forms.	LA-NMR	2009	DBLP BibTeX RDF
1	Luís Moniz Pereira, Alexandre Miguel Pinto	Stable versus Layered Logic Program Semantics.	LA-NMR	2009	DBLP BibTeX RDF
1	José Martín Castro-Manzano	An Introduction to Intention Revision: Issues and Problems.	LA-NMR	2009	DBLP BibTeX RDF
1	Mauricio Osorio 0001, Angel Marín George, Juan Carlos Nieves	Computing the Stratified Minimal Models Semantic.	LA-NMR	2009	DBLP BibTeX RDF
1	Huberto Ayanegui, Alberto Chávez-Aragón	A complete algorithm to solve the graph-coloring problem.	LA-NMR	2009	DBLP BibTeX RDF
1	Mauricio Osorio 0001, Claudia Zepeda, Iván Olmos, Carolina Medina, José Arrazola (eds.)	Proceedings of the Fifth Latin American Workshop on Non-Monotonic Reasoning 2009 (LANMR'09) , Facultad de Ciencias Básicas, Ingeniería y Tecnología , Universidad Autónoma de Tlaxcala (UAT) , Apizaco, Tlaxcala, México, November 5-6, 2009.	LA-NMR	2009	DBLP BibTeX RDF
1	Stefania Costantini, Alessandro Provetti	A Lower-Bound for Answer Set Solver Computation.	LA-NMR	2009	DBLP BibTeX RDF
1	Luis Estrada-González, Claudia Olmedo-García	Can Paraconsistency Replace Non-Monotonicity?	LA-NMR	2009	DBLP BibTeX RDF
1	José Luis Carballido, Claudia Zepeda	P-stable as an extension of WFS.	LA-NMR	2009	DBLP BibTeX RDF
1	Gabriela Montiel-Moreno, José-Luis Zechinelli-Martini, Genoveva Vargas-Solar	Modelling autonomic dataspaces using answer sets.	LA-NMR	2009	DBLP BibTeX RDF
1	Juan Carlos Nieves, Ignasi Gómez-Sebastià	Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure.	LA-NMR	2009	DBLP BibTeX RDF
1	Yuridia P. Mejia, Iván Olmos, Jesus A. Gonzalez	Structured Motifs Recognition in DNA sequences.	LA-NMR	2009	DBLP BibTeX RDF
1	Georgina Flores Becerra, Esteban Tlelo-Cuautle, Said Polanco-Martagón	Applying Fuzzy Sets Intersection in the Sizing of Voltage Followers.	LA-NMR	2009	DBLP BibTeX RDF
1	Leticia Flores-Pulido, Oleg Starostenko, Gustavo Rodríguez Gómez, Vicente Alarcón Aquino	Modelling Data Segmentation for Image Retrieval Systems.	LA-NMR	2009	DBLP BibTeX RDF
1	Stefania Costantini, Andrea Formisano 0001	Conditional preferences in P-RASP.	LA-NMR	2008	DBLP BibTeX RDF
1	Alejandro Guerra-Hernández, José Martín Castro-Manzano, Amal El Fallah Seghrouchni	CTL AgentSpeak(L): a specification language for agent programs.	LA-NMR	2008	DBLP BibTeX RDF
1	Abraham Sánchez López, Alfredo Toriz P.	Coordinated multi-agent exploration.	LA-NMR	2008	DBLP BibTeX RDF
1	Magdalena Ortiz 0001	An Automata-based algorithm for description logics around SRIQ.	LA-NMR	2008	DBLP BibTeX RDF
1	Ruslán Ledesma	Brief study of the relation between AGM postulates (-7) and (+7) under non-classical logics.	LA-NMR	2008	DBLP BibTeX RDF
1	José Arrazola, Eduardo Ariza, Verónica Borja Macías	The Pac Logic in the properties of C(w) and C(min).	LA-NMR	2008	DBLP BibTeX RDF
1	José Luis Carballido, Claudia Zepeda	P-stable models of strong kernel programs.	LA-NMR	2008	DBLP BibTeX RDF
1	Iván Olmos, Jesus A. Gonzalez	Structural graph-based representations used for finding hidden patterns.	LA-NMR	2008	DBLP BibTeX RDF
1	David Pinto 0001, Jorge Civera, Alfons Juan, Paolo Rosso, Alberto Barrón-Cedeño	A statistical approach to crosslingual natural language tasks.	LA-NMR	2008	DBLP BibTeX RDF
1	Claudia Zepeda, José Luis Carballido	Semi-negative normal programs based on p-stable semantics.	LA-NMR	2008	DBLP BibTeX RDF
1	Guillermo De Ita Luna, Mireya Tovar, Meliza Contreras González	Agents's competition for selecting a representative.	LA-NMR	2008	DBLP BibTeX RDF
1	Ana B. Ríos-Alvarado, Ricardo Marcelín-Jiménez, R. Carolina Medina Ramírez	Semantic information storage and retrieval in a peer-to-peer corporate memory.	LA-NMR	2008	DBLP BibTeX RDF
1	Mauricio Osorio 0001, Iván Olmos (eds.)	Proceedings of the fourth Latin American Workshop on Non-Monotonic Reasoning 2008 (LANMR'08) Facultad de Ciencias de la Computación de la Benemérita Universidad Autónoma de Puebla, Puebla, México, October 22-24, 2008	LA-NMR	2008	DBLP BibTeX RDF
1	Ma. de Guadalupe García-Hernández, José Ruiz-Pinales, Alberto Reyes-Ballesteros, Eva Onaindia, Juan Gabriel Aviña-Cervantes, Sergio Ledesma, Donato Hernández	Association rule-based Markov Decision Processes.	LA-NMR	2008	DBLP BibTeX RDF
1	Roxana Dánger, Rafael Berlanga Llavori	Generating complex ontology instances from documents.	LA-NMR	2008	DBLP BibTeX RDF
1	Carlos Guillén, Guillermo De Ita Luna, Aurelio López-López	Efficient computation of the degree of belief in a propositional theory.	LA-NMR	2008	DBLP BibTeX RDF
1	Juan Carlos Acosta Guadarrama	AGM postulates in Answer Sets.	LA-NMR	2008	DBLP BibTeX RDF
1	Juan Carlos Nieves, Mauricio Osorio 0001	Generating maximal models using the stable model semantics.	LA-NMR	2007	DBLP BibTeX RDF
1	Juan Carlos Nieves, Mauricio Osorio 0001	Inferring preferred extensions by Pstable semantics.	LA-NMR	2007	DBLP BibTeX RDF
1	Guillermo De Ita Luna, Pedro Bello López, Meliza Contreras González	Efficient counting of models for boolean formulas represented by embedded cycles.	LA-NMR	2007	DBLP BibTeX RDF
1	José Arrazola, Pilar Pozos Parra, Mauricio Osorio 0001, Claudia Zepeda (eds.)	Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR07 Workshop, Benemérita Universidad Autónoma de Puebla, Puebla, Pue., México, 17th - 19th September 2007	LA-NMR	2007	DBLP BibTeX RDF
1	Federico Marulanda Rey	Dialetheic truth theory: inconsistency, non-triviality, soundness, incompleteness.	LA-NMR	2007	DBLP BibTeX RDF
1	Pilar Pozos Parra, Edgardo Yescas, Jacob Vásquez	Planning using situation calculus, prolog and a mobile robot.	LA-NMR	2007	DBLP BibTeX RDF
1	Marcelino C. Pequeno, Rodrigo de Melo Souza Veras, Wladimir A. Tavares	Handling Exceptions in nonmonotonic reasoning.	LA-NMR	2007	DBLP BibTeX RDF
1	Rogelio Dávila, Sara C. Hernández, Juan F. Corona	Teaching natural deduction to improve text argumentation analysis in engineering students.	LA-NMR	2007	DBLP BibTeX RDF
1	José Luis Carballido, José Arrazola, Mauricio Osorio 0001	Equivalence for the G3'-stable models semantics.	LA-NMR	2007	DBLP BibTeX RDF
1	Mauricio Osorio 0001	GLukG logic and its application for non-monotonic reasoning.	LA-NMR	2007	DBLP BibTeX RDF
1	Eduardo Ariza, José Arrazola	Analysis of the paraconsistency in some logics.	LA-NMR	2007	DBLP BibTeX RDF
1	Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio 0001	Supporting decision making in organ transplanting using argumentation theory.	LA-NMR	2006	DBLP BibTeX RDF
1	Salvador Eugenio Ayala-Raggi, German Cuaya-Simbro, Modesto G. Medina-Meléndrez, Angélica Muñoz-Meléndez	Representación con Restricciones de Medidas Cualitativas: Aplicación a un Problema de Scheduling.	LA-NMR	2006	DBLP BibTeX RDF
1	Yana Todorova	Ideological conflict - notes on the development of a commonsense knowledge base about ideologies.	LA-NMR	2006	DBLP BibTeX RDF
1	José Juan Palacios Pérez	On strong negation as linear duality.	LA-NMR	2006	DBLP BibTeX RDF
1	Robert Demolombe, Pilar Pozos Parra	Integrating State Constraints and Obligations in Situation Calculus.	LA-NMR	2006	DBLP BibTeX RDF
1	Mauricio Osorio 0001, Claudia Zepeda, Pilar Pozos Parra, Guillermo De Ita Luna (eds.)	Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the LA-NMR06 Workshop, Facultad de Ingeniería de la Universidad Auónoma de San Luis Potí, San Luis Potosí, Mexico, September 18, 2006	LA-NMR	2006	DBLP BibTeX RDF
1	Mauricio Osorio 0001, Claudia Zepeda	Preferences using Answer Sets.	LA-NMR	2006	DBLP BibTeX RDF
1	Mauricio Osorio 0001, Alessandro Provetti (eds.)	Latin-American Workshop on Non-Monotonic Reasoning, Proceedings of the 1st Intl. LA-NMR04 Workshop, Antiguo Colegio de San Ildefonso, Mexico City, D.F , Mexico, April 26th 2004	LA-NMR	2004	DBLP BibTeX RDF
1	Raymundo Morado	Some Key Notions in Non-monotonic Reasoning.	LA-NMR	2004	DBLP BibTeX RDF
1	Stefania Costantini	Component-Based Answer Set Programming.	LA-NMR	2004	DBLP BibTeX RDF
1	Claudia Zepeda, Christine Solnon, David Sol	Planning Operation: An Extensio'n of a Geographical Information System.	LA-NMR	2004	DBLP BibTeX RDF
1	Isabella Cattinelli, Maria Luisa Damiani, Andrea Nucita	Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming.	LA-NMR	2004	DBLP BibTeX RDF
1	Luis A. Montiel, Juan Antonio Navarro Pérez	Computing Preferred Safe Beliefs.	LA-NMR	2004	DBLP BibTeX RDF
1	Vladik Kreinovich	Toward Formalizing Non-monotonic Reasoning in Physics: The use of Kolmogorov Complexity to Formalize the Notions of "Typically" and "Normally".	LA-NMR	2004	DBLP BibTeX RDF
1	Magdalena Ortiz 0001	ASP: from Application Development to Syntax Extensions.	LA-NMR	2004	DBLP BibTeX RDF
1	Rocío Santillán, Alejandra López	An experiment using DLV-K.	LA-NMR	2004	DBLP BibTeX RDF
1	Emad Saad	New Semantics for Hybrid Probabilistic Programs .	LA-NMR	2004	DBLP BibTeX RDF

Publications at "LA-NMR"( http://dblp.L3S.de/Venues/LA-NMR )