Sciweavers

432 search results - page 4 / 87
» Open answer set programming for the semantic web
Sort
View
KR
2010
Springer
13 years 5 months ago
On the Progression Semantics and Boundedness of Answer Set Programs
In this paper, we propose a progression semantics for firstorder answer set programs. Based on this new semantics, we are able to define the notion of boundedness for answer set p...
Yan Zhang, Yi Zhou
WISE
2009
Springer
14 years 5 months ago
Web Queries: From a Web of Data to a Semantic Web
ct One significant effort towards combining the virtues of Web search, viz. being accessible to untrained users and able to cope with vastly heterogeneous data, with those of dat...
François Bry, Tim Furche, Klara A. Weiand
CORR
2010
Springer
123views Education» more  CORR 2010»
13 years 8 months ago
Loop Formulas for Description Logic Programs
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logic...
Yisong Wang, Jia-Huai You, Li-Yan Yuan, Yi-Dong Sh...
CORR
2006
Springer
122views Education» more  CORR 2006»
13 years 7 months ago
Open Answer Set Programming with Guarded Programs
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
ICLP
2007
Springer
13 years 11 months ago
Computing Fuzzy Answer Sets Using dlvhex
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
Davy Van Nieuwenborgh, Martine De Cock, Dirk Verme...