13827 search results - page 2568 / 2766 » The state of artificial intelligence |
210
click to vote
NMR
2004
Springer
16 years 16 days ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
215
click to vote
NMR
2004
Springer
16 years 16 days ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
182
click to vote
NMR
2004
Springer
16 years 16 days ago
2004
Springer
A simple model of rational belief holds that: (i) an instantaneous snapshot of an ideally rational belief system corresponds to a probability distribution; and (ii) rational belie...
193
click to vote
NMR
2004
Springer
16 years 16 days ago
2004
Springer
We present a framework for investigating merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revision and...
216
click to vote
NMR
2004
Springer
16 years 16 days ago
2004
Springer
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...