This talk will provide a tour of lightning visits of applications of logic: • Logic Programming and Functional Programming • Logic in Linguistics • Knowledge Bases • Propositional Logic Theorem Proving (2010)
by
Horn Clauses
BibTeX
@MISC{Clauses10thistalk,
author = {Horn Clauses},
title = {This talk will provide a tour of lightning visits of applications of logic: • Logic Programming and Functional Programming • Logic in Linguistics • Knowledge Bases • Propositional Logic Theorem Proving},
year = {2010}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
1930 Jacques Herbrand provides the proof-theoretical basis for automated theorem proving
