A reasoning agent for credit card fraud using the event calculus.

Clive Blackwell

Published in: Int. J. Electron. Secur. Digit. Forensics (2009)

Keyphrases

event calculus
reasoning tasks
communicating agents
commonsense reasoning
credit card fraud
situation calculus
outlier detection

temporal reasoning
credit card
fraud detection
automated reasoning
description logics
logic programming
credit card fraud detection

answer set programming
partially ordered
domain specific knowledge
criminal activities
deductive databases
knowledge base

directed acyclic graph
reasoning about actions
transitive closure
database
domain independent
logic programs