Papers
Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis
Diego Calvanese, Marco Montali, Fabio Patrizi et al.
When Are Description Logic Knowledge Bases Indistinguishable?
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov et al.
Using Social Media to Enhance Emergency Situation Awareness: Extended Abstract
Jie Yin, Sarvnaz Karimi, Andrew Lampert et al.
Feature Ensemble Plus Sample Selection: Domain Adaptation for Sentiment Classification (Extended Abstract)
Rui Xia, Chengqing Zong, Xuelei Hu et al.
Inapproximability of Treewidth and Related Problems (Extended Abstract)
Yu Wu, Per Austrin, Toniann Pitassi et al.
On the Testability of BDI Agent Systems (Extended Abstract)
Michael Winikoff, Stephen Cranefield
Norms as a Basis for Governing Sociotechnical Systems: Extended Abstract
Munindar P. Singh
Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation (Extended Abstract)
Massimo Poesio, Jon Chamberlain, Udo Kruschwitz et al.
Algorithm Runtime Prediction: Methods and Evaluation (Extended Abstract)
Frank Hutter, Lin Xu, Holger Hoos et al.
Measuring and Recommending Time-Sensitive Routes from Location-based Data
Hsun-Ping Hsieh, Cheng-Te Li, Shou-De Lin
Framing Image Description as a Ranking Task: Data, Models and Evaluation Metrics (Extended Abstract)
Micah Hodosh, Peter Young, Julia Hockenmaier
kLog: A Language for Logical and Relational Learning with Kernels (Extended Abstract)
Paolo Frasconi, Fabrizio Costa, Luc De Raedt et al.
The Complexity of Manipulative Attacks in Nearly Single-Peaked Electorates (Extended Abstract)
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)
Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner et al.
Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract)
Karthik Dinakar, Rosalind Picard, Henry Lieberman
Data Complexity of Query Answering in Description Logics (Extended Abstract)
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo et al.
Developing Corpora for Sentiment Analysis: The Case of Irony and Senti-TUT (Extended Abstract)
Cristina Bosco, Viviana Patti, Andrea Bolioli
Influencing Individually: Fusing Personalization and Persuasion (Extended Abstract)
Shlomo Berkovsky, Jill Freyne, Harri Oinas-Kukkonen
The Arcade Learning Environment: An Evaluation Platform for General Agents (Extended Abstract)
Marc Bellemare, Yavar Naddaf, Joel Veness et al.
Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract)
Matteo Baldoni, Cristina Baroglio, Elisa Marengo et al.
Capturing a Musician's Groove: Generation of Realistic Accompaniments from Single Song Recordings
Mathieu Ramona, Giordano Cabral, François Pachet
Modelling High-Dimensional Sequences with LSTM-RTRBM: Application to Polyphonic Music Generation
Qi Lyu, Zhiyong Wu, Jun Zhu et al.
Max Order: A Tale of Creativity
Fiammetta Ghedini, François Pachet, Pierre Roy
Evolving Families of Shapes
Filipe Assunção, João Correia, Pedro Martins et al.