Active matter logic for autonomous microfluidics.
Francis G. WoodhouseJörn DunkelPublished in: CoRR (2016)
Keyphrases
- asynchronous circuits
- multi valued
- computational properties
- classical logic
- modal logic
- land vehicle
- autonomous learning
- deontic logic
- predicate logic
- automated reasoning
- logic programming
- relational databases
- cooperative
- decision trees
- expressive power
- mobile robot
- truth values
- formal theory
- database systems
- neural network
- dynamic logic
- real time