Belief Revision in Type Theory

Fairouz Dib Kamareddine, T Borghuis, R Nederpelt

Research output: Contribution to conferencePaper

Original languageEnglish
Pages69-73
Number of pages5
Publication statusPublished - 2001
EventThe Second Asia-Pacific Conference on Intelligent Agent Technology -
Duration: 1 Jan 2001 → …

Conference

ConferenceThe Second Asia-Pacific Conference on Intelligent Agent Technology
Abbreviated titleIAT'01
Period1/01/01 → …
OtherWorld Scientific.

Cite this

Kamareddine, F. D., Borghuis, T., & Nederpelt, R. (2001). Belief Revision in Type Theory. 69-73. Paper presented at The Second Asia-Pacific Conference on Intelligent Agent Technology, .