Monadic Foundations for Promises in Jason.

Alex Muscar Costin Badica

Published in: Inf. Technol. Control. (2014)

Keyphrases

deductive databases
artificial intelligence
datalog queries
multi agent systems
real time
case study
control system
transitive closure
data sets
genetic algorithm
computational complexity
special case
programming language
datalog programs