Technical Report: Adjudication of Coreference Annotations via Answer Set Optimization.

Peter Schüller

Published in: CoRR (2018)

Keyphrases

answer sets
technical report
logic programs
answer set programming
logic programming
optimization problems
answer set semantics
normal logic programs
fixpoint
semantic annotation
evolutionary algorithm
sat solvers
semantics of logic programs
stable models
knowledge management
np hard
data model