A Logic for Strategy Updates

Published in: CoRR (2011)

Keyphrases

logic programming
databases
modal logic
selection strategy
digital circuits
predicate logic
asynchronous circuits
information retrieval
social networks
database systems