Declarative Choreographies and Liveness.

Thomas T. Hildebrandt Tijs Slaats Hugo A. López Søren Debois Marco Carbone

Published in: FORTE (2019)

Keyphrases

domain independent
knowledge representation
data mining
information retrieval
information systems
deductive database systems
data sets
website
high level
cooperative
special case
domain knowledge
abductive logic programming