Embodied reaction logic in a simulated chemical computer.

Fintan Nagle Simon J. Hickinbotham

Published in: ECAL (2011)

Keyphrases

chemical reaction
chemical reactions
modal logic
logic programming
multi valued
proof theory
intelligent systems
test bed
simulation model
automated reasoning
set theory
digital circuits
predicate logic