LA-NMR 2004: Mexico City, Mexico

Mauricio Osorio, 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. CEUR Workshop Proceedings 92 CEUR-WS.org 2004

Luis A. Montiel, Juan Antonio Navarro Pérez:
Computing Preferred Safe Beliefs.
Stefania Costantini:
Component-Based Answer Set Programming.
Emad Saad:
New Semantics for Hybrid Probabilistic Programs .
Isabella Cattinelli, Maria Luisa Damiani, Andrea Nucita:
Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming.
Vladik Kreinovich:
Toward Formalizing Non-monotonic Reasoning in Physics: The use of Kolmogorov Complexity to Formalize the Notions of "Typically" and "Normally".
Magdalena Ortiz:
ASP: from Application Development to Syntax Extensions.
Claudia Zepeda, Christine Solnon, David Sol:
Planning Operation: An Extensio'n of a Geographical Information System.
R. Santillan, A. Lopez:
An experiment using DLV-K.
Raymundo Morado:
Some Key Notions in Non-monotonic Reasoning.

Last update Fri May 25 08:24:57 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page