Dynamic Topological Logic Interpreted over Minimal Systems.

David Fernández-Duque

Published in: J. Philos. Log. (2011)

Keyphrases

databases
database
digital circuits
expert systems
distributed systems
defeasible logic
real time
multi agent
intelligent systems
knowledge based systems
building blocks
learning systems
complex systems
finite state machines
dynamic aspects