Bilkent ACM SIGART (Special
Interest Group on Artificial Intelligence)
& Bilkent University Computer
Eng. & Info. Science Dept.,
Seminar,
by
Abstract: I introduce the ideas underlying unification and resolution, and explain how they emerge from a thorough computational analysis of the semantics of the classical first-order predicate calculus as natural solutions to the problem of systematically and efficiently detecting that a sentence is a logical consequence of other sentences.
Monday, 28th April. 1997 at 13:40 Room: FB309 (Fine Arts. Building)
Everyone Welcome