Buenos Aires, Argentina · 25–31 July 2015
Edited by Qiang Yang and Michael Wooldridge
No papers match this filter.
Agent and Multiagent Systems
Exchange of Indivisible Objects with Asymmetry
Pages 97–102
Optimal Auctions for Partially Rational Bidders
Pages 118–123
Agile Planning for Real-World Disaster Response
Pages 132–137
Artificial Intelligence and Social Sciences
Emotions in Argumentation: an Empirical Evaluation
Pages 156–162
Semi-Universal Portfolios with Transaction Costs
Pages 178–183
Bonus or Not? Learn to Reward in Crowdsourcing
Pages 201–207
Auctions and Market-Based Systems
Mechanism Design and Implementation for Lung Exchange
Pages 209–214
Selling Reserved Instances in Cloud Computing
Pages 224–230
Constraint Optimization
A Multicore Tool for Constraint Solving
Pages 232–237
Maximum Satisfiability Using Cores and Correction Sets
Pages 246–251
Constraints, Satisfiability, and Search
Expressive Logical Combinators for Free
Pages 311–316
Statistical Regimes and Runtime Prediction
Pages 318–323
Solving QBF by Clause Selection
Pages 325–330
Multi-Pass High-Level Presolving
Pages 346–351
Decomposition of the Factor Encoding for CSPs
Pages 353–358
Personalized Mathematical Word Problem Generation
Pages 381–387
On Constrained Boolean Pareto Optimization
Pages 389–394
Packing Curved Objects
Pages 396–401
Game Theory
A Bargaining Mechanism for One-Way Games
Pages 440–445
Strategic Network Formation through an Intermediary
Pages 447–452
Welfare Maximization in Fractional Hedonic Games
Pages 461–466
Learning Cooperative Games
Pages 475–480
A Dictatorship Theorem for Cake Cutting
Pages 482–487
Gibbard-Satterthwaite Games
Pages 533–538
Smooth UCT Search in Computer Poker
Pages 554–559
Fixing Tournaments for Kings, Chokers, and More
Pages 561–566
Limited Lookahead in Imperfect-Information Games
Pages 575–580
Impartial Peer Review
Pages 582–587
Equilibrium Analysis of Multi-Defender Security Games
Pages 596–601
When Does Schwartz Conjecture Hold?
Pages 603–608
Strategic Candidacy Games with Lazy Candidates
Pages 610–615
Simple Causes of Complexity in Hedonic Games
Pages 617–622
Convergence to Equilibria in Strategic Candidacy
Pages 624–629
Solving Heads-Up Limit Texas Hold'em
Pages 645–651
Envy-Free Sponsored Search Auctions with Budgets
Pages 653–658
Implementing the Wisdom of Waze
Pages 660–665
Spiteful Bidding in the Dollar Auction
Pages 667–672
Graphical Models
From Weighted to Unweighted Model Counting
Pages 689–694
Pushing Forward Marginal MAP with Best-First Search
Pages 696–701
Indirect Causes in Dynamic Bayesian Networks Revisited
Pages 703–708
Heuristic Search
Generalized Rapid Action Value Estimation
Pages 754–759
Efficient Search with an Ensemble of Heuristics
Pages 784–790
Knowledge Acquisition
Building Hierarchies of Concepts via Crowdsourcing
Pages 844–852
Knowledge Representation, Reasoning, and Logic
On the Graded Acceptability of Arguments
Pages 868–873
A Simple Probabilistic Extension of Modal Mu-calculus
Pages 882–887
Automatic Generation of Raven's Progressive Matrices
Pages 903–908
From Raw Sensor Data to Detailed Spatial Knowledge
Pages 910–916
Machine Learning
Greedy Structure Search for Sum-Product Networks
Pages 932–937
On the Consistency of AUC Pairwise Optimization
Pages 939–944
Multi-Label Active Learning: Query Type Matters
Pages 946–951
Analysis of Sampling Algorithms for Twitter
Pages 967–972
Portfolio Choices with Orthogonal Bandit Learning
Pages 974–-1
Medical Synonym Extraction with Concept Space Models
Pages 989–994
Correcting Covariate Shift with the Frank-Wolfe Algorithm
Pages 1010–1015
Cognitive Modelling for Predicting Examinee Performance
Pages 1017–1023
Revisiting Gaussian Process Dynamical Models
Pages 1047–1052
Character-Based Parsing with Convolutional Neural Network
Pages 1054–1059
Active Learning from Crowds with Unsure Option
Pages 1061–1067
Model Verification / Model Checking
Symbolic Model Checking for One-Resource RB+-ATL
Pages 1069–1074
The Complexity of Model Checking Succinct Multiagent Systems
Pages 1076–1081
Verifying Emergent Properties of Swarms
Pages 1083–1088
Pushdown Multi-Agent System Verification
Pages 1090–1096
Multiagent Systems
Equilibria Under the Probabilistic Serial Rule
Pages 1105–1111
Estimating the Margin of Victory of an Election Using Sampling
Pages 1120–1125
Spectrum-Based Fault Localisation for Multi-Agent Systems
Pages 1134–1139
Planning
Exploiting Symmetries by Planning for a Descriptive Quotient
Pages 1479–1485
Tight Bounds for HTN Planning with Task Insertion
Pages 1502–1507
ASAP-UCT: Abstraction of State-Action Pairs in UCT
Pages 1509–1514
Exploiting Block Deordering for Improving Planners Efficiency
Pages 1537–1542
On the Online Generation of Effective Macro-Operators
Pages 1544–1549
Synthesis for LTL and LDL on Finite Traces
Pages 1558–1563
Optimal Planning with Axioms
Pages 1580–1585
Probabilistic Knowledge-Based Programs
Pages 1594–1599
Metareasoning for Planning Under Uncertainty
Pages 1601–1608
Exploratory Digraph Navigation Using A
Pages 1624–1629
Sorting Sequential Portfolios in Automated Planning
Pages 1638–1643
Models of Action Concurrency in Temporal Planning
Pages 1659–1664
Point-Based Planning for Multi-Objective POMDPs
Pages 1666–1671
Deordering and Numeric Macro Actions for Plan Repair
Pages 1673–1680
Planning for Stochastic Games with Co-Safe Objectives
Pages 1682–1687
Simulation-Based Admissible Dominance Pruning
Pages 1689–1694
On the Effective Configuration of Planning Domain Models
Pages 1704–1710
Multi-Objective POMDPs with Lexicographic Reward Preferences
Pages 1719–1724
MORRF*: Sampling-Based Multi-Objective Motion Planning
Pages 1733–1740
Multidisciplinary Topics and Applications
Algorithmic Exam Generation
Pages 1149–1154
The Right to Obscure: A Mechanism and Initial Evaluation
Pages 1156–1161
Combining Eye Movements and EEG to Enhance Emotion Recognition
Pages 1170–1175
Handling Complex Commands as Service Robot Task Requests
Pages 1177–1182
Automated Geometry Theorem Proving for Human-Readable Proofs
Pages 1193–1198
Offline Sketch Parsing via Shapeness Estimation
Pages 1200–1206
Natural Language Processing
Embedding Semantic Relations into Word Representations
Pages 1222–1227
Joint Learning of Character and Word Embeddings
Pages 1236–1241
Joint POS Tagging and Text Normalization for Informal Text
Pages 1263–1268
Reader-Aware Multi-Document Summarization via Sparse Coding
Pages 1270–1275
An Active Learning Approach to Coreference Resolution
Pages 1312–1317
On Conceptual Labeling of a Bag of Words
Pages 1326–1331
User Modeling with Neural Network for Review Rating Prediction
Pages 1340–1345
Syntax-Based Deep Matching of Short Texts
Pages 1354–1360
Modeling Quantum Entanglements in Quantum Language Models
Pages 1362–1367
Convolutional Neural Networks for Text Hashing
Pages 1369–1374
Compressive Document Summarization via Sparse Optimization
Pages 1376–1381
Learning Term Embeddings for Hypernymy Identification
Pages 1390–1396
Ontologies
Recommender Systems
Optimal Greedy Diversity for Recommendation
Pages 1742–1747
Music Recommenders: User Evaluation Without Real Users?
Pages 1749–1754
Differentially Private Matrix Factorization
Pages 1763–1769
Simple Atom Selection Strategy for Greedy Matrix Completion
Pages 1799–1804
Cross-Domain Collaborative Filtering with Review Text
Pages 1827–1833
Relational Learning
Saul: Towards Declarative Learning Based Programming
Pages 1844–1850
Knowledge Base Completion Using Embeddings and Rules
Pages 1859–1865
Robotics and Vision
Graph-Based Inverse Optimal Control for Robot Manipulation
Pages 1874–1879
Reactive Integrated Motion Planning and Execution
Pages 1881–1886
Weakly Supervised RBM for Semantic Segmentation
Pages 1888–1893
Satisfiability
A Modularity-Based Random SAT Instances Generator
Pages 1952–1957
An Exact Inference Scheme for MinSAT
Pages 1959–1964
Efficient Model Based Diagnosis with Maximum Satisfiability
Pages 1966–1971
Literal-Based MCS Extraction
Pages 1973–1978
Prime Compilation of Non-Clausal Formulae
Pages 1980–1987
Sequential Decision Making
Solving MDPs with Skew Symmetric Bilinear Utility Functions
Pages 1989–1994
Non-Monotone Adaptive Submodular Maximization
Pages 1996–2002
Stick-Breaking Policy Learning in Dec-POMDPs
Pages 2011–2017
Social Choice Theory
Structure in Dichotomous Preferences
Pages 2019–2024
Ranked Voting on Social Networks
Pages 2040–2045
Non-Myopic Negotiators See What's Best
Pages 2047–2053
Social Networks
How Robust Is the Wisdom of the Crowds?
Pages 2055–2060
Uncovering the Formation of Triadic Closure in Social Networks
Pages 2062–2067
Network Representation Learning with Rich Text Information
Pages 2111–2116
Optimal Route Search with the Coverage of Users' Preferences
Pages 2118–2123
Vision and Perception
Groupwise Registration of Aerial Images
Pages 2133–2138
Inferring Painting Style with Multi-Task Dictionary Learning
Pages 2162–2167
Social Image Parsing by Cross-Modal Data Refinement
Pages 2169–2174
Salient Object Detection via Augmented Hypotheses
Pages 2176–2181
Adaptive Sharing for Image Classification
Pages 2183–2189
Face Clustering in Videos with Proportion Prior
Pages 2191–2196
Saliency Detection with a Deeper Investigation of Light Field
Pages 2212–2217
Heroic versus Collaborative AI for the Arts
Pages 2138–2443
Web and Knowledge-Based Information Systems
Reasoning with Style
Pages 2227–2232
Scalable Graph Hashing with Feature Transformation
Pages 2248–2253
Distance-Bounded Consistent Query Answering
Pages 2262–2268
Short and Sparse Text Topic Modeling via Self-Aggregation
Pages 2270–2275
Online Learning to Rank for Content-Based Image Retrieval
Pages 2284–2289
Deep Multimodal Hashing with Orthogonal Regularization
Pages 2291–2296
Hamming Compatible Quantization for Hashing
Pages 2298–2303
Web Mining
Deep Learning for Event-Driven Stock Prediction
Pages 2327–2332
Large Scale Homophily Analysis in Twitter Using a Twixonomy
Pages 2334–2339
Interactive Gender Inference with Integer Linear Programming
Pages 2341–2346
Detecting Promotion Campaigns in Community Question Answering
Pages 2348–2353
VRCA: A Clustering Algorithm for Massive Amount of Texts
Pages 2355–2360
Unsupervised Sentiment Analysis for Social Media Images
Pages 2378–2378
Special Track on Artificial Intelligence and the Arts
Artificial Intelligence in the Concertgebouw
Pages 2424–2429
Swarm Systems in the Visualization of Consumption Patterns
Pages 2466–2471
Evolving Ambiguous Images
Pages 2473–2478
The Scaffolded Sound Beehive
Pages 2480–2480
Generating all Possible Palindromes from Ngram Corpora
Pages 2489–2494
Looking at Mondrian's Victory Boogie-Woogie: What Do I Feel?
Pages 2503–2508
Aesthetic Visual Quality Evaluation of Chinese Handwritings
Pages 2510–2515
Special Track on Computational Sustainability
Online Fair Division: Analysing a Food Bank Problem
Pages 2540–2545
A Personalised Thermal Comfort Model Using a Bayesian Network
Pages 2547–2552
Batch Reinforcement Learning for Smart Home Energy Management
Pages 2561–2566
Reasoning about Connectivity Constraints
Pages 2568–2573
α-min: A Compact Approximate Solver For Finite-Horizon POMDPs
Pages 2582–2587
On the Balance of Meter Deployment Cost and NILM Accuracy
Pages 2603–2608
Secure Routing in Wireless Sensor Networks via POMDPs
Pages 2617–2622
Copula Graphical Models for Wind Resource Estimation
Pages 2646–2653
Optimal Electric Vehicle Charging Station Placement
Pages 2662–2667
A Crowdfunding Model for Green Energy Investment
Pages 2669–2675
Special Track on Knowledge Representation and Reasoning
Combining Existential Rules and Description Logics
Pages 2691–2696
Multi-Agent Only Knowing on Planet Kripke
Pages 2713–2718
Combining Existential Rules and Transitivity: Next Steps
Pages 2720–2725
Dealing with Generic Contrariness in Structured Argumentation
Pages 2727–2732
Answer Update for Rule-Based Stream Reasoning
Pages 2741–2746
Only Knowing Meets Common Knowledge
Pages 2755–2760
Partial Grounded Fixpoints
Pages 2784–2789
Complexity Results in Epistemic Planning
Pages 2791–2796
On the Entailment Problem for a Logic of Typicality
Pages 2805–2810
The Complexity of Subsumption in Fuzzy EL
Pages 2812–2817
Temporal Query Answering in the Description Logic EL
Pages 2819–2824
Logic Program Termination Analysis Using Atom Sizes
Pages 2833–2838
Probabilistic Belief Contraction Using Argumentation
Pages 2854–2859
Fixed-Parameter Tractable Reductions to SAT for Planning
Pages 2897–2902
The Logic of Qualitative Probability
Pages 2904–2909
On the Aggregation of Argumentation Frameworks
Pages 2911–2916
Combining Existential Rules with the Power of CP-Theories
Pages 2918–2924
Modular Systems with Preferences
Pages 2940–2946
A Logic for Reasoning about Justified Uncertain Beliefs
Pages 2948–2953
Epistemic Equilibrium Logic
Pages 2964–2969
Computing Social Behaviours Using Agent Models
Pages 2978–2983
Polynomial Rewritings for Linear Existential Rules
Pages 2992–2997
A Modification of the Halpern-Pearl Definition of Causality
Pages 3022–3032
Merging in the Horn Fragment
Pages 3041–3046
Schema.org as a Description Logic
Pages 3048–3053
Trust-Sensitive Belief Revision
Pages 3062–3067
Simplifying A Logic Program Using Its Consequences
Pages 3069–3074
On Forgetting Postulates in Answer Set Programming
Pages 3076–3082
Computing Horn Rewritings of Description Logics Ontologies
Pages 3091–3096
Efficient Paraconsistent Reasoning with Ontologies and Rules
Pages 3098–3104
Query Rewriting for Existential Rules with Compiled Preorder
Pages 3106–3111
Ontology-Mediated Queries with Closed Predicates
Pages 3120–3125
A Top-Down Compiler for Sentential Decision Diagrams
Pages 3141–3147
On the Parameterized Complexity of Belief Revision
Pages 3149–3154
Membership Constraints in Formal Concept Analysis
Pages 3186–3191
Qualitative Reasoning about Directions in Semantic Spaces
Pages 3207–3212
Characterizability in Belief Revision
Pages 3236–3241
AGM Revision of Beliefs about Action and Time
Pages 3250–3255
Query Understanding through Knowledge-Based Conceptualization
Pages 3264–3269
Extending AGM Contraction to Arbitrary Logics
Pages 3299–3306
Special Track on Machine Learning
Learning Regular Languages via Alternating Automata
Pages 3308–3313
Maximum Entropy Semi-Supervised Inverse Reinforcement Learning
Pages 3315–3320
Count-Based Frequency Estimation with Bounded Memory
Pages 3337–3343
Reinforcement Learning from Demonstration through Shaping
Pages 3352–3357
Policy Shaping with Human Teachers
Pages 3366–3371
Direct Policy Iteration with Demonstrations
Pages 3380–3385
Model Metric Co-Learning for Time Series Classification
Pages 3387–3393
Training-Efficient Feature Map for Shift-Invariant Kernels
Pages 3395–3400
Robust Learning for Repeated Stochastic Games via Meta-Gaming
Pages 3416–3421
Optimal Bayesian Hashing for Efficient Face Recognition
Pages 3430–3436
Intersecting Manifolds: Detection, Segmentation, and Labeling
Pages 3445–3451
Deep Low-Rank Coding for Transfer Learning
Pages 3453–3458
Topic Modeling with Document Relative Similarities
Pages 3469–3474
Robust Multiple Kernel K-means Using L21-Norm
Pages 3476–3481
Crowdsourced Semantic Matching of Multi-Label Annotations
Pages 3483–3488
Random Feature Mapping with Signed Circulant Matrix Projection
Pages 3490–3495
Multitask Coactive Learning
Pages 3518–3523
Multi-Label Structure Learning with Ising Model Selection
Pages 3525–3530
Bi-Parameter Space Partition for Cost-Sensitive SVM
Pages 3532–3538
Online Robust Low Rank Matrix Recovery
Pages 3540–3545
Active Imitation Learning of Hierarchical Policies
Pages 3554–3559
Training-Time Optimization of a Budgeted Booster
Pages 3583–3588
Robust Dictionary Learning with Capped l1-Norm
Pages 3590–3595
Fast Cross-Validation for Incremental Learning
Pages 3597–3603
Collaborative Place Models
Pages 3612–3617
Symbol Acquisition for Probabilistic High-Level Planning
Pages 3619–3626
Data Sparseness in Linear SVM
Pages 3628–3633
Multi-Task Model and Feature Joint Learning
Pages 3643–3648
Mixed Error Coding for Face Recognition with Mixed Occlusions
Pages 3657–3662
Between Imitation and Intention Learning
Pages 3692–3697
Using A* for Inference in Probabilistic Classifier Chains
Pages 3707–3712
Introspective Forecasting
Pages 3714–3719
Inverse Reinforcement Learning in Relational Domains
Pages 3735–3740
Graph Invariant Kernels
Pages 3756–3761
EigenGP: Gaussian Process Models with Adaptive Eigenfunctions
Pages 3763–3768
Nonparametric Independence Testing for Small Sample Sizes
Pages 3777–3782
Data Compression for Learning MRF Parameters
Pages 3784–3789
Deep Linear Coding for Fast Graph Clustering
Pages 3798–3803
Semi-Orthogonal Multilinear PCA with Relaxed Start
Pages 3805–3810
Sketch the Storyline with CHARCOAL: A Non-Parametric Approach
Pages 3841–3847
Online Learning of k-CNF Boolean Functions
Pages 3865–3872
Semantic Topic Multimodal Hashing for Cross-Media Retrieval
Pages 3890–3895
Learning to Hash on Partial Multi-Modal Data
Pages 3904–3909
Ranking Preserving Hashing for Fast Similarity Search
Pages 3911–3916
Discriminative Unsupervised Dimensionality Reduction
Pages 3925–3930
Imaging Time-Series to Improve Classification and Imputation
Pages 3939–3944
Quantized Correlation Hashing for Fast Cross-Modal Search
Pages 3946–3951
Thompson Sampling for Budgeted Multi-Armed Bandits
Pages 3960–3965
Multi-view Self-Paced Learning for Clustering
Pages 3974–3979
Matrix Factorization with Scale-Invariant Parameters
Pages 4017–4023
A Direct Boosting Approach for Semi-supervised Classification
Pages 4033–4039
Towards Class-Imbalance Aware Multi-Label Learning
Pages 4048–4053
Multi-Task Multi-View Clustering for Non-Negative Data
Pages 4062–4067
Semi-Supervised Multi-Label Learning with Incomplete Labels
Pages 4069–4074
Self-Adaptive Hierarchical Sentence Model
Pages 4077–4083
Dual-Regularized Multi-View Outlier Detection
Pages 4084–4089
Mobile Query Recommendation via Tensor Function Learning
Pages 4091–4096
MUVIR: Multi-View Rare Category Detection
Pages 4098–4103
Recovery of Corrupted Multiple Kernels for Clustering
Pages 4105–4110
Adaptive Dropout Rates for Learning with Corrupted Features
Pages 4126–4132
Demos Track
Evolving Families of Shapes
Pages 4134–4134
Max Order: A Tale of Creativity
Pages 4136–4136
Journal Track
On the Testability of BDI Agent Systems (Extended Abstract)
Pages 4217–4220
Best Papers from Sister Conferences Track
When Are Description Logic Knowledge Bases Indistinguishable?
Pages 4240–4245
Trust-Guided Behavior Adaptation Using Case-Based Reasoning
Pages 4261–4266
How to Define Certain Answers
Pages 4282–4287
Firefly Monte Carlo: Exact MCMC with Subsets of Data
Pages 4289–4294
Reasoning with Probabilistic Ontologies
Pages 4310–4315
Speedy versus Greedy Search
Pages 4331–4337
Doctoral Consortium
Online Fair Division
Pages 4339–4339
Expressive Rule-Based Stream Reasoning
Pages 4341–4341
Graph Construction for Semi-Supervised Learning
Pages 4343–4343
Distribution of UCT and Its Ramifications
Pages 4351–4351
Models for Conditional Preferences as extensions of CP-nets
Pages 4355–4355
Information Extraction of Texts in the Biomedical Domain
Pages 4357–4357
Learning Efficient Logic Programs
Pages 4359–4359
RoTuEl: A Semi-Automated Method for Labeling Political Tweets
Pages 4361–4361
Bipartite Graph for Topic Extraction
Pages 4363–4363
On the Static Analysis for SPARQL Queries Using Modal Logic
Pages 4367–4367
Artificial Prediction Markets for Online Prediction
Pages 4371–4371
Multi-Robot Exploration with Communication Restrictions
Pages 4373–4373
Diagnosis of Technical Systems
Pages 4375–4375
Flexible Scheduling for an Agile Earth-Observing Satelllite
Pages 4379–4379
Towards More Practical Reinforcement Learning
Pages 4381–4381
Using Small Humanoid Robots to Detect Autism in Toddlers
Pages 4383–4383
Advances in Nonparametric Hypothesis Testing
Pages 4387–4387
Automated Agents for Advice Provision
Pages 4391–4391
Normative Practical Reasoning: An Argumentation-Based Approach
Pages 4397–4397
Unleashing the Power of Multi-Agent Voting Teams
Pages 4399–4399
Feature Selection for Multi-Label Learning
Pages 4401–4401
Quantifying and Improving the Robustness of Trust Systems
Pages 4405–4405
The Spatio-Temporal Representation of Natural Reading
Pages 4407–4407
Approximate Algorithms for Stochastic Network Design
Pages 4409–4409
Inference and Learning for Probabilistic Description Logics
Pages 4411–4411
Improvements of Symmetry Breaking During Search
Pages 4413–4414
Invited
Front matter, copyright and publication details
and Michael Wooldridge, University of Oxford
Sponsored by
International Joint Conferences on Artificial Intelligence (IJCAI)
Published by
AAAI Press / International Joint Conferences on Artificial Intelligence
Palo Alto, California USA Copyright © 2015 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
Copublished and Distributed by AAAI Press, 2275 East Bayshore Road, Suite 160, Palo Alto CA 94303 USA
ISBN 978-1-57735-738-4 (six-volume set)
