Search Sciweavers | Sciweavers

3481 search results - page 197 / 697

» Higher-Order Logic Programming as Constraint Logic Programmi...

190

click to vote

HIS
2009

142views Information Technology» more HIS 2009»

Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies

15 years 1 months ago

Download www.abdn.ac.uk

Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...

Yuting Zhao, Jeff Z. Pan, Yuan Ren

claim paper

Read More »

Voted

ICML
2003
IEEE

103views Machine Learning» more ICML 2003»

Learning Logic Programs for Layout Analysis Correction

16 years 4 months ago

Download www.hpl.hp.com

Margherita Berardi, Michelangelo Ceci, Floriana Es...

claim paper

Read More »

click to vote

SOFSEM
2010
Springer

115views Theoretical Computer Science» more SOFSEM 2010»

Taming the Complexity of Inductive Logic Programming

16 years 5 days ago

Download www.sofsem.cz

Filip Zelezný, Ondrej Kuzelka

claim paper

Read More »

108

Voted

SEFM
2009
IEEE

151views Software Engineering» more SEFM 2009»

Completeness of Pointer Program Verification by Separation Logic

15 years 10 months ago

Download research.nii.ac.jp

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

claim paper

Read More »

click to vote

ICEIS
2009
IEEE

90views Information Technology» more ICEIS 2009»

A Logic Programming Framework for Learning by Imitation

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers