System Description: DLV with Aggregates.

Tina Dell'Armi Wolfgang Faber Giuseppe Ielpa Nicola Leone Simona Perri Gerald Pfeifer

Published in: LPNMR (2004)

Keyphrases

high level
disjunctive logic programming
answer sets
answer set programming
data streams
real world
similarity measure
spatio temporal
programming language
semantic description