Search Sciweavers | Sciweavers

4513 search results - page 201 / 903

» Logic programming with satisfiability

127

click to vote

ICML
2003
IEEE

103views Machine Learning» more ICML 2003»

Learning Logic Programs for Layout Analysis Correction

16 years 7 months ago

Download www.hpl.hp.com

Margherita Berardi, Michelangelo Ceci, Floriana Es...

claim paper

Read More »

130

click to vote

SOFSEM
2010
Springer

115views Theoretical Computer Science» more SOFSEM 2010»

Taming the Complexity of Inductive Logic Programming

16 years 3 months ago

Download www.sofsem.cz

Filip Zelezný, Ondrej Kuzelka

claim paper

Read More »

137

click to vote

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

16 years 1 months ago

Download research.nii.ac.jp

Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...

claim paper

Read More »

106

click to vote

ICEIS
2009
IEEE

90views Information Technology» more ICEIS 2009»

A Logic Programming Framework for Learning by Imitation

16 years 1 months ago

Download www.di.uniba.it

Grazia Bombini, Nicola Di Mauro, Teresa Maria Alto...

claim paper

Read More »

138

click to vote

IFM
2009
Springer

91views Formal Methods» more IFM 2009»

Predicate Abstraction in a Program Logic Calculus

16 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers