81 search results - page 9 / 17 » A Basic Logic for Reasoning about Connector Reconfiguration |
AI
2005
Springer
13 years 7 months ago
2005
Springer
Cooperation logics have recently begun to attract attention within the multi-agent systems community. Using a cooperation logic, it is possible to represent and reason about the s...
DT
1998
13 years 7 months ago
1998
The logic blocks of most modern FPGAs contain clusters of look-up tables and flip flops, yet little is known about good choices for several key architectural parameters related ...
ASIAN
2006
Springer
13 years 11 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
FAABS
2000
Springer
13 years 11 months ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
LILOG
1989
13 years 11 months ago
1989
We propose a theory for reasoning about actions based on order-sorted predicate logic where one can consider an elaborate taxonomy of objects. We are interested in the projection ...