Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:The Control Component of OMRS: Resolution as a Case Study
Speaker:Alessandro Coglio
coming from:
Speakers Bio:
Event Type:Logik-Seminar
Visibility:D1, D2, D3, INET, D4, D5, RG1, MMCI, SWS
We use this to send out email in the morning.
Level:AG Audience
Language:English
Date, Time and Location
Date:Tuesday, 29 October 96
Time:16:00
Duration:60 Minutes
Location:Saarbr├╝cken
Building:46.1 - MPII
Room:019
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).
Contact
Name(s):
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):