IJCAI 2017

781 papers

Toshihiko Yamasaki, Yiwei Zhang, Jiani Hu, Shumpei Sano, Kiyoharu Aizawa

Emergency Evacuation Simulator (EES) - a Tool for Planning Community Evacuations in Australia

Dhirendra Singh, Lin Padgham

Limbo: A Reasoning System for Limited Belief

Christoph Schwering

Real--Time UAV Maneuvering via Automated Planning in Simulations

Miquel Ramirez, Michael Papasimeon, Lyndon Behnke, Nir Lipovetzky, Tim Miller

Speech-based Medical Decision Support in VR using a Deep Neural Network (Demonstration)

Alexander Prange, Michael Barz, Daniel Sonntag

Automated Planning for Urban Traffic Management

Thomas L. McCluskey, Mauro Vallati, Santiago Franco

A Goal-Oriented Meaning-based Statistical Multi-Step Math Word Problem Solver with Understanding, Reasoning and Explanation

Chao-Chun Liang, Yu-Shiang Wong, Yi-Chung Lin, Keh-Yih Su

Omniscient Debugging for GOAL Agents in Eclipse (Demonstration)

Vincent J. Koeman, Koen V. Hindriks, Catholijn M. Jonker

DISA: A Scientific Writing Advisor with Deep Information Structure Analysis

Hen-Hsen Huang, Hsin-Hsi Chen

Libratus: The Superhuman AI for No-Limit Poker

Noam Brown, Tuomas Sandholm

Refinement of Intentions

Zhanhao Xiao

Towards A Relational Approach For Tool Creation By Robots

Handy Wicaksono

Searching for Well-Behaved Fragments of Halpern-Shoham Logic

Przemysław Andrzej Wałęga

Deep Abnormality Detection in Video Data

Hung Vu

Towards Trust, Transparency and Liability in AI / AS systems

Eva Thelisson

Search Strategies as Synchronous Processes (Extended Abstract)

Pierre Talbot

The Role of Textualisation and Argumentation in Understanding the Machine Learning Process

Kacper Sokol, Peter Flach

Using Multiagents for Context-Aware Adaptive Biometrics

Fatina Shukur

Fuzzy Logic Model for Digital Forensics: A Trade-off between Accuracy, Complexity and Interpretability

Andrii Shalaginov

Modeling Bias Reduction Strategies in a Biased Agent

Jaelle Scheuerman, Dina Acklin

AToM: An Analogical Theory of Mind

Irina Rabkina

Teaching Robots through Situated Interactive Dialogue and Visual Demonstrations

Jose L. Part, Oliver Lemon

Operationalizing Operational Logics: Semiotic Knowledge Representations for Interactive Systems

Joseph C. Osborn

Nonparametric Online Machine Learning with Kernels

Khanh Nguyen

Curriculum Learning in Reinforcement Learning

Sanmit Narvekar

Probabilistic Inference in Hybrid Domains

Paolo Morettin

Multi-Agent Systems of Inverse Reinforcement Learners in Complex Games

Dave Mobley

Human-Like Agents for Repeated Negotiation

Johnathan Mell

Resilient Control and Safety for Multi-Agent Cyber-Physical Systems

Anna Lukina

Machine Learning Techniques for MultiAgent Systems

Yoad Lewenberg

Stochastic Constraint Programming

David Hemmi

On the Complexity and Expressiveness of Automated Planning Languages Supporting Temporal Reasoning

Nicola Gigante

Efficient Algorithms And Representations For Chance-constrained Mixed Constraint Programming

Cheng Fang

Constructive Recommendation

Paolo Dragone

SAT-Based Approaches for the General High School Timetabling Problem

Emir Demirović

Online Algorithm Selection

Hans Degroote

Understanding and Measuring Collective Intelligence Across Different Cognitive Systems: An Information-Theoretic Approach

Nader Chmait

Learning Multi-faceted Knowledge Graph Embeddings for Natural Language Processing

Muhao Chen, Carlo Zaniolo

A Framework for Long-Term Learning Systems

Diana Benavides-Prado

Securing and scaling cryptocurrencies

Aviv Zohar

Improving Group Decision-Making by Artificial Intelligence

Lirong Xia

Unsupervised Learning via Total Correlation Explanation

Greg Ver Steeg

Reinforcement mechanism design

Pingzhong Tang

Towards Certified Unsolvability in Classical Planning

Gabriele Röger

Multimodal News Article Analysis

Arnau Ramisa

Knowledge Engineering for Intelligent Decision Support

Maria Vanina Martinez

Learning from Data Heterogeneity: Algorithms and Applications

Jingrui He

Committee Scoring Rules: A Call to Arms

Piotr Faliszewski

Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds

Vaishak Belle

Game Theoretic Analysis of Security and Sustainability

Bo An

Robotic Strategic Behavior in Adversarial Environments

Noa Agmon

POPPONENT: Highly accurate, individually and socially efficient opponent preference model in bilateral multi issue negotiations (Extended Abstract)

Farhad Zafari, Faria Nassiri-Mofakham

Text Rewriting Improves Semantic Role Labeling (Extended Abstract)

Kristian Woodsend, Mirella Lapata

Local Search for Minimum Weight Dominating Set with Two-Level Configuration Checking and Frequency Based Scoring Function (Extended Abstract)

Yiyuan Wang, Shaowei Cai, Minghao Yin

Exploiting Causality for Selective Belief Filtering in Dynamic Bayesian Networks (Extended Abstract)

Stefano V. Albrecht, Subramanian Ramamoorthy

Robots in Retirement Homes: Applying Off-the-Shelf Planning and Scheduling to a Team of Assistive Robots (Extended Abstract)

Tony T. Tran, Tiago Vaquero, Goldie Nejat, J. Christopher Beck

A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract)

Son Thanh To, Tran Cao Son, Enrico Pontelli

On the Expressivity of Inconsistency Measures (Extended Abstract)

Matthias Thimm

Some Properties of Batch Value of Information in the Selection Problem (Extended Abstract)

Shahaf S. Shperberg, Solomon Eyal Shimony

Evaluating Epistemic Negation in Answer Set Programming (Extended Abstract)

Yi-Dong Shen, Thomas Eiter

Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract)

Petr Savický, Petr Kučera

News Across Languages - Cross-Lingual Document Similarity and Event Tracking (Extended Abstract)

Jan Rupnik, Andrej Muhič, Gregor Leban, Blaz Fortuna, Marko Grobelnik

Construction of System of Spheres-based Transitively Relational Partial Meet Multiple Contractions: An Impossibility Result (Extended Abstract)

Maurício D. L. Reis, Eduardo Fermé, Pavlos Peppas

Relations Between Spatial Calculi About Directions and Orientations (Extended Abstract)

Till Mossakowski, Reinhard Moratz

Approximate Value Iteration with Temporally Extended Actions (Extended Abstract)

Timothy A. Mann, Shie Mannor, Doina Precup

CCEHC: An Efficient Local Search Algorithm for Weighted Partial Maximum Satisfiability (Extended Abstract)

Chuan Luo, Shaowei Cai, Kaile Su, Wenxuan Huang

AutoFolio: An Automatically Configured Algorithm Selector (Extended Abstract)

Marius Lindauer, Frank Hutter, Holger H. Hoos, Torsten Schaub

On Redundant Topological Constraints (Extended Abstract)

Sanjiang Li, Zhiguo Long, Weiming Liu, Matt Duckham, Alan Both

Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract)

Craig E. Larson, Nico Van Cleemput

New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)

Yong Lai, Dayou Liu, Minghao Yin

Computer Models Solving Intelligence Test Problems: Progress and Implications (Extended Abstract)

José Hernández-Orallo, Fernando Martínez-Plumed, Ute Schmid, Michael Siebers, David Dowe

The Ceteris Paribus Structure of Logics of Game Forms (Extended Abstract)

Davide Grossi, Emiliano Lorini, François Schwarzentruber

Coherent Predictive Inference under Exchangeability with Imprecise Probabilities (Extended Abstract)

Gert de Cooman, Jasper De Bock, Márcio Alves Diniz

Bayesian Network Structure Learning with Integer Programming: Polytopes, Facets and Complexity (Extended Abstract)

James Cussens, Matti Järvisalo, Janne H. Korhonen, Mark Bartlett

Efficient Mechanism Design for Online Scheduling (Extended Abstract)

Xujin Chen, Xiaodong Hu, Tie-yan Liu, Weidong Ma, Tao Qin

On Minimum Representations of Matched Formulas (Extended Abstract)

Ondřej Čepek, Štefan Gurský, Petr Kučera

A New Semantics for Overriding in Description Logics (Extended Abstract)

Piero Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro

Automatic Description Generation from Images: A Survey of Models, Datasets, and Evaluation Measures (Extended Abstract)

Raffaella Bernardi, Ruket Cakici, Desmond Elliott, Aykut Erdem, Erkut Erdem

Robust Multilingual Named Entity Recognition with Shallow Semi-supervised Features (Extended Abstract)

Rodrigo Agerri, German Rigau

Maximizing Awareness about HIV in Social Networks of Homeless Youth with Limited Information

Amulya Yadav, Hau Chan, Albert Xin Jiang, Haifeng Xu, Eric Rice

I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space

Felipe Trevizan, Sylvie Thiébaux, Pedro Santana, Brian Williams

Value Iteration Networks

Aviv Tamar, Yi Wu, Garrett Thomas, Sergey Levine, Pieter Abbeel

Local Topic Discovery via Boosted Ensemble of Nonnegative Matrix Factorization

Sangho Suh, Jaegul Choo, Joonseok Lee, Chandan K. Reddy

Evaluating Market User Interfaces for Electric Vehicle Charging using Bid2Charge

Sebastian Stein, Enrico H. Gerding, Adrian Nedea, Avi Rosenfeld, Nicholas R. Jennings

Adapting Deep Network Features to Capture Psychological Representations: An Abridged Report

Joshua C. Peterson, Joshua T. Abbott, Thomas L. Griffiths

Grounding Abstract Spatial Concepts for Language Interaction with Robots

Rohan Paul, Jacob Arkin, Nicholas Roy, Thomas M. Howard

nanoCoP: Natural Non-clausal Theorem Proving

Jens Otten

KSP: A Resolution-based Prover for Multimodal K, Abridged Report

Cláudia Nalon, Ullrich Hustadt, Clare Dixon

Dynamical System-Based Motion Planning for Multi-Arm Systems: Reaching for Moving Objects

Seyed Sina Mirrazavi Salehian, Nadia Figueroa, Aude Billard

The Many Benefits of Annotator Rationales for Relevance Judgments

Tyler McDonnell, Mucahid Kutlu, Tamer Elsayed, Matthew Lease

Competence Guided Model for Casebase Maintenance

Ditty Mathew, Sutanu Chakraborti

Self-Adjusting Memory: How to Deal with Diverse Drift Types

Viktor Losing, Barbara Hammer, Heiko Wersing

A SAT Approach to Branchwidth

Neha Lodha, Sebastian Ordyniak, Stefan Szeider

On Thompson Sampling and Asymptotic Optimality

Jan Leike, Tor Lattimore, Laurent Orseau, Marcus Hutter

Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood?

Benjamin Kiesl, Martina Seidl, Hans Tompits, Armin Biere

An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community

Gangyuan Jing, Tarik Tosun, Mark Yim, Hadas Kress-Gazit

Learning and Applying Case Adaptation Rules for Classification: An Ensemble Approach

Vahid Jalali, David Leake, Najmeh Forouzandehmehr

Summary: Multi-Agent Path Finding with Kinematic Constraints

Wolfgang Hönig, T. K. Satish Kumar, Liron Cohen, Hang Ma, Hong Xu

Solving Very Hard Problems: Cube-and-Conquer, a Hybrid SAT Solving Method

Marijn J.H. Heule, Oliver Kullmann, Victor W. Marek

First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract)

Amelia Harrison, Yuliya Lierler