Humans are social agents and the social dimension is an important aspect of human cognition. One challenge facing the realization of artifacts and artificial agents that posses humanlike cognition abilities is to implement human-like interactive capabilities into them. Natural Language Processing is one of the earliest applications of AI techniques because of the importance of language in shapi...

Interactive art questions relationships between creator and audience in a direct and provocative manner. Our goal was to explore how interactive art either promotes or constrains audiences’ sense of creative involvement, and satisfaction. We provide a brief background on interactive art before describing an interactive music installation, Terpsichore, designed to test two hypotheses in an exper...

The theory of computational complexity focuses on functions and, hence, studies programs whose interactive behavior is reduced to a simple question/answer pattern. We propose a broader theory whose ultimate goal is expressing and analyzing the intrinsic difficulty of fully general interactive behaviors. To this extent, we use standard tools from concurrency theory, including labelled transition...

The notion of efficient proof-checking has always been central to complexity theory, and it gave rise to the definition of the class NP. In the last 15 years there has been a number of exciting, unexpected and deep developments in complexity theory that exploited the notion of randomized and interactive proof-checking. Results developed along this line of research have diverse and powerful appl...

Interactive Causation Agent (ICA), a novel unsupervised adaptive neurosymbolic model based on a theory of causality (Interactive Causation), is defined, offering an interactive computational approach to problems in the algorithmic computing of interaction. Interactive Causation provides a compatible framework of nonalgorithmic computation and environment, permitting tractable computation of tem...