Preface to First order theorem proving


First-order theorem proving (FTP) is among the most traditional disciplines in Artificial Intelligence. Its roots date back to the 1960s, which brought us milestones like the Davis–Putnam–Logemann–Loveland procedure for propositional logic and the resolution calculus for the first order logic. Since then, FTP has been an area of steady and active research… (More)
DOI: 10.1016/S0747-7171(03)00022-1


  • Presentations referencing similar topics