Search Sciweavers | Sciweavers

934 search results - page 16 / 187

» Elementary Sets of Logic Programs

click to vote

LPNMR
2004
Springer

109views Automated Reasoning» more LPNMR 2004»

Set Constraints in Logic Programming

14 years 3 months ago

Download www.cs.engr.uky.edu

We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...

V. Wiktor Marek, Jeffrey B. Remmel

claim paper

Read More »

click to vote

CORR
2008
Springer

110views Education» more CORR 2008»

Justifications for Logic Programs under Answer Set Semantics

13 years 10 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 3 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

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 4 months ago