Sciweavers

Share
LANMR
2004
9 years 10 months ago
New Semantics for Hybrid Probabilistic Programs
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
Emad Saad
LANMR
2004
9 years 10 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
LANMR
2004
9 years 10 months ago
Some Key Notions in Non-monotonic Reasoning
This paper explores the role of some basic notions in the study of non-monotonic reasoning, such as validity, logical consequence, context, rules and assumptions.1 It offers some ...
Raymundo Morado
LANMR
2004
9 years 10 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
LANMR
2004
9 years 10 months ago
Component-Based Answer Set Programming
In previous work we have discussed the importance of identifying the cycles that occur in a logic program under the answer set semantics, and the connections between cycles, that w...
Stefania Costantini
LANMR
2004
9 years 10 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...
books