Belief Revision in Type Theory

Fairouz Dib Kamareddine, T Borghuis, R Nederpelt

Research output: Contribution to conferencePaperpeer-review

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