Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
AMAI
2008
Springer
11 years 5 months ago
Bayesian learning of Bayesian networks with informative priors
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...
Nicos Angelopoulos, James Cussens
AMAI
2008
Springer
11 years 5 months ago
Mixed deterministic and probabilistic networks
Abstract The paper introduces mixed networks, a new graphical model framework for expressing and reasoning with probabilistic and deterministic information. The motivation to devel...
Robert Mateescu, Rina Dechter
AMAI
2008
Springer
11 years 5 months ago
Reasoning about temporal properties of rational play
Nils Bulling, Wojciech Jamroga, Jürgen Dix
AMAI
2008
Springer
11 years 5 months ago
Integrating answer set programming and constraint logic programming
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, ...
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
AMAI
2008
Springer
11 years 5 months ago
Default logic generalized and simplified
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...
Alexander Bochman
AMAI
2008
Springer
11 years 5 months ago
On the relation among answer set solvers
Enrico Giunchiglia, Nicola Leone, Marco Maratea
AMAI
2008
Springer
11 years 5 months ago
Stable models and difference logic
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
Ilkka Niemelä
books