GaAs split phase dynamic logic.

Oscar M. K. Law C. André T. Salama

Published in: IEEE J. Solid State Circuits (1994)

Keyphrases

dynamic logic
modal logic
reasoning about actions
imperative programs
agent programming
multiple input
data sets
classical first order logic
preprocessing phase
situation calculus
propositional dynamic logic
first order logic
logic programming
multi dimensional
object oriented
multi agent
machine learning