622 search results - page 10 / 125 » Answer Set Programming and Bounded Model Checking |
CSL
2005
Springer
15 years 7 months ago
2005
Springer
137
Voted
AMAI
2006
Springer
15 years 1 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
106
Voted
NMR
2004
Springer
15 years 7 months ago
2004
Springer
In Answer Set Programming it is not possible to deduce any conclusion from an inconsistent program (ie: a program that has no model). The same issue occurs in classical logic wher...
128
Voted
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
127
Voted
LANMR
2004
15 years 3 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...