8 search results - page 1 / 2 » lanmr 2004 |
LANMR
2004
13 years 5 months ago
2004
LANMR
2004
13 years 5 months ago
2004
LANMR
2004
13 years 5 months ago
2004
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....
LANMR
2004
13 years 5 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...
LANMR
2004
13 years 5 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...