Papers
Combining Existential Rules with the Power of CP-Theories
Tommaso Di Noia, Thomas Lukasiewicz, Maria Vanina Martinez et al.
Combining Eye Movements and EEG to Enhance Emotion Recognition
Yifei Lu, Wei-Long Zheng, Binbin Li et al.
Combining Preference Elicitation and Search in Multiobjective State-Space Graphs
Nawal Benabbou, Patrice Perny
Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality
Boris Motik, Yavor Nenov, Robert Piro et al.
Common Sense Reasoning for Detection, Prevention, and Mitigation of Cyberbullying (Extended Abstract)
Karthik Dinakar, Rosalind Picard, Henry Lieberman
Compatible-Based Conditioning in Interval-Based Possibilistic Logic
Salem Benferhat, Amélie Levray, Karim Tabia et al.
Compiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
Andrea Micheli, Minh Do, David E. Smith
Compiling Constraint Networks into Multivalued Decomposable Decision Graphs
Frédéric Koriche, Jean-Marie Lagniez, Pierre Marquis et al.
Complexity Results in Epistemic Planning
Thomas Bolander, Martin Holm Jensen, Francois Schwarzentruber
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract)
Wolfgang Dvořák, Matti Järvisalo, Johannes Peter Wallner et al.
Composing and Verifying Commitment-Based Multiagent Protocols
Matteo Baldoni, Cristina Baroglio, Amit K. Chopra et al.
Compositional Program Synthesis from Natural Language and Examples
Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling
Compressive Document Summarization via Sparse Optimization
Jin-ge Yao, Xiaojun Wan, Jianguo Xiao
Computational Invention of Cadences and Chord Progressions by Conceptual Chord-Blending
Manfred Eppe, Roberto Confalonieri, Ewen MacLean et al.
Computation and Complexity of Preference Inference Based on Hierarchical Models
Nic Wilson, Anne-Marie George, Barry O'Sullivan
Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation
Fabian Hadiji, Martin Mladenov, Christian Bauckhage et al.
Computing Horn Rewritings of Description Logics Ontologies
Mark Kaminski, Bernardo Cuenca Grau
Computing Optimal Mixed Strategies for Security Games with Dynamic Payoffs
Yue Yin, Haifeng Xu, Jiarui Gan et al.
Computing Possibly Optimal Solutions for Multi-Objective Constraint Optimisation with Tradeoffs
Nic Wilson, Abdul Razak, Radu Marinescu
Computing Social Behaviours Using Agent Models
Paolo Felli, Tim Miller, Christian Muise et al.
Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract)
Matteo Baldoni, Cristina Baroglio, Elisa Marengo et al.
Constrained Information-Theoretic Tripartite Graph Clustering to Identify Semantically Similar Relations
Chenguang Wang, Yangqiu Song, Dan Roth et al.
Context-Independent Claim Detection for Argument Mining
Marco Lippi, Paolo Torroni