Sciweavers

229 search results - page 7 / 46
» On Reductive Semantics of Aggregates in Answer Set Programmi...
Sort
View
97
Voted
ECAI
2010
Springer
14 years 10 months ago
On Semantic Update Operators for Answer-Set Programs
Logic programs under the stable models semantics, or answer-set programs, provide an expressive rule based knowledge representation framework, featuring formal, declarative and wel...
Martin Slota, João Leite
PODS
2008
ACM
170views Database» more  PODS 2008»
15 years 9 months ago
Answering aggregate queries in data exchange
Data exchange, also known as data translation, has been extensively investigated in recent years. One main direction of research has focused on the semantics and the complexity of...
Foto N. Afrati, Phokion G. Kolaitis
KR
2004
Springer
15 years 2 months ago
Combining Answer Set Programming with Description Logics for the Semantic Web
Thomas Eiter, Thomas Lukasiewicz, Roman Schindlaue...