Sciweavers

2062 search results - page 28 / 413

» Derivatives of Logical Formulas

108

Voted

PADL
1999
Springer

130views Programming Languages» more PADL 1999»

Applying Logic Programming to Derive Novel Functional Information of Genomes

15 years 7 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 »

115

ECML
1993
Springer

73views Machine Learning» more ECML 1993»

Inductive Logic Programming: Derivations, Successes and Shortcomings

15 years 7 months ago

Inductive Logic Programming: Derivations, Successes and Shortcomings

Download www.doc.ic.ac.uk

Stephen Muggleton

claim paper

Read More »

101

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

15 years 7 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

120

AMAST
2010
Springer

202views Software Engineering» more AMAST 2010»

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

14 years 10 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 »

119

Voted

CIMCA
2005
IEEE

126views Intelligent Agents» more CIMCA 2005»

Linear Response Formula in Generalized Belief Propagation for Probabilistic Inference

15 years 9 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 »