Modeling Human Behaviour with Higher Order Logic: Insider Threats

Jaap Boender, Marieta Georgieva Ivanova, Florian Kammuller, Giuseppe Primiero

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Fingerprint Dive into the research topics of 'Modeling Human Behaviour with Higher Order Logic: Insider Threats'. Together they form a unique fingerprint.

Social Sciences