Sciweavers

AMAI
2008
Springer
13 years 11 months ago
A semiparametric generative model for efficient structured-output supervised learning
Fabrizio Costa, Andrea Passerini, Marco Lippi, Pao...
AMAI
2008
Springer
14 years 2 days 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
14 years 2 days 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
14 years 2 days ago
Reasoning about temporal properties of rational play
Nils Bulling, Wojciech Jamroga, Jürgen Dix
AMAI
2008
Springer
14 years 2 days 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
14 years 2 days 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
14 years 2 days ago
On the relation among answer set solvers
Enrico Giunchiglia, Nicola Leone, Marco Maratea
AMAI
2008
Springer
14 years 2 days 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ä