114
Voted
LANMR
15 years 1 months ago
2004 
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...
81
Voted
LANMR
15 years 1 months ago
2004  136
Voted
LANMR
15 years 1 months ago
2004
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
133
click to vote
LANMR
15 years 1 months ago
2004
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...
111
Voted
LANMR
15 years 1 months ago
2004
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...
|
Logical Reasoning