Belief revision with explicit justifications : an exploration in type theory

V.A.J. Borghuis, F. Kamareddine, R.P. Nederpelt

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationIntelligent Agent Technology (Proceedings of the 2nd Asia-Pacific Conference on IAT, Maebashi City, Japan, October 23-26, 2001)
EditorsN. Zhong, J. Liu, S. Ohsuga, J. Bradshaw
PublisherWorld Scientific
ISBN (Print)981-02-4706-0
Publication statusPublished - 2001

Cite this