How Answer Set Programming can help in digital forensic investigation
暂无分享,去创建一个
[1] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .
[2] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.
[3] Eoghan Casey,et al. Digital Evidence and Computer Crime , 2000 .
[4] Eoghan Casey,et al. Handbook of Digital Forensics and Investigation , 2009 .
[5] Katharina Wagner,et al. Digital Evidence And Computer Crime Forensic Science Computers And The Internet , 2016 .
[6] Nicola Leone. Logic Programming and Nonmonotonic Reasoning: From Theory to Systems and Applications , 2007, LPNMR.
[7] Miroslaw Truszczynski. Logic Programming for Knowledge Representation , 2007, ICLP.
[8] Giovambattista Ianni,et al. The Answer Set Programming Competition , 2012, AI Mag..
[9] Pedro Cabalar,et al. Causal Logic Programming , 2012, Correct Reasoning.
[10] Agostino Dovier,et al. An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems , 2009, J. Exp. Theor. Artif. Intell..
[11] Georg Gottlob,et al. Complexity and expressive power of logic programming , 2001, CSUR.