Declarative Programming with Handel-C.

Lars Middendorf Christophe Bobda

Published in: ERSA (2010)

Keyphrases

declarative programming
answer set programming
logic programming
logic programs
search problems
stable model semantics
answer sets
search algorithm
knowledge representation
deductive databases
stable models
artificial intelligence
database
databases
knowledge management