Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLA-NMR 2009: Apizaco, Tlaxcala, Mexico
- Mauricio Osorio, Claudia Zepeda, Iván Olmos, Carolina Medina, José Arrazola:
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. CEUR Workshop Proceedings 533, CEUR-WS.org 2009
Invited Paper
- Luís Moniz Pereira, Alexandre Miguel Pinto:
Stable versus Layered Logic Program Semantics. 3-27
Regular Papers
- Juan Carlos Nieves, Ignasi Gómez-Sebastià:
Extension-Based Argumentation Semantics via Logic Programming Semantics with Negation as Failure. 31-45 - José Raymundo Marcial-Romero, José Antonio Hernández Servín:
Functional first order de definability of LRTp. 40-60 - Gabriela Montiel-Moreno, José-Luis Zechinelli-Martini, Genoveva Vargas-Solar:
Modelling autonomic dataspaces using answer sets. 61-75 - José Martín Castro-Manzano:
An Introduction to Intention Revision: Issues and Problems. 76-89 - Angel Marín George, Claudia Zepeda Cortés:
Implementing the p-stable semantics. 90-106 - Huberto Ayanegui, Alberto Chávez-Aragón:
A complete algorithm to solve the graph-coloring problem. 107-129 - Guillermo De Ita Luna, Carlos Guillén, Ali Khanafer:
Efficient Computation of the Degree of Belief for a Subclass of Two Conjuctive Forms. 118-129 - Ma. Auxilio Medina, J. Alfredo Sánchez, Silvia Titla, Rebeca Rodríguez, Pedro Vargas:
Selecting the Best Cluster of a Collection of Technical Reports. 130-141 - José Luis Carballido, Claudia Zepeda:
P-stable as an extension of WFS. 142-156 - Mauricio Osorio, Angel Marín George, Juan Carlos Nieves:
Computing the Stratified Minimal Models Semantic. 157-171 - Yuridia P. Mejia, Iván Olmos, Jesus A. Gonzalez:
Structured Motifs Recognition in DNA sequences. 172-182 - Stefania Costantini, Alessandro Provetti:
A Lower-Bound for Answer Set Solver Computation. 183-198
Posters
- Leticia Flores-Pulido, Oleg Starostenko, Gustavo Rodríguez Gómez, Vicente Alarcón Aquino:
Modelling Data Segmentation for Image Retrieval Systems. 201-208 - Georgina Flores Becerra, Esteban Tlelo-Cuautle, Said Polanco-Martagón:
Applying Fuzzy Sets Intersection in the Sizing of Voltage Followers. 209-216 - Luis Estrada-González, Claudia Olmedo-García:
Can Paraconsistency Replace Non-Monotonicity? 217-224
a service of 
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.
last updated on 2024-04-18 20:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
