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

15 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

14 years 9 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

15 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

15 years 3 months ago