Analogical reasoning and cyber security
DJ Betz, T Stevens - Security Dialogue, 2013 - journals.sagepub.com
This article is an attempt to interrogate some of the predominant forms of analogical
reasoning within current cyber-security discourse, with a view to clarifying their unstated …
reasoning within current cyber-security discourse, with a view to clarifying their unstated …
[PDF][PDF] Some novel minikanren synthesis tasks
J Hemann, DP Friedman - Proceedings of the miniKanren and …, 2020 - academia.edu
This same demonstration is more straightforwardly expressed in miniKanren with the query
in Listing 1. We remind the reader that when miniKanren constrains the synthesized …
in Listing 1. We remind the reader that when miniKanren constrains the synthesized …