Sciweavers

117 search results - page 3 / 24
» Fuzzy Description Logic Programs under the Answer Set Semant...
Sort
View
FOIKS
2008
Springer
13 years 6 months ago
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
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...
IAT
2008
IEEE
13 years 11 months ago
Towards a Fuzzy Answer Set Semantics for Residuated Logic Programs
In this work we introduce the first steps towards the definition of an answer set semantics for residuated logic programs with negation.
Nicolás Madrid, Manuel Ojeda-Aciego
AGP
2003
IEEE
13 years 10 months ago
Reasoning about the Semantic Web using Answer Set Programming
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
Giovambattista Ianni, Francesco Calimeri, Vincenzi...
CORR
2008
Springer
110views Education» more  CORR 2008»
13 years 4 months ago
Justifications for Logic Programs under Answer Set Semantics
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