18 search results - page 4 / 4 » Limits for Lax Morphisms |
AAAI
2008
13 years 7 months ago
2008
Security at major locations of economic or political importance is a key concern around the world, particularly given the threat of terrorism. Limited security resources prevent f...
ALDT
2011
Springer
12 years 5 months ago
2011
Springer
Security and sustainability are two critical global challenges that involve the interaction of many intelligent actors. Game theory provides a sound mathematical framework to model...
APAL
2007
13 years 5 months ago
2007
A logic is developed in which function symbols are allowed to represent partial functions. It has the usual rules of logic (in the form of a sequent calculus) except that the subs...