AI
2011
Springer
13 years 2 months ago
2011
Springer
AI
2011
Springer
13 years 2 months ago
2011
Springer
AI
2011
Springer
13 years 2 months ago
2011
Springer
The paper focuses on developing effective importance sampling algorithms for mixed probabilistic and deterministic graphical models. The use of importance sampling in such graphi...
AI
2011
Springer
13 years 2 months ago
2011
Springer
AI
2011
Springer
13 years 2 months ago
2011
Springer
The Extended Global Cardinality Constraint (EGCC) is a vital component of constraint solving systems, since it is very widely used to model diverse problems. The literature contai...
AI
2011
Springer
13 years 2 months ago
2011
Springer
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example ...
AI
2011
Springer
13 years 2 months ago
2011
Springer
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
AI
2011
Springer
13 years 2 months ago
2011
Springer
The property that the executability and the effects of an action are determined entirely by the current state or situation is known as the Markov property and is assumed in most f...
AI
2011
Springer
13 years 2 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
AI
2011
Springer
13 years 2 months ago
2011
Springer
