Invited Talks and Research Excellence Paper
Open Information Extraction: The Second Generation | |
Oren Etzioni, Anthony Fader, Janara Christensen, Stephen Soderland, - Mausam |
Agent-Based and Multiagent Systems
On the Complexity of the Core over Coalition Structures | |
Gianluigi Greco, Enrico Malizia, Luigi Palopoli, Francesco Scarcello |
Max-Prob: An Unbiased Rational Decision Making Procedure for Multiple-Adversary Environments | |
Anat Hashavit, Shaul Markovitch |
A Dynamic Logic of Normative Systems | |
Andreas Herzig, Emiliano Lorini, Frederic Moisan, Nicolas Troquard |
Model Checking Knowledge in Pursuit Evasion Games | |
Xiaowei Huang, Patrick Maupin, Ron van der Meyden |
Subsidies, Stability, and Restricted Cooperation in Coalitional Games | |
Reshef Meir, Jeffrey S. Rosenschein, Enrico Malizia |
Using Experience to Generate New Regulations | |
Javier Morales, Maite López-Sánchez, Marc Esteva |
An Interaction-Oriented Model for Multi-Scale Simulation | |
Sébastien Picault, Philippe Mathieu |
Minimum Search To Establish Worst-Case Guarantees in Coalition Structure Generation | |
Talal Rahwan, Tomasz P Michalak, Nicholas R Jennings |
Generalizing Envy-Freeness Toward Group of Agents | |
Taiki Todo, Runcong Li, Xuemei Hu, Takayuki Mouri, Atsushi Iwasaki, Makoto Yokoo |
Constraints, Satisfiability, and Search
Symmetries and Lazy Clause Generation | |
Geoffrey Chu, Maria Garcia de la Banda, Chris Mears, Peter J. Stuckey |
Generalizing ADOPT and BnB-ADOPT | |
Patricia Gutierrez, Pedro Meseguer, William Yeoh |
Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms | |
Federico Heras, Joao Marques-Silva |
Minimum Satisfiability and Its Applications | |
Chu-Min Li, Zhu Zhu, Felip Manya, Laurent Simon |
Exploiting Short Supports for Generalised Arc Consistency for Arbitrary Constraints | |
Peter Nightingale, Ian Philip Gent, Chris Jefferson, Ian Miguel |
Heuristic Algorithms for Balanced Multi-Way Number Partitioning | |
Jilian Zhang, Kyriakos Mouratidis, HweeHwa Pang |
Knowledge Representation, Reasoning, and Logic
Walking the Complexity Lines for Generalized Guarded Existential Rules | |
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo |
First-Order Extension of the FLP Stable Model Semantics via Modified Circumscription | |
Michael Bartholomew, Joohyung Lee, Yunsong Meng |
Expressiveness of the Interval Logics of Allen's Relations on the Class of all Linear Orders: Complete Classification | |
Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco |
Belief Base Rationalization for Propositional Merging | |
Sébastien Konieczny, Pierre Marquis, Nicolas Schwind |
Existential Closures for Knowledge Compilation | |
Pierre Marquis |
Lost in Translation: Language Independence in Propositional Logic — Application to Belief Revision and Belief Merging | |
Pierre Marquis, Nicolas Schwind |
Reasoning about Fuzzy Belief and Common Belief: With Emphasis on Incomparable Beliefs | |
Yoshihiro Maruyama |
Causal Learnability | |
Loizos Michael |
Revisiting Preferences and Argumentation | |
Sanjay Modgil, Henry Prakken |
Machine Learning
Semi-Supervised Learning from a Translation Model Between Data Distributions | |
Henry Anaya-Sánchez, José Martínez-Sotoca, Adolfo Martínez-Usó |
Using Cases as Heuristics in Reinforcement Learning: A Transfer Learning Application | |
Luiz A. Celiberto Jr., Jackson P. Matsuura, Ramon Lopez de Mantaras, Reinaldo A. C. Bianchi |
Concept Labeling: Building Text Classifiers with Minimal Supervision | |
Vijil Chenthamarakshan, Prem Melville, Vikas Sindhwani, Richard D Lawrence |
Unsupervised Learning of Patterns in Data Streams Using Compression and Edit Distance | |
Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen |
Flexible, High Performance Convolutional Neural Networks for Image Classification | |
Dan Claudiu Ciresan, Ueli Meier, Jonathan Masci, Luca Maria Gambardella, Jürgen Schmidhuber |
Gaussianity Measures for Detecting the Direction of Causal Time Series | |
José Miguel Hernández-Lobato, Pablo Morales-Mombiela, Alberto Suárez |
Combining Supervised and Unsupervised Models Via Unconstrained Probabilistic Embedding | |
Xudong Ma, Ping Luo, Fuzhen Zhuang, Qing He, Zhongzhi Shi, Zhiyong Shen |
Agent-Oriented Incremental Team and Activity Recognition | |
Daniele Masato, Timothy J. Norman, Wamberto W. Vasconcelos, Katia Sycara |
Multi-Kernel Gaussian Processes | |
Arman Melkumyan, Fabio Ramos |
Classification of Emerging Extreme Event Tracks in Multivariate Spatio-Temporal Physical Systems Using Dynamic Network Structures: Application to Hurricane Track Prediction | |
Huseyin Sencan, Zhengzhang Chen, William Hendrix, Tatdow Pansombut, Frederick Semazzi, Alok Choudhary, Vipin Kumar, Anatoli V. Melechko, Nagiza F. Samatova |
Consistency Measures for Feature Selection: A Formal Definition, Relative Sensitivity Comparison and a Fast Algorithm | |
Kilho Shin, Danny Fernandes, Seiya Miyazaki |
Heterogeneous Domain Adaptation using Manifold Alignment | |
Chang Wang, Sridhar Mahadevan |
Jointly Learning Data-Dependent Label and Locality-Preserving Projections | |
Chang Wang, Sridhar Mahadevan |
Fast Nonnegative Matrix Tri-Factorization for Large-Scale Data Co-Clustering | |
Hua Wang, Feiping Nie, Heng Huang, Fillia Makedon |
L2,1-Norm Regularized Discriminative Feature Selection for Unsupervised | |
Yi Yang, Heng Tao Shen, Zhigang Ma, Zi Huang, Xiaofang Zhou |
Multidisciplinary Topics And Applications
Finding "Unexplained" Activities in Video | |
Massimiliano Albanese, Cristian Molinaro, Fabio Persia, Antonio Picariello, V.S. Subrahmanian |
A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning | |
H. Leo H. de Penning, Artur S. d'Avila Garcez, Luis C. Lamb, John-Jules C. Meyer |
Verifying Fault Tolerance and Self-Diagnosability of an Autonomous Underwater Vehicle | |
Jonathan Ezekiel, Alessio Lomuscio, Levente Molnar, Sandor Veres, Miles Pebody |
OCS-14: You Can Get Occluded in Fourteen Ways | |
Prithwijit Guha, Amitabha Mukerjee, K. S. Venkatesh |
The Role of Intention Recognition in the Evolution of Cooperative Behavior | |
The Anh Han, Luis Moniz Pereira, Francisco C. Santos |
Natural-Language Processing
Predicting Globally-Coherent Temporal Structures from Texts Via Endpoint Inference and Graph Decomposition | |
Pascal Denis, Philippe Muller |
Constraint Optimization Approach to Context Based Word Selection | |
Jun Matsuno, Toru Ishida |
An Approach to Answer Selection in Question-Answering Based on Semantic Relations | |
Ana Cristina Mendes, Luísa Coheur |
Learning for Deep Language Understanding | |
Smaranda Muresan |
Improving Topic Evaluation Using Conceptual Knowledge | |
Claudiu Cristian Musat, Julien Velcin, Stefan Trausan-Matu, Marian-Andrei Rizoiu |
Planning and Scheduling
Monitoring the Execution of Partial-Order Plans via Regression | |
Christian Muise, Sheila A. McIlraith, J. Christopher Beck |
Probabilistic Goal Markov Decision Processes | |
Huan Xu, Shie Mannor |
Uncertainty in AI
Lifted Probabilistic Inference by First-Order Knowledge Compilation | |
Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis, Luc De Raedt |
Learning Optimal Bayesian Networks Using A* Search | |
Changhe Yuan, Brandon Malone, Xiaojian Wu |
Bayesian Chain Classifiers for Multidimensional Classification | |
Julio Cesar Zaragoza, Enrique Sucar, Eduardo Morales, Concha Bielza, Pedro Larrañaga |
Web and Knowledge-Based Information Systems
Relation Adaptation: Learning to Extract Novel Relations with Minimum Supervision | |
Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka |
Finding the Hidden Gems: Recommending Untagged Music | |
Ben Horsburgh, Susan Craw, Stewart Massie, Robin Boswell |
Mining Longitudinal Network for Predicting Company Value | |
Yingzi Jin, Ching-Yung Lin, Yutaka Matsuo, Mitsuru Ishizuka |
Context Sensitive Topic Models for Author Influence in Document Networks | |
Saurabh Kataria, Prasenjit Mitra, Cornelia Caragea, C. Lee Giles |
Social Abstract Argumentation | |
João Leite, João Martins |
Minimally Complete Recommendations | |
David McSherry |
Predicting Epidemic Tendency through Search Behavior Analysis | |
Danqing Xu, Yiqun Liu, Min Zhang, Shaoping Ma, Anqi Cui, Liyun Ru |
Recommender Systems from "Words of Few Mouths" | |
Richong Zhang, Thomas Tran, Yongyi Mao |
Special Track on Integrated and Embedded AI
Integrated Learning for Goal-Driven Autonomy | |
Ulit Jaidee, Hector Munoz-Avila, David W. Aha |
A System for Providing Differentiated QoS in Retail Banking | |
Sameep Mehta, Girish Chafle, Gyana Parija, Vikas Kedia |
Learning 3D Geological Structure from Drill-Rig Sensors for Automated Mining | |
Sildomar Takahashi Monteiro, Joop van de Ven, Fabio Ramos, Peter Hatherly |
An Agent Architecture for Prognostic Reasoning Assistance | |
Jean Oh, Felipe Meneguzzi, Katia Sycara, Timothy J Norman |
Best Paper Track
Human-Guided Machine Learning for Fast and Accurate Network Alarm Triage | |
Saleema Amershi, Bongshin Lee, Ashish Kapoor, Ratul Mahajan, Blaine Christian |
Automatic Construction of Efficient Multiple Battery Usage Policies | |
Maria Fox, Derek Long, Daniele Magazzeni |
Recommender Systems: Missing Data and Statistical Model Estimation | |
Benjamin M. Marlin, Richard S. Zemel, Sam T. Roweis, Malcolm Slaney |
Mind the Eigen-Gap, or How to Accelerate Semi-Supervised Spectral Learning Algorithms | |
Dimitrios Mavroeidis |
Theoretical Justification of Popular Link Prediction Heuristics | |
Purnamrita Sarkar, Deepayan Chakrabarti, Andrew W. Moore |
Doctoral Consortium
Behaviour Recognition in Smart Homes | |
Sook-Ling Chua, Stephen Marsland, Hans W. Guesgen |
Distributed Constraint Optimization Problems Related with Soft Arc Consistency | |
Patricia Gutierrez, Pedro Meseguer |
An Analysis of Multiobjective Search Algorithms and Heuristics | |
Enrique Machuca, Lawrence Mandow |
On Temporal Regulations and Commitment Protocols | |
Elisa Marengo, Matteo Baldoni, Cristina Baroglio |
Contributions to Personalizable Knowledge Integration | |
Maria Vanina Martinez |
Decision Making Under Uncertainty: Social Choice and Manipulation | |
Nicholas Scott Mattei |
RDFKB: A Semantic Web Knowledge Base | |
James P. McGlothlin, Latifur Khan, Bhavani Thuraisingham |
Research Proposal: Cooperation among Self Interested Agents | |
Reshef Meir |