Vol-92 © 2004 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.

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

See the people attending at LA-NMR04

Edited by

Mauricio Osorio, Universidad de las Américas Puebla, josorio@mail.udlap.mx
Alessandro Provetti, University of Messina, ale@unime.it

Sponsors

Preface

Organization

Best Paper Award

• Toward Formalizing Non-monotonic Reasoning in Physics: The use of Kolmogorov Complexity to Formalize the Notions of “Typically” and “Normally”
  Vladik Kreinovich, UT El Paso, USA.

Invited Speaker

Papers

Computing Preferred Safe Beliefs
Luis A. Montiel, J.A. Navarro

Component-Based Answer Set Programming
Stefania Costantini

New Semantics for Hybrid Probabilistic Programs
Emad Saad

Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming
Isabella Cattinelli, Maria Luisa Damiani, Andrea Nucita

Toward Formalizing Non-monotonic Reasoning in Physics: The use of Kolmogorov Complexity to Formalize the Notions of “Typically” and “Normally”
Vladik Kreinovich

ASP: from Application Development to Syntax Extensions
Magdalena Ortiz

Planning Operation: An Extensión of a Geographical Information System
Claudia Zepeda, Christine Solnon, David Sol

An experiment using DLV-K
R. Santillan, A. Lopez

Some Key Notions in Non-monotonic Reasoning
Raymundo Morado