Recently, action language BC, which combines the attractive features of action languages B and C+, was proposed. While BC allows Prolog-style recursive definitions that are not av...
In human-robot dialogue, although a robot and its human partner are co-present in a shared environment, they have significantly mismatched perceptual capabilities (e.g., recogniz...
Compositional semantic aims at constructing the meaning of phrases or sentences according to the compositionality of word meanings. In this paper, we propose to synchronously lear...
An important problem in analyzing complex networks is discovery of modular or community structures embedded in the networks. Although being promising for identifying network commu...
We create a unified framework for analyzing and synthesizing plans with loops for solving problems with nondeterministic numeric effects and a limited form of partial observabili...
ion for Solving Large Incomplete-Information Games Tuomas Sandholm Computer Science Department Carnegie Mellon University Most real-world games and many recreational games are gam...
The interactions between covariates may change with learning domains. Discovering such transitions may offer key information helping us transfer our knowledge from one domain to a...
The development and maintenance of large and complex ontologies are often time-consuming and error-prone. Thus, automated ontology learning and evolution have attracted intensive ...
We study convergence properties of iterative voting procedures. Such a procedure is defined by a voting rule and a (restricted) iterative process, where at each step one agent ca...
Svetlana Obraztsova, Evangelos Markakis, Maria Pol...