Search Sciweavers | Sciweavers

2084 search results - page 43 / 417

» Set Constraints in Logic Programming

click to vote

CORR
2008
Springer

110views Education» more CORR 2008»

Justifications for Logic Programs under Answer Set Semantics

13 years 8 months ago

Download www.cs.nmsu.edu

The paper introduces the notion of off-line justification for Answer Set Programming (ASP). Justifications provide a graph-based explanation of the truth value of an atom w.r.t. a ...

Enrico Pontelli, Tran Cao Son, Omar El-Khatib

claim paper

Read More »

click to vote

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

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

click to vote

LPNMR
2007
Springer

169views Automated Reasoning» more LPNMR 2007»

Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report

14 years 2 months ago

Download www.kr.tuwien.ac.at

Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...

Martin Gebser, Torsten Schaub, Hans Tompits, Stefa...

claim paper

Read More »

click to vote

ESWS
2007
Springer

106views Internet Technology» more ESWS 2007»

A Novel Combination of Answer Set Programming with Description Logics for the Semantic Web

14 years 2 months ago