Assumption Based Peg Unification for Crime Scenario Modelling.

Jeroen Keppens Burkhard Schafer

Published in: JURIX (2005)

Keyphrases

law enforcement
data sets
database
higher order
theorem proving
artificial intelligence
theorem prover
crime analysis
data mining and visualization