A Proof Theoretic Analysis of Intruder Theories

Alwen Tiu Rajeev Goré Jeremy E. Dawson

Published in: Log. Methods Comput. Sci. (2010)

Keyphrases

theoretic analysis
theorem proving
theoretical framework
theorem prover
databases
cognitive psychology
real time
neural network
image sequences
video sequences
expert systems
domain knowledge
mathematical models
legal knowledge
classical first order logic