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