256 search results - page 1 / 52 » Integrating Semantic Web Reasoning and Answer Set Programmin... |
ASP
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
AGP
2003
IEEE
13 years 10 months ago
2003
IEEE
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...
ICLP
2007
Springer
13 years 10 months ago
2007
Springer
KR
2004
Springer
13 years 10 months ago
2004
Springer
JAPLL
2007
13 years 4 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...