@proceedings{DBLP:conf/clima/2004V,
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {CLIMA V},
editor = {Jo{\~a}o Alexandre Leite and Paolo Torroni},
isbn = {3-540-28060-X},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers},
volume = {3487},
year = {2005}
}
@inproceedings{DBLP:conf/clima/DastaniHHT04,
abstract = {In this paper we discuss Liau's logic of Belief, Inform and Trust (BIT), which captures the use of trust to infer beliefs from acquired information. However, the logic does not capture the derivation of trust from other notions. We therefore suggest the following two extensions. First, like Liau we observe that trust in information from an agent depends on the topic of the information. We extend BIT with a formalization of topics which are used to infer trust in a proposition from trust in another proposition, if both propositions have the same topics. Second, for many applications, communication primitives other than inform are required. We extend BIT with questions, and discuss the relationship with belief, inform and trust. An answer to a question can lead to trust, when the answer conforms to the beliefs of the agent. },
author = {Mehdi Dastani and Andreas Herzig and Joris Hulstijn and Leendert W. N. van der Torre},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {CLIMA V},
crossref = {DBLP:conf/clima/2004V},
ee = {http://dx.doi.org/10.1007/11533092_9},
pages = {144-160},
title = {Inferring Trust},
url = {http://icr.uni.lu/leonvandertorre/papers/clima04.pdf},
year = {2004},
bdsk-url-1 = {http://icr.uni.lu/leonvandertorre/papers/clima04.pdf}
}