Abstract. This paper puts forward a view on conditional commitments as causal rules, using action language K as the specification framework. The proposal builds upon an operational...
Juan Manuel Serrano, Sergio Saugar, Rosario Lauren...
In this paper we propose a novel approach to represent coalitional games, called a Coalition-Flow Network (CF-NET), that builds upon a generalization of the network flow literature...
Talal Rahwan, Tomasz P. Michalak, Madalina Croitor...
Multiple Alignment is a new interface for performing and analyzing multiple protein structure alignments. It enables viewing levels of sequence and structure similarity on the ali...
In this paper we suggest a typed compositional semantics for nominal compounds of the form [Adj Noun] that models adjectives as higher-order polymorphic functions, and where types...
: Context is the challenge for the coming years in Artificial Intelligence. In the companion paper [8], we present the main results of discussions at two workshops and at the first...