Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 5/3/83; site utcsrgv.UUCP
Path: utzoo!utcsrgv!phyllis
From: phyllis@utcsrgv.UUCP (Phyllis Eve Bregman)
Newsgroups: ont.events
Subject: Eric Sandewall:  "Theory of information management systems"
Message-ID: <3240@utcsrgv.UUCP>
Date: Mon, 6-Feb-84 20:14:56 EST
Article-I.D.: utcsrgv.3240
Posted: Mon Feb  6 20:14:56 1984
Date-Received: Mon, 6-Feb-84 20:32:54 EST
Organization: CSRG, University of Toronto
Lines: 16

      UofT Department of Computer Science Seminar Schedule for
                the week of February 6th, 1984
		
February 8th, 10:00 A.M., WB242:  Dr. Eric Sandewall, Software
   Systems Research Center, Linkoping University, Linkoping, Sweden:
   "Theory of information management systems".

   ABSTRACT:  This talk addresses various issues dealing with logic
   and databases.  We view a database as an interpretation for
   propositional logic.  Non-monotonic reasoning is discussed within
   this framework.  Systems for piecewise operations on data, such as
   editors, forms, systems, etc., are also discussed.
-- 
		Phyllis Eve Bregman
		CSRG, Univ. of Toronto
		{decvax,linus,ihnp4,uw-beaver,allegra,utzoo}!utcsrgv!phyllis