Epistemology
Literature and Experiments Introductory reading Knowledge engineering: building cognitive assistants for evidence-based reasoning - Chapter 1.1 to 1.4 (c0) The Gap in Computing Reasoning Most of the tools we use in reverse engineering (RE) of computer programs are from the 2000s and earlier. Maybe they were implemented more recently, but the algorithms and ideas are relatively (for computer science time spans) old. The basics were always the same: a disassembler, some flow and type analysis, optionally a decompiler and a debugger....