Sciweavers

8 search results - page 1 / 2
» lanmr 2004
Sort
View
70
Voted
LANMR
2004
14 years 11 months ago
An experiment using DLV-K
R. Santillan, A. Lopez
67
Voted
LANMR
2004
14 years 11 months ago
Planning Operation: An Extensio'n of a Geographical Information System
Claudia Zepeda, Christine Solnon, David Sol
92
Voted
LANMR
2004
14 years 11 months ago
ASP: from Application Development to Syntax Extensions
In this paper some theoretical results in ASP are discussed in the context of application development. An application of ASP in collaborative learning is presented as a motivation....
Magdalena Ortiz
97
Voted
LANMR
2004
14 years 11 months ago
Reasoning about Lava effusion: From Geographical Information Systems to Answer Set Programming
Abstract. This article describes our implementation in Answer Set Programming of a reasoning system that models the flow of lava in volcanic eruptions. Our system can be employed i...
Isabella Cattinelli, Maria Luisa Damiani, Andrea N...
101
Voted
LANMR
2004
14 years 11 months ago
Computing Preferred Safe Beliefs
We recently proposed a definition of a language for nonmonotonic reasoning based on intuitionistic logic. Our main idea is a generalization of the notion of answer sets for arbitr...
Luis A. Montiel, Juan A. Navarro