When modeling agents involved in scientific activities, one of the major issues is how to let them evaluate the reliability of evidence and the trustability of sources. In the real world of science, input judgment is a common, potentially complex task, of considerable interest for scientific practice and meta-scientific studies. It turns out that epistemic norms here constitute an important too...

Dear Participant, We are very pleased to welcome you at the GATE research institute. This workshop aims at developing scientific discussions about Social Norms and Moral Norms. The objective is to better understand when people are more, or less, likely to act honestly and follow the moral course of action and norms instead of serving their strict self-interest at the others' expense. We are ext...

The aim of this paper is to dene the abstract domain, abstract operator, abstract semantic, the environments and states of disassembled executable codes as well as a way to analysis the disassembled executable codes. Nowadays, static analysis on disassembled code going to grow. Reverse engineering and malware analysis use this technique. Thus, we tried to perform pluralization the requirements ...