Sciweavers

3691 search results - page 25 / 739

» Bayesian Logic Programs

37

CORR
2008
Springer

128views Education» more CORR 2008»

Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination

13 years 10 months ago

Embedding Non-Ground Logic Programs into Autoepistemic Logic for Knowledge Base Combination

Download tocl.acm.org

Jos de Bruijn, Thomas Eiter, Axel Polleres, Hans T...

claim paper

Read More »

23

IGPL
2008

66views more IGPL 2008»

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

13 years 10 months ago

Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

Download www.mimuw.edu.pl

Linh Anh Nguyen

claim paper

Read More »

28

ENTCS
2007

90views more ENTCS 2007»

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

13 years 9 months ago

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations

Download santos.cis.ksu.edu

David A. Schmidt

claim paper

Read More »

32

FUIN
2007

220views more FUIN 2007»

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

13 years 9 months ago

Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming

Download dtai.cs.kuleuven.be

Joost Vennekens, Johan Wittocx, Maarten Marië...

claim paper

Read More »

27

AI
2007
Springer

138views Artificial Intelligence» more AI 2007»

Adding Local Constraints to Bayesian Networks

14 years 4 months ago

Adding Local Constraints to Bayesian Networks

Download people.cs.ubc.ca

When using Bayesian networks, practitioners often express constraints among variables by conditioning a common child node to induce the desired distribution. For example, an ‘or�...

Mark Crowley, Brent Boerlage, David Poole

claim paper

Read More »

« Prev « First page 25 / 739 Last » Next »