Reasoning about changing information

dc.contributor.author	Blackburn, P
dc.contributor.author	Jaspars, J
dc.contributor.author	De Rijke, M
dc.date.accessioned	2018-06-06T09:54:58Z
dc.date.available	2018-06-06T09:54:58Z
dc.date.issued	1997
dc.identifier.citation	Blackburn P, Jaspars J & de Rijke M. (1997) Reasoning about changing information. South African Computer Journal, Number 19, 1997	en
dc.identifier.issn	2313-7835
dc.identifier.uri	http://hdl.handle.net/10500/24257
dc.description.abstract	The purpose of these notes is two fold: (i) to give a reasonably self-contained introduction to a particular approach to theory change, known as the Alchourron-Gardenfors-Makinson (AGM) approach, and to discuss some of the alternatives, and extensions that have been proposed to it over the past few years; (ii) to relate the AGM approach to other 'information-oriented' branches of logic, including intuitionistic logic, non-monotonic reasoning, verisimilitude, and modal and dynamic logic.	en
dc.language.iso	en	en
dc.publisher	South African Computer Society (SAICSIT)	en
dc.subject	Theory change	en
dc.subject	Knowledge representation	en
dc.subject	Modal logic	en
dc.subject	Dynamic logic	en
dc.title	Reasoning about changing information	en
dc.type	Article	en