383 search results - page 4 / 77 » Well-Founded Semantics for Description Logic Programs in the... |
SUM
2007
Springer
13 years 11 months ago
2007
Springer
KR
2004
Springer
13 years 10 months ago
2004
Springer
EPIA
2005
Springer
13 years 10 months ago
2005
Springer
Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly ...
ASP
2003
Springer
13 years 10 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...
RR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. WSML presents a framework encompassing different language variants, rooted in Description Logics and (F-)Logic Programming. So far, the precise relationships between thes...