Answer Set Programming for the Semantic Web

Examples:

simple.dlv
simpleGuess.dlv
simpleConstraint.dlv
simpleDisj.dlv
wineCover4.dlv
sudoku.dlv
wineCover5.dlv
wineCover5b.dlv
wineCover5c.dlv
wineCover6.dlv
assignment.dlv
tsp.dlv
seating.dlv
policy_a.dlv

calendar1.dlht
rce

simple.dlv
simpleGuess.dlv
simpleConstraint.dlv
simpleDisj.dlv
sudoku.dlv

wineCover4.dlv
wineCover5.dlv
wineCover5b.dlv
wineCover5c.dlv
wineCover6.dlv
wineCover7.dlt
wineCover7a.dlt
wineCover7b.dlt
wineCover8.dlt
assignment.dlv
permutation.dlt
tsp.dlv

knowing.dlh
knowing2.dlh
knowing3.dlh

wineCover09a.dlp
wineCover09b.dlp
wineCover09c.dlp
reviewers.dlp

delicious_a.dlh
delicious_b.dlh
wineCover10a.dlht
wineCover10b.dlht
policy_a.dlv
policy_b.dlh
reviewers1.dlp
reviewers1.dlh
reviewers2.dlh
reviewers3.dlh
reviewers4.dlh
reviewers4a.dlh

calendar1.dlht
seating.dlv

simple.dlv
simpleGuess.dlv
simpleConstraint.dlv
simpleDisj.dlv
wineCover4.dlv
sudoku.dlv
wineCover5.dlv
wineCover5b.dlv
wineCover5c.dlv
wineCover6.dlv
assignment.dlv
tsp.dlv
seating.dlv
policy_a.dlv

Choose the reasoner: dlv dlt dlvhex dlvhex+dlt dlp Ontology:

Result Filter:

(comma-separated list of predicate names)

One fact per line [evaluate]