IJCAI 2016

651 papers

Robot Scavenger Hunt: A Standardized Framework for Evaluating Intelligent Mobile Robots

Shiqi Zhang, Dongcai Lu, Xiaoping Chen, Peter Stone

VIPR: An Interactive Tool for Meaningful Visualization of High-Dimensional Data

Donghan Wang, Madalina Fiterau, Artur Dubrawski

PARecommender: A Pattern-Based System for Route Recommendation

Feiyi Tang, Jia Zhu, Yang Cao, Sanli Ma, Yulong Chen

Data-Based Promotion of Tourist Events with Minimal Operational Impact

Srikanth Tamilselvam, Biplav Srivastava, Vishalaksh Aggarwal

Interactive Planning-Based Hypothesis Generation with LTS++

Shirin Sohrabi, Octavian Udrea, Anton V. Riabov, Oktie Hassanzadeh

A Tool for Generating Interactive Euler Diagrams

François Schwarzentruber

Thou Shalt ASQFor and Shalt Receive the Semantic Answer

Muhammad Rizwan Saeed, Charalampos Chelmis, Viktor K. Prasanna

Klint: Assisting Integration of Heterogeneous Knowledge

Jacobo Rouces, Gerard de Melo, Katja Hose

Demo: Assisting Visually Impaired People Navigate Indoors

J. Pablo Muñoz, Bing Li, Xuejian Rong, Jizhong Xiao, YingLi Tian

An Adaptive Process Management System Implementation Based on Situation Calculus, Indigolog and Classical Planning

Andrea Marrella, Massimo Mecella, Sebastian Sardina

An Intelligent System for Taxi Service Monitoring, Analytics and Visualization

Yu Lu, Gim Guan Chua, Huayu Wu, Clement Shi Qi Ong

A Tag-Based Statistical English Math Word Problem Solver with Understanding, Reasoning and Explanation

Chao-Chun Liang, Kuang-Yi Hsu, Chien-Tsung Huang, Chung-Min Li, Shen-Yu Miao

Eddy: A Graphical Editor for OWL 2 Ontologies

Domenico Lembo, Daniele Pantaleone, Valerio Santarelli, Domenico Fabio Savo

Implementation of Learning-Based Dynamic Demand Response on a Campus Micro-Grid

Sanmukh R. Kuppannagari, Rajgopal Kannan, Charalampos Chelmis, Viktor K. Prasanna

A Demonstration of Interactive Task Learning

James Kirk, Aaron Mininger, John Laird

The Malmo Platform for Artificial Intelligence Experimentation

Matthew Johnson, Katja Hofmann, Tim Hutton, David Bignell

A Virtual Assistant to Help Dysphagia Patients Eat Safely at Home

Michael Freed, Brian Burns, Aaron Heller, Daniel Sanchez, Sharon Beaumont-Bowman

SMACk: An Argumentation Framework for Opinion Mining

Mauro Dragoni, Célia da Costa Pereira, Andrea G.B. Tettamanzi, Serena Villata

KBQA: An Online Template Based Question Answering System over Freebase

Wanyun Cui, Yanghua Xiao, Wei Wang

Winning Agent from the 2016 Annual Computer Poker Competition

Baby Tartanian8:

Practical 3D Tracking Using Low-Cost Cameras

Roman Barták, Michal Koutný, David Obdrzálek

Repairing General-Purpose ASR Output to Improve Accuracy of Spoken Sentences in Specific Domains Using Artificial Development Approach

C. Anantaram, Sunil Kumar Kopparapu, Chirag Patel, Aditya Mittal

MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers

Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki

Improving Topic Model Stability for Effective Document Exploration

Yi Yang, Shimei Pan, Yangqiu Song, Jie Lu, Mercan Topkara

Welfare Effects of Market Making in Continuous Double Auctions: Extended Abstract

Elaine Wah, Mason Wright, Michael P. Wellman

Online Bellman Residual and Temporal Difference Algorithms with Predictive Error Guarantees

Wen Sun, J. Andrew Bagnell

Why Prices Need Algorithms

Tim Roughgarden, Inbal Talgam-Cohen

A Decision Procedure for (Co)datatypes in SMT Solvers

Andrew Reynolds, Jasmin Christian Blanchette

Generating Tests for Robotized Painting Using Constraint Programming

Morten Mossige, Arnaud Gotlieb, Hein Meling

Proximal Gradient Temporal Difference Learning Algorithms

Bo Liu, Ji Liu, Mohammad Ghavamzadeh, Sridhar Mahadevan, Marek Petrik

Deep Neural Decision Forests

Peter Kontschieder, Madalina Fiterau, Antonio Criminisi, Samuel Rota Bulò

Fleet Design Optimisation from Historical Data Using Constraint Programming and Large Neighbourhood Search

Philip Kilby, Tommaso Urli

The Dependence of Effective Planning Horizon on Model Accuracy

Nan Jiang, Alex Kulesza, Satinder Singh, Richard Lewis

Projection, Inference, and Consistency

John N. Hooker

Observability, Identifiability and Sensitivity of Vision-Aided Inertial Navigation

Joshua Hernandez, Konstantine Tsotsos, Stefano Soatto

A Nearly-Linear Time Framework for Graph-Structured Sparsity

Chinmay Hegde, Piotr Indyk, Ludwig Schmidt

Domain Model Acquisition in the Presence of Static Relations in the LOP System

Peter Gregory, Stephen Cresswell

Effective Planning with More Expressive Languages

Guillem Francès, Hector Geffner

Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer

Vijay D’Silva, Caterina Urban

Tabling as a Library with Delimited Control

Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke

Sequencing Operator Counts

Toby O. Davies, Adrian R. Pearce, Peter J. Stuckey, Nir Lipovetzky

On Broken Triangles

Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux, Bruno Zanuttini

Learning Qualitative Spatial Relations for Robotic Navigation

Abdeslam Boularias, Felix Duvallet, Jean Oh, Anthony Stentz

Detecting Student Emotions in Computer-Enabled Classrooms

Nigel Bosch, Sidney K. D’Mello, Ryan S. Baker, Jaclyn Ocumpaugh, Valerie Shute

Optimal and Adaptive Algorithms for Online Boosting

Alina Beygelzimer, Satyen Kale, Haipeng Luo

Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report

Vaishak Belle, Guy Van den Broeck, Andrea Passerini

Optimal Prosumer Decision-Making Using Factored MDPs

Angelos Angelidakis, Georgios Chalkiadakis

On the Properties of GZ-Aggregates in Answer Set Programming

Mario Alviano, Nicola Leone

From Non-Convex Aggregates to Monotone Aggregates in ASP

Mario Alviano, Wolfgang Faber, Martin Gebser

Adversarial AI

Yevgeniy Vorobeychik

Sequential Decision Making for Improving Efficiency in Urban Environments

Pradeep Varakantham

First-Order Model Counting in a Nutshell

Guy Van den Broeck

A Hard Look at Soft Concepts

Dafna Shahaf

Plausible Reasoning Based on Qualitative Entity Embeddings

Steven Schockaert, Shoaib Jameel

Open Information Extraction Systems and Downstream Applications

Mausam

Directions in Hybrid Intelligence: Complementing AI Systems with Human Intelligence

Ece Kamar

Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications

Matti Järvisalo

Preference Restrictions in Computational Social Choice: Recent Progress

Edith Elkind, Martin Lackner, Dominik Peters

Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data

Meghyn Bienvenu

Computational Social Choice: Some Current and New Directions

Haris Aziz

On Ranking and Choice Models

Shivani Agarwal

Towards Intelligent Visual Understanding under Minimal Supervision

Dingwen Zhang

Quantitative Path-Planning from Qualitative Language Instructions

Daqing Yi

BiPOCL: A Discourse-Driven Story Planner for Procedural Narrative Generation (Extended Abstract)

David R. Winer

A Framework for Anomaly Reasoning: Interpretation through Concept Formation for Knowledge Transfer and Lifelong Learning

John Winder

Reasoning about Space and Change with Answer Set Programming Modulo Theories

Przemysław Andrzej Wałęga

Automated Narrative Information Extraction Using Non-Linear Pipelines

Josep Valls-Vargas

Conceptual Visualization and Navigation Methods for Polyadic Formal Concept Analysis

Diana Troanca

Integrating Social Network Structure into Online Feature Selection

Antonela Tommasel

Time Decomposition for Diagnosis of Discrete Event Systems (Extended Abstract)

Xingyu Su

General Statistical Approaches to Procedural Map Generation

Sam Snodgrass

Towards Understanding Natural Language: Semantic Parsing, Commonsense Knowledge Acquisition and Applications

Arpit Sharma

Reactive Policy Checking for Action Languages

Zeynep Gözen Saribatur

Are Spiking Neural Networks Useful for Classifying and Early Recognition of Spatio-Temporal Patterns?

Banafsheh Rekabdar

On the Synergy of Network Science and Artificial Intelligence

Decebal Constantin Mocanu

Adaptive Sequential Recommendation Using Context Trees

Fei Mi, Boi Faltings

Semantic Framework for Industrial Analytics and Diagnostics

Gulnar Mehdi, Sebastian Brandt, Mikhail Roshchin, Thomas Runkler

Solving Hard Subgraph Problems in Parallel

Ciaran McCreesh

Modelling Satisfiability Problems: Theory and Practice

Valentin Mayer-Eichberger

Learning Robust Representations for Data Analytics

Sheng Li

Active Inference for Dynamic Bayesian Networks

Caner Komurlu

Toward a Robust and Universal Crowd-Labeling Framework

Faiza Khan Khattak

Machine Learning for Integer Programming

Elias B. Khalil

Extractive and Abstractive Event Summarization over Streaming Web Text

Chris Kedzie, Kathleen McKeown

Stochastic Planning in Large Search Spaces

Bilal Kartal

Computer-Aided Game Design: Doctoral Consortium Research Abstract

Aaron Isaksen

Probabilistic Planning with Risk-Sensitive Criterion

Ping Hou

Proactivity in Robots

Jasmin Grosinger

Action Selection Methods for Multi-Agent Navigation in Crowded Environments

Julio Godoy

Location-Based Activity Recognition with Hierarchical Dirichlet Process

Negar Ghourchian

Fast Motion Prediction for Collaborative Robotics

Claudia Pérez-D’Arpino, Julie A. Shah

Self Monitoring, Goal Driven Autonomy Agents

Dustin Dannenhauer

An Approach to Cooperation in General-Sum Normal Form Games

Steven Damer

Transfer Learning for Multiagent Reinforcement Learning Systems

Felipe Leno Da Silva, Anna Helena Reali Costa

Logic-Based Inductive Synthesis of Efficient Programs

Andrew Cropper

Bounded Suboptimal Multi-Agent Path Finding Using Highways

Liron Cohen, Sven Koenig

Planning under Uncertainty and Temporally Extended Goals

Alberto Camacho

Combining Logic and Probability: P-log Perspective

Evgenii Balai

Lifting Techniques for Sequential Decision Making and Probabilistic Inference (Extended Abstract)

Ankit Anand

Online Fair Division Redux

Martin Aleksandrov