On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.

Martin Gebser Roland Kaminski Benjamin Kaufmann Torsten Schaub

Published in: ICLP (2009)

Keyphrases

data driven
web applications
highly optimized
production rules
association rules
databases
web services
information systems
object oriented
artificial intelligence
genetic algorithm
hardware implementation
conflict resolution
global constraints
semantic constraints
constraint language
data sets