Campus Event Calendar
Event Entry
What and Who
The Control Component of OMRS: Resolution as a Case Study
Alessandro Coglio
Logik-Seminar
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 29 October 96
16:00
60 Minutes
46.1 - MPII
019
Saarbrücken
Abstract
The control component of Open Mechanized Reasoning Systems (OMRS)
specifies the strategies according to which systems apply inference
rules in order to perform deductions. In this talk I present the
main ideas of a formalism for the control component of OMRS, and
show how it can be used to express the stategies of provers based
on resolution ("plain" resolution and its refinements such as lock
resolution).
specifies the strategies according to which systems apply inference
rules in order to perform deductions. In this talk I present the
main ideas of a formalism for the control component of OMRS, and
show how it can be used to express the stategies of provers based
on resolution ("plain" resolution and its refinements such as lock
resolution).
Contact
--email hidden
passcode not visible
logged in users only