Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Melbourne, Australia 19-25 August 2017
Edited by Carles Sierra, IIIA-CSIC
Sponsored by
International Joint Conferences on Artifical Intelligence (IJCAI)
Published by
International Joint Conferences on Artificial Intelligence
Sponsored by
International Joint Conferences on Artifical Intelligence (IJCAI)
Published by
International Joint Conferences on Artificial Intelligence
Copyright © 2017 International Joint Conferences on Artificial Intelligence
All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher.
IJCAI Secretary-Treasurer: Prof. Dr. Bernhard Nebel, Computer Science Department, Albert-Ludwigs-Universitaet Freiburg, Georges-Koehler-Allee, Geb. 052 D-79110 Freiburg, Germany
IJCAI Executive Secretary Ms. Vesna Sabljakovic-Fritz, Vienna University of Technology, Institute of Discrete Mathematics and Geometry, E104 Wiedner Hauptstr. 8-10, A-1040 Vienna, Austria
ISBN (Online): 978-0-9992411-0-3
Preface
Donwnload preface here.
Content
Invited Speakers
From Automation to Autonomous Systems: A Legal Phenomenology with Problems of Accountability
Main track
Agent-based and Multi-agent Systems
Proactive and Reactive Coordination of Non-dedicated Agent Teams Operating in Uncertain Environments
Efficient Computation of Extensions for Dynamic Abstract Argumentation Frameworks: An Incremental Approach
The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality
Computing Bayes-Nash Equilibria in Combinatorial Auctions with Continuous Value and Action Spaces
Enhancing Sustainability of Complex Epidemiological Models through a Generic Multilevel Agent-based Approach
Don't Bury your Head in Warnings: A Game-Theoretic Approach for Intelligent Allocation of Cyber-security Alerts
Manipulating Gale-Shapley Algorithm: Preserving Stability and Remaining Inconspicuous
Combinatorial & Heuristic Search
A Random Model for Argumentation Framework: Phase Transitions, Empirical Hardness, and Heuristics
Constraints and Satisfiability
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems
Solving Integer Linear Programs with a Small Number of Global Variables and Constraints
Restart and Random Walk in Local Search for Maximum Vertex Weight Cliques with Evaluations in Clustering Aggregation
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem
Nonlinear Hybrid Planning with Deep Net Learned Transition Models and Mixed-Integer Linear Programming
Knowledge Representation, Reasoning, and Logic
An Algorithm for Constructing and Solving Imperfect Recall Abstractions of Large Extensive-Form Games
Discriminative Dictionary Learning With Ranking Metric Embedded for Person Re-Identification
Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints
A Data-Driven Approach to Infer Knowledge Base Representation for Natural Language Relations
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability
Dominance and Optimisation Based on Scale-Invariant Maximum Margin Preference Learning
Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by Use of Abstraction
How a General-Purpose Commonsense Ontology can Improve Performance of Learning-Based Image Retrieval
Efficient Inference and Computation of Optimal Alternatives for Preference Languages Based On Lexicographic Models
Proposing a Highly Accurate Hybrid Component-Based Factorised Preference Model in Recommender Systems
Causal Discovery from Nonstationary/Heterogeneous Data: Skeleton Estimation and Orientation Determination
Role Forgetting for ALCOQH(universal role)-Ontologies Using an Ackermann-Based Approach
Machine Learning A-R
Efficient Reinforcement Learning with Hierarchies of Machines by Leveraging Internal Transitions
Unsupervised Learning of Deep Feature Representation for Clustering Egocentric Actions
Using Graphs of Classifiers to Impose Declarative Constraints on Semi-supervised Learning
End-to-End Prediction of Buffer Overruns from Raw Source Code via Neural Memory Networks
Clustering-Based Relational Unsupervised Representation Learning with an Explicit Distributed Representation
A Density-based Nonparametric Model for Online Event Discovery from the Social Media Data
Understanding Users' Budgets for Recommendation with Hierarchical Poisson Factorization
Knowledge Transfer for Out-of-Knowledge-Base Entities : A Graph Neural Network Approach
Category-aware Next Point-of-Interest Recommendation via Listwise Bayesian Personalized Ranking
Enhancing the Unified Features to Locate Buggy Files by Exploiting the Sequential Nature of Source Code
Adaptive Learning Rate via Covariance Matrix Based Preconditioning for Deep Neural Networks
Privacy Issues Regarding the Application of DNNs to Activity-Recognition using Wearables and Its Countermeasures by Use of Adversarial Training
Embedding-based Representation of Categorical Data by Hierarchical Value Coupling Learning
Semi-supervised Learning over Heterogeneous Information Networks by Ensemble of Meta-graph Guided Random Walks
Theoretic Analysis and Extremely Easy Algorithms for Domain Adaptive Feature Learning
Improving Classification Accuracy of Feedforward Neural Networks for Spiking Neuromorphic Chips
Modelling the Working Week for Multi-Step Forecasting using Gaussian Process Regression
Efficiency Through Procrastination: Approximately Optimal Algorithm Configuration with Runtime Guarantees
Learning User's Intrinsic and Extrinsic Interests for Point-of-Interest Recommendation: A Unified Approach
Improving the Generalization Performance of Multi-class SVM via Angular Regularization
Self-paced Compensatory Deep Boltzmann Machine for Semi-Structured Document Embedding
LoCaTe: Influence Quantification for Location Promotion in Location-based Social Networks
Cause-Effect Knowledge Acquisition and Neural Association Model for Solving A Set of Winograd Schema Problems
Dynamic Weighted Majority for Incremental Learning of Imbalanced Data Streams with Concept Drift
Tracking the Evolution of Customer Purchase Behavior Segmentation via a Fragmentation-Coagulation Process
General Heterogeneous Transfer Distance Metric Learning via Knowledge Fragments Transfer
Beyond the Nystrom Approximation: Speeding up Spectral Clustering using Uniform Sampling and Weighted Kernel k-means
Completely Heterogeneous Transfer Learning with Attention - What And What Not To Transfer
Autonomous Task Sequencing for Customized Curriculum Design in Reinforcement Learning
Learning Homophily Couplings from Non-IID Data for Joint Feature Selection and Noise-Resilient Outlier Detection
Machine Learning S-Z
LMPP: A Large Margin Point Process Combining Reinforcement and Competition for Modeling Hashtag Popularity
Learning Multi-level Region Consistency with Dense Multi-label Networks for Semantic Segmentation
Accelerated Doubly Stochastic Gradient Algorithm for Large-scale Empirical Risk Minimization
Recommendation vs Sentiment Analysis: A Text-Driven Latent Factor Model for Rating Prediction with Cold-Start Awareness
Correlational Dueling Bandits with Application to Clinical Treatment in Large Decision Spaces
TransNet: Translation-Based Network Representation Learning for Social Relation Extraction
Combining Knowledge with Deep Convolutional Neural Networks for Short Text Classification
A Sequence Labeling Convolutional Network and Its Application to Handwritten String Recognition
Obtaining High-Quality Label by Distinguishing between Easy and Hard Items in Crowdsourcing
Multiple Medoids based Multi-view Relational Fuzzy Clustering with Minimax Optimization
Supervised Deep Features for Software Functional Clone Detection by Exploiting Lexical and Syntactical Information in Source Code
Discriminant Tensor Dictionary Learning with Neighbor Uncorrelation for Image Set Based Classification
Attentional Factorization Machines: Learning the Weight of Feature Interactions via Attention Networks
Linear Manifold Regularization with Adaptive Graph for Semi-supervised Dimensionality Reduction
FolkPopularityRank: Tag Recommendation for Enhancing Social Popularity using Text Tags in Content Sharing Services
Joint Image Emotion Classification and Distribution Learning via Deep Convolutional Neural Network
A Generalized Recurrent Neural Architecture for Text Classification with Multi-Task Learning
ME-MD: An Effective Framework for Neural Machine Translation with Multiple Encoders and Decoders
DRLnet: Deep Difference Representation Learning Network and An Unsupervised Optimization Framework
Global-residual and Local-boundary Refinement Networks for Rectifying Scene Parsing Predictions
Random Shifting for CNN: a Solution to Reduce Information Loss in Down-Sampling Layers
ContextCare: Incorporating Contextual Information Networks to Representation Learning on Medical Forum Data
TUCH: Turning Cross-view Hashing into Single-view Hashing via Generative Adversarial Nets
No Learner Left Behind: On the Complexity of Teaching Multiple Learners Simultaneously
Multidisciplinary Topics and Applications
Focused Depth-first Proof Number Search using Convolutional Neural Networks for the Game of Hex
Adversarial Generation of Real-time Feedback with Neural Networks for Simulation-based Training
Staying Ahead of the Game: Adaptive Robust Optimization for Dynamic Allocation of Threat Screening Resources
When Security Games Hit Traffic: Optimal Traffic Enforcement Under One Sided Uncertainty
Leveraging Human Knowledge in Tabular Reinforcement Learning: A Study of Human Subjects
Depression Detection via Harvesting Social Media: A Multimodal Dictionary Learning Solution
A Trust-based Mixture of Gaussian Processes Model for Reliable Regression in Participatory Sensing
Predicting Alzheimer's Disease Cognitive Assessment via Robust Low-Rank Structured Sparse Model
Natural Language Processing
A Feature-Enriched Neural Model for Joint Chinese Word Segmentation and Part-of-Speech Tagging
Learning to Explain Entity Relationships by Pairwise Ranking with Convolutional Neural Networks
AGRA: An Analysis-Generation-Ranking Framework for Automatic Abbreviation from Paper Titles
Segmenting Chinese Microtext: Joint Informal-Word Detection and Segmentation with Neural Networks
Planning and Scheduling
Purely Declarative Action Descriptions are Overrated: Classical Planning with Simulators
Softpressure: A Schedule-Driven Backpressure Algorithm for Coping with Network Congestion
Integrating Answer Set Programming with Semantic Dictionaries for Robot Task Planning
An Improved Approximation Algorithm for the Subpath Planning Problem and Its Generalization
Robotics and Vision
Temporal Grounding Graphs for Language Understanding with Accrued Visual-Linguistic Context
Uncertainty in AI
Adaptive Elicitation of Preferences under Uncertainty in Sequential Decision Making Problems
Approximating Discrete Probability Distribution of Image Emotions by Multi-Modal Features Fusion
AI and autonomy track
When Will Negotiation Agents Be Able to Represent Us? The Challenges and Opportunities for Autonomous Negotiators
Achieving Coordination in Multi-Agent Systems by Stable Local Conventions under Community Networks
Concrete Problems for Autonomous Vehicle Safety: Advantages of Bayesian Deep Learning
Best Sister Conferences
Predicting Human Similarity Judgments with Distributional Models: The Value of Word Associations
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract)
An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community
Dynamical System-Based Motion Planning for Multi-Arm Systems: Reaching for Moving Objects
Adapting Deep Network Features to Capture Psychological Representations: An Abridged Report
Journal track
Robust Multilingual Named Entity Recognition with Shallow Semi-supervised Features (Extended Abstract)
Automatic Description Generation from Images: A Survey of Models, Datasets, and Evaluation Measures (Extended Abstract)
Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract)
Coherent Predictive Inference under Exchangeability with Imprecise Probabilities (Extended Abstract)
Computer Models Solving Intelligence Test Problems: Progress and Implications (Extended Abstract)
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)
Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract)
CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)
Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract)
Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)
News Across Languages - Cross-Lingual Document Similarity and Event Tracking (Extended Abstract)
Some Properties of Batch Value of Information in the Selection Problem (Extended Abstract)
A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract)
Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots (Extended Abstract)
Exploiting Causality for Selective Belief Filtering in Dynamic Bayesian Networks (Extended Abstract)
Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract)
Early Career
Doctoral Consortium
Understanding and Measuring Collective Intelligence Across Different Cognitive Systems: An Information-Theoretic Approach
Efficient Algorithms And Representations For Chance-constrained Mixed Constraint Programming
On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning
Operationalizing Operational Logics: Semiotic Knowledge Representations for Interactive Systems
Fuzzy Logic Model for Digital Forensics: A Trade-off between Accuracy, Complexity and Interpretability
The Role of Textualisation and Argumentation in Understanding the Machine Learning Process
Demos
A Goal-Oriented Meaning-based Statistical Multi-Step Math Word Problem Solver with Understanding, Reasoning and Explanation
Speech-based Medical Decision Support in VR using a Deep Neural Network (Demonstration)
Emergency Evacuation Simulator (EES) - a Tool for Planning Community Evacuations in Australia