Sciweavers

2062 search results - page 28 / 413

» Derivatives of Logical Formulas

29

PADL
1999
Springer

130views Programming Languages» more PADL 1999»

Applying Logic Programming to Derive Novel Functional Information of Genomes

14 years 1 months ago

Applying Logic Programming to Derive Novel Functional Information of Genomes

Download www.cs.kent.edu

Arvind K. Bansal, Peer Bork

claim paper

Read More »

28

ECML
1993
Springer

73views Machine Learning» more ECML 1993»

Inductive Logic Programming: Derivations, Successes and Shortcomings

14 years 1 months ago

Inductive Logic Programming: Derivations, Successes and Shortcomings

Download www.doc.ic.ac.uk

Stephen Muggleton

claim paper

Read More »

29

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

14 years 1 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

32

AMAST
2010
Springer

202views Software Engineering» more AMAST 2010»

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

13 years 4 months ago

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

Download mpc2010.fsg.ulaval.ca

Ekaterina Komendantskaya, Guy McCusker, John Power

claim paper

Read More »

27

CIMCA
2005
IEEE

126views Intelligent Agents» more CIMCA 2005»

Linear Response Formula in Generalized Belief Propagation for Probabilistic Inference

14 years 3 months ago

Linear Response Formula in Generalized Belief Propagation for Probabilistic Inference

Download www.smapip.is.tohoku.ac.jp

Linear response formulas for the generalized belief propagation in approximate inference are derived by using generalized belief propagation. The linear response formulas can give...

Kazuyuki Tanaka

claim paper

Read More »

« Prev « First page 28 / 413 Last » Next »