Nuclear deterrence and the logic of deliberative mindreading.
Selmer BringsjordNaveen Sundar GovindarajuluSimon EllisEvan McCartyJohn LicatoPublished in: Cogn. Syst. Res. (2014)
Keyphrases
- modal logic
- counter terrorism
- countermeasures
- reactive planning
- deductive reasoning
- agent architecture
- computational modeling
- logic programming
- database
- computational properties
- digital circuits
- classical logic
- tacit knowledge
- formal theory
- nonmonotonic logics
- probabilistic logic
- information security
- autonomous agents
- case study