NONMONOTONIC INFERENCES AND NEURAL NETWORKS
A MODEL OF JURY DECISIONS WHERE ALL JURORS HAVE THE SAME EVIDENCE
A SAT-BASED APPROACH TO UNBOUNDED MODEL CHECKING FOR ALTERNATING-TIME TEMPORAL EPISTEMIC LOGIC
UPDATE SEMANTICS OF SECURITY PROTOCOLS