Search Sciweavers | Sciweavers

1151 search results - page 15 / 231

» Collaborative Programming: Applications of Logic and Automat...

157

Voted

ICLP
2010
Springer

160views Automated Reasoning» more ICLP 2010»

Runtime Addition of Integrity Constraints in an Abductive Proof Procedure

15 years 2 months ago

Download drops.dagstuhl.de

Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspeciﬁc logical relati...

Marco Alberti, Marco Gavanelli, Evelina Lamma

claim paper

Read More »

142

Voted

ILP
2005
Springer

142views Automated Reasoning» more ILP 2005»

A Framework for Set-Oriented Computation in Inductive Logic Programming and Its Application in Generalizing Inverse Entailment

15 years 9 months ago

Download ftp.cs.wisc.edu

We propose a new approach to Inductive Logic Programming that systematically exploits caching and oﬀers a number of advantages over current systems. It avoids redundant computati...

Héctor Corrada Bravo, David Page, Raghu Ram...

claim paper

Read More »

Voted

ICLP
2007
Springer

61views Automated Reasoning» more ICLP 2007»

Ontology Based Information Integration Using Logic Programming

15 years 10 months ago

Download sunsite.informatik.rwth-aachen.de

Gergely Lukácsy, Péter Szeredi

claim paper

Read More »