A Consistency-Based Approach for Belief Change James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6

First Page		Document Content
Date: 2003-09-08 16:17:32 Knowledge representation Logic Logic programming Curry–Howard correspondence Constructible universe Forcing Computer science Conjugate element Mathematical logic Mathematics Belief revision		A Consistency-Based Approach for Belief Change James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6 Add to Reading List Source URL: www.cs.sfu.ca Download Document from Source Website File Size: 265,62 KB Share Document on Facebook

	Parametricity for Haskell with Imprecise Error Semantics Florian Stenger1 and Janis Voigtl¨ ander Technische Universit¨ at Dresden DocID: 1qEWJ - View Document
	ALGORITHMIC GALOIS THEORY Hendrik W. Lenstra jr. Mathematisch Instituut, Universiteit Leiden DocID: 1px1U - View Document
	Free Theorems — Foundations Janis Voigtl¨ander University of Bonn October 18th, 2010 DocID: 1p1EO - View Document
	A Consistency-Based Approach for Belief Change James P. Delgrande School of Computing Science, Simon Fraser University Burnaby, B.C., Canada V5A 1S6 DocID: 15vzJ - View Document
	Beta-conjugates On the Rényi-Parry numeration dynamical system and a germ of curve Jean-Louis Verger-Gaugry Institut Fourier DocID: 10Jho - View Document