Search Sciweavers | Sciweavers

3691 search results - page 28 / 739

» Bayesian Logic Programs

click to vote

CSDA
2008

71views more CSDA 2008»

On the estimation of a large sparse Bayesian system: The Snaer program

13 years 10 months ago

Download www.e.u-tokyo.ac.jp

Dmitry Danilov, Jan R. Magnus

claim paper

Read More »

click to vote

HCI
2009

158views Human Computer Interaction» more HCI 2009»

Further Steps towards Driver Modeling According to the Bayesian Programming Approach

13 years 7 months ago

Download www.lks.uni-oldenburg.de

Claus Möbus, Mark Eilers

claim paper

Read More »

click to vote

LPNMR
2007
Springer

103views Automated Reasoning» more LPNMR 2007»

Semantics for Possibilistic Disjunctive Programs

14 years 4 months ago

Download www.lsi.upc.edu

In this paper by considering an answer set programming approach and some basic ideas from possibilistic logic, we introduce a possibilistic disjunctive logic programming approach t...

Juan Carlos Nieves, Mauricio Osorio, Ulises Cort&e...

claim paper

Read More »

click to vote

LOPSTR
2009
Springer

229views Automated Reasoning» more LOPSTR 2009»

Deciding Full Branching Time Logic by Program Transformation

14 years 4 months ago

Download www.iasi.cnr.it

Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of ﬁnite state reactive systems. The ﬁnite state ...

Alberto Pettorossi, Maurizio Proietti, Valerio Sen...

claim paper

Read More »

click to vote

POPL
2002
ACM

123views Programming Languages» more POPL 2002»

Analyzing security protocols with secrecy types and logic programs

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers