256 search results - page 3 / 52 » Integrating Semantic Web Reasoning and Answer Set Programmin... |
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
ASP
2003
Springer
14 years 21 days ago
2003
Springer
Integration of data is required when accessing multiple databases within an organization or on the WWW. Schema integration is required for database interoperability, but it is curr...
KR
2010
Springer
13 years 5 months ago
2010
Springer
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...
ASP
2001
Springer
13 years 12 months ago
2001
Springer
CADE
2001
Springer
14 years 7 months ago
2001
Springer