256 search results - page 11 / 52 » Integrating Semantic Web Reasoning and Answer Set Programmin... |
117
click to vote
RULEML
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
137
Voted
AMAI
2006
Springer
15 years 1 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
122
Voted
AUSAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. A novel declarative approach of forgetting in answer set programming (ASP) has been proposed recently. In this paper we report a system prototype of forgetting in ASP, ca...
131
click to vote
ASP
2005
Springer
15 years 7 months ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
128
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...