Belief revision with explicit justifications : an exploration in type theory

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelIntelligent Agent Technology (Proceedings of the 2nd Asia-Pacific Conference on IAT, Maebashi City, Japan, October 23-26, 2001)
RedacteurenN. Zhong, J. Liu, S. Ohsuga, J. Bradshaw
UitgeverijWorld Scientific
Pagina's69-73
ISBN van geprinte versie981-02-4706-0
StatusGepubliceerd - 2001

Citeer dit