First-Order Axioms for Asynchrony.

Published in: CONCUR (1997)

Keyphrases

first order logic
action theories
horn clauses
logical theories
higher order
propositional logic
inference rules
situation calculus
real time
knowledge base
quantifier elimination
stochastic dominance
artificial intelligence
hidden markov models
database systems
multi stream
valued logic