The frame problem was originally de ned in the context of the situation calculus. The problem also manifests itself in more sophisticated temporal logics that can represent interv...
As the ease of accessing and generating large quantities of information increases, people’s ability to navigate through that information and maintain personal perspective decrea...
This study examines the risk consequences of participation in inter-organisational information systems (IOS). The research aims to identify the risk mitigation and risk absorption...
Martin Hughes, Philip Powell, Niki Panteli, Willia...
The aim of our research is to build a Reflexive Agent, that is able to either manifest an emotion it is feeling or to hide it. If the Agent decides to manifest its emotion, it can...
Berardina De Carolis, Catherine Pelachaud, Isabell...
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...