In this paper, we consider social peer-to-peer (P2P) networks, where peers are sharing their resources (i.e., multimedia content and upload bandwidth). In the considered P2P netwo...
We refine our algebraic axiomatization in [8,9] of epistemic actions and epistemic update (notions defined in [5,6] using Kripke-style semantics), to incorporate a mechanism for d...
Real-time search methods are suited for tasks in which the agent is interacting with an initially unknown environment in real time. In such simultaneous planning and learning prob...
We describe the design of a user-centric, integrated planning and scheduling system that assists the user in exploring the rich space of plans and associated resource assignment o...
Pauline M. Berry, Blazej Bulka, Bart Peintner, Mar...
This paper introduces a new model of a spiking neuron with active dendrites and dynamic synapses (ADDS). The neuron employs the dynamics of the synapses and the active properties ...