AMAI
2008
Springer
13 years 11 months ago
2008
Springer
AMAI
2008
Springer
13 years 11 months ago
2008
Springer
AMAI
2008
Springer
13 years 11 months ago
2008
Springer
This paper presents and evaluates an approach to Bayesian model averaging where the models are Bayesian nets (BNs). Prior distributions are defined using stochastic logic programs...
AMAI
2008
Springer
13 years 11 months ago
2008
Springer
Abstract The paper introduces mixed networks, a new graphical model framework for expressing and reasoning with probabilistic and deterministic information. The motivation to devel...
AMAI
2008
Springer
13 years 11 months ago
2008
Springer
AMAI
2008
Springer
13 years 11 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
AMAI
2008
Springer
13 years 11 months ago
2008
Springer
We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlyi...
AMAI
2008
Springer
13 years 11 months ago
2008
Springer
AMAI
2008
Springer
13 years 11 months ago
2008
Springer
AMAI
2008
Springer
13 years 11 months ago
2008
Springer
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....