• Aucun résultat trouvé

Preface

N/A
N/A
Info
Télécharger
Protected

Academic year: 2022

Partager "Preface"

Copied!
1
0
0

Chargement.... (Voir le texte intégral maintenant)

Texte intégral

(1)

Foreword

This volume contains the papers that were presented at the Third Latin American Workshop on Non-Monotonic Reasoning (LANMR’07) which was held in Puebla City, Mexico on September 17-19 2007. The Third edition of the workshop was organized by diverse Mexican Universities.

The aim of the workshop was to bring together active researchers in the broad area of non-monotonic reasoning, including knowledge representation, belief revision, reasoning about actions, planning, logic programming, causality, and other related topics.

In Latin America there are several research groups interested in this topic. The number of papers and workshops submitted to different congresses related to non-monotonic reasoning such as IBERAMIA, ENC and MICAI provides evidence of such interest. So, LANMR workshop is designed to promote cooperation among practitioners and researchers across disciplines who are interested in the theory and practical implementations of non-monotonic reasoning.

The aims of the workshop were:

• to present innovative theoretical work and original applications of NMR,

• to exchange ideas and to facilitate interaction between researchers in NMR,

• to discuss significant recent achievements in the theory and automation of NMR,

• to present critical short and long term goals for NMR,

• to discuss the significance of NMR to knowledge representation and AI in general,

• to provide a forum for students to present their current research and receive feedback from other students and researchers.

This year the philosophical community participated actively on the workshop, allowing for the identification and addressing of problems of common interest in this area. Moreover, the invited speakers provided means to explore ways in which their research may contribute to this area.

We would like to thank all authors who submitted papers as well as all the referees for their timely expertise in carefully reviewing the papers. We are grateful to the invited speakers: Otavio Bueno, Robert Demolombe, Guillermo Morales, Rogelio Davila, and Hector Jimenez for preparing such interesting talks and for taking the time and effort to attend the workshop. Finally, thanks to the Benemérita Universidad Autónoma de Puebla staff for hosting our workshop.

José Arrazola, Benemérita Universidad Autónoma de Puebla Mauricio Osorio, Universidad de las Américas Puebla

Pilar Pozos, Universidad Juárez Autónoma de Tabasco Claudia Zepeda, Universidad Politécnica de Puebla

September, 2007

Références

Télécharger maintenant ( PDF - 1 Page - 19.60 KB )

Documents relatifs

Reasoning About Knowledge in Context

Based on the notion of “contextual models”, its static part will make it possible to capture formally, by means of the same language and the same semantics, a number of

The temporal representation and reasoning of complex events

In this paper the logic programs have been used to represent the events (simple and complex) and their relations, to analyse the temporal consistency of a complex event, to discover

Intentional Reasoning as Non-monotonic Reasoning

In the current picture defeasible logics have been mainly developed to rea- son about beliefs [17] but have been barely used to reason about temporal structures [11]; on the other

First and Second-Order False-Belief Reasoning: Does Language Support Reasoning About the Beliefs of Others?

Repeated Measures ANOVAs were performed with Verbal Level (verbal – non- verbal) and False Belief Order (first order – second order) as within-participants fac- tors, and

Reasoning-Supported Interactive Revision of Knowledge Bases

Intuitively, the purpose of decision spaces is to keep track of the dependencies between the axioms in such a way, that we can read-off the consequences of revision state re-

Non-Classical Logics for Knowledge Representation and Reasoning

Those activities in- clude the development of goal directed proof methods for Horn like fragments of modal logics K, S4, S5 and their use in the definition of structuring constructs

Preface to the Proceedings of the 2nd Knowledge Extraction from Games Workshop

Knowledge Extraction from Games (KEG) is a workshop exploring questions of and ap- proaches to the automated extraction of knowledge from games. We use “knowledge” in the

A Qualitative Investigation of the Explainability of Defeasible Argumentation and Non-Monotonic Fuzzy Reasoning

Therefore, this research focused on a qualitative comparison of the degree of explainability of defeasible argumentation and non-monotonic fuzzy reasoning in a real-world