Belief revision with explicit justifications : an exploration in type theory

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Intelligent Agent Technology (Proceedings of the 2nd Asia-Pacific Conference on IAT, Maebashi City, Japan, October 23-26, 2001)
Editors	N. Zhong, J. Liu, S. Ohsuga, J. Bradshaw
Publisher	World Scientific
Pages	69-73
ISBN (Print)	981-02-4706-0
Publication status	Published - 2001

Cite this

@inproceedings{33048738634540fea2718401e180b23a,

title = "Belief revision with explicit justifications : an exploration in type theory",

author = "V.A.J. Borghuis and F. Kamareddine and R.P. Nederpelt",

year = "2001",

language = "English",

isbn = "981-02-4706-0",

pages = "69--73",

editor = "N. Zhong and J. Liu and S. Ohsuga and J. Bradshaw",

booktitle = "Intelligent Agent Technology (Proceedings of the 2nd Asia-Pacific Conference on IAT, Maebashi City, Japan, October 23-26, 2001)",

publisher = "World Scientific",

address = "United States",

}

Belief revision with explicit justifications : an exploration in type theory. / Borghuis, V.A.J.; Kamareddine, F.; Nederpelt, R.P.
Intelligent Agent Technology (Proceedings of the 2nd Asia-Pacific Conference on IAT, Maebashi City, Japan, October 23-26, 2001). ed. / N. Zhong; J. Liu; S. Ohsuga; J. Bradshaw. World Scientific, 2001. p. 69-73.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Belief revision with explicit justifications : an exploration in type theory

AU - Borghuis, V.A.J.

AU - Kamareddine, F.

AU - Nederpelt, R.P.

PY - 2001

Y1 - 2001

M3 - Conference contribution

SN - 981-02-4706-0

SP - 69

EP - 73

BT - Intelligent Agent Technology (Proceedings of the 2nd Asia-Pacific Conference on IAT, Maebashi City, Japan, October 23-26, 2001)

A2 - Zhong, N.

A2 - Liu, J.

A2 - Ohsuga, S.

A2 - Bradshaw, J.

PB - World Scientific

ER -