IJCAI 2018

870 papers

Curly: An AI-based Curling Robot Successfully Competing in the Olympic Discipline of Curling

Dong-Ok Won, Byung-Do Kim, Ho-Jung Kim, Tae-San Eom, Klaus-Robert Müller

Using a Deep Learning Dialogue Research Toolkit in a Multilingual Multidomain Practical Application

Graham Wilcock

Automated Reasoning for City Infrastructure Maintenance Decision Support

Lijun Wei, Derek R. Magee, Vania Dimitrova, Barry Clarke, Heshan Du

Readitopics: Make Your Topic Models Readable via Labeling and Browsing

Julien Velcin, Antoine Gourru, Erwan Giry-Fouquet, Christophe Gravier, Mathieu Roche

Medusa: Towards Simulating a Multi-Agent Hide-and-Seek Game

Akshat Tandon, Kamalakar Karlapalem

Glass-Box: Explaining AI Decisions With Counterfactual Statements Through Conversation With a Voice-enabled Virtual Assistant

Kacper Sokol, Peter Flach

IBM Scenario Planning Advisor: Plan Recognition as AI Planning in Practice

Shirin Sohrabi, Michael Katz, Oktie Hassanzadeh, Octavian Udrea, Mark D. Feblowitz

A Virtual Environment with Multi-Robot Navigation, Analytics, and Decision Support for Critical Incident Investigation

David L. Smyth, James Fennell, Sai Abinesh, Nazli B. Karimi, Frank G. Glavin

Hintikka's World: Agents with Higher-order Knowledge

François Schwarzentruber

Data-Driven Inventory Management and Dynamic Pricing Competition on Online Marketplaces

Rainer Schlosser, Carsten Walther, Martin Boissier, Matthias Uflacker

Extracting Latent Beliefs and using Epistemic Reasoning to Tailor a Chatbot

Amit Sangroya, C. Anantaram, Pratik Saini, Mrinal Rawat

Multi-Sensor Mobile Platform for the Recognition of Activities of Daily Living and their Environments based on Artificial Neural Networks

Ivan Miguel Pires, Nuno Pombo, Nuno M. Garcia, Francisco Flórez-Revuelta

Semantic Representation of Data Science Programs

Evan Patterson, Ioana Baldini, Aleksandra Mojsilovic, Kush R. Varshney

Aesop: A Visual Storytelling Platform for Conversational AI

Tim Meo, Aswin Raghavan, David A. Salter, Alex Tozzo, Amir Tamrakar

Digitalized Cognitive Assessment mediated by a Virtual Caregiver

Matteo Luperto, Marta Romeo, Francesca Lunardini, Nicola Basilico, Ray Jones

A Wearable Device for Online and Long-Term ECG Monitoring

Marco Longoni, Diego Carrera, Beatrice Rossi, Pasqualina Fragneto, Marco Pessione

Balanced News Using Constrained Bandit-based Personalization

Sayash Kapoor, Vijay Keswani, Nisheeth K. Vishnoi, L. Elisa Celis

CISA: Chinese Information Structure Analysis for Scientific Writing with Cross-lingual Adversarial Learning

Hen-Hsen Huang, Hsin-Hsi Chen

Solving Sudoku with Consistency: A Visual and Interactive Approach

Ian Howell, Robert Woodward, Berthe Y. Choueiry, Christian Bessiere

TuringBox: An Experimental Platform for the Evaluation of AI Systems

Ziv Epstein, Blakeley H. Payne, Judy Hanwen Shen, Casey Jisoo Hong, Bjarke Felbo

Pyconstruct: Constraint Programming Meets Structured Prediction

Paolo Dragone, Stefano Teso, Andrea Passerini

Visualizations for an Explainable Planning Agent

Tathagata Chakraborti, Kshitij P. Fadnis, Kartik Talamadupula, Mishal Dholakia, Biplav Srivastava

SynKit: LTL Synthesis as a Service

Alberto Camacho, Christian Muise, Jorge A. Baier, Sheila A. McIlraith

Near Real-Time Detection of Poachers from Drones in AirSim

Elizabeth Bondi, Ashish Kapoor, Debadeepta Dey, James Piavis, Shital Shah

Generating Plans for Cooperative Connected UAVs

François Bodin, Tristan Charrier, Arthur Queffelec, François Schwarzentruber

Intelligent Assistant for Elderly

Jani Bizjak, Anton Gradišek, Matjaž Gams

Instructing Novice Users on How to Use Tools in DIY Projects

Gregor Behnke, Marvin Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz

Using Contextual Bandits with Behavioral Constraints for Constrained Online Movie Recommendation

Avinash Balakrishnan, Djallel Bouneffouf, Nicholas Mattei, Francesca Rossi

Repairing ASR output by Artificial Development and Ontology based Learning

C. Anantaram, Amit Sangroya, Mrinal Rawat, Aishwarya Chhabra

Hatebusters: A Web Application for Actively Reporting YouTube Hate Speech

Antonios Anagnostou, Ioannis Mollas, Grigorios Tsoumakas

Algorithmic Social Intervention

Bryan Wilder

Machine Learning Approaches to Reduce Electrical Waste and Improve Power Grid Stability

Mark Valovage

Learning and Communicating the Latent States of Human-Machine Collaboration

Vaibhav V. Unhelkar, Julie A. Shah

Bringing Multi-agent Path Finding Closer to Reality

Jiří Švancara

Conversational Explanations of Machine Learning Predictions Through Class-contrastive Counterfactual Statements

Kacper Sokol, Peter Flach

Optimal Multi-Attribute Decision Making in Social Choice Problems

Sujoy Sikdar

Deception

Stefan Sarkadi

Multi-Agent Election-Based Hyper-Heuristics

Vinicius Renan de Carvalho, Jaime Simão Sichman

Identifying Differences in Social Responsiveness among Preschoolers Interacting with or Watching Social Robots

Marie D. Manner

Connecting Low-Level Image Processing and High-Level Vision via Deep Learning

Ding Liu

Data-driven Onboard Scheduling for an Autonomous Observation Satellite

CHAO LI, Yingwu Chen, Patrick De Causmaecker

Optimal Multi-robot Task Planning: from Synthesis to Execution (and Back)

Francesco Leofante

Intelligent Decision Support for Human Team Planning

Joseph Kim

Restricted Communication in Online Multi-Robot Exploration

Elizabeth A. Jensen

Learning Portable Symbolic Representations

Steven James

AI for Conservation: Aerial Monitoring to Learn and Plan against Illegal Actors

Elizabeth Bondi

Handling Uncertainty in Recommender Systems under the Belief Function Theory

Raoua Abdelkhalek

Probabilistic Machine Learning: Models, Algorithms and a Programming Library

Jun Zhu

Engineering Graph Features via Network Functional Blocks

Vincent W. Zheng

Mining Streaming and Temporal Data: from Representation to Knowledge

Xiangliang Zhang

Towards Sample Efficient Reinforcement Learning

Yang Yu

Towards Improving the Expressivity and Scalability of Distributed Constraint Optimization Problems

William Yeoh

Artificial Argumentation for Humans

Serena Villata

Improving Reinforcement Learning with Human Input

Matthew E. Taylor

Advances and Challenges in Privacy Preserving Planning

Guy Shani

Partakable Technology

Nardine Osman

Improving Data Management using Domain Knowledge

Magdalena Ortiz

Interactive Learning and Decision Making: Foundations, Insights & Challenges

Frans A. Oliehoek

Natural Language Understanding: Instructions for (Present and Future) Use

Roberto Navigli

Formal Analysis of Deep Binarized Neural Networks

Nina Narodytska

Grounded Language Learning: Where Robotics and NLP Meet

Cynthia Matuszek

Towards Human-Engaged AI

Xiaojuan Ma

Mental Health Computing via Harvesting Social Media Data

Jia Jia

Reasoning about NP-complete Constraints

Emmanuel Hebrard

Statistical Quality Control for Human Computation and Crowdsourcing

Yukino Baba

Decision-Making Under Uncertainty in Multi-Agent and Multi-Robot Systems: Planning and Learning

Christopher Amato

Learning Continuous Time Bayesian Networks in Non-stationary Domains

Simone Villa, Fabio Stella

Viewpoint: Artificial Intelligence and Labour

Spyridon Samothrakis

Distributional Correspondence Indexing for Cross-Lingual and Cross-Domain Sentiment Classification (Extended Abstract)

Alejandro Moreo Fernández, Andrea Esuli, Fabrizio Sebastiani

Lightweight Random Indexing for Polylingual Text Classification (Extended Abstract)

Alejandro Moreo Fernández, Andrea Esuli, Fabrizio Sebastiani

Rademacher Complexity Bounds for a Penalized Multi-class Semi-supervised Algorithm (Extended Abstract)

Yury Maximov, Massih-Reza Amini, Zaïd Harchaoui

Impossibility in Belief Merging (Extended Abstract)

Amilcar Mata Diaz, Ramón Pino Pérez

Three-Valued Semantics for Hybrid MKNF Knowledge Bases Revisited (Extended Abstract)

Fangfang Liu, Jia-Huai You

Linear Satisfiability Preserving Assignments (Extended Abstract)

Kei Kimura, Kazuhisa Makino

Visualisation and 'Diagnostic Classifiers' Reveal how Recurrent and Recursive Neural Networks Process Hierarchical Structure (Extended Abstract)

Dieuwke Hupkes, Willem Zuidema

Constrained Coalition Formation on Valuation Structures: Formal Framework, Applications, and Islands of Tractability (Extended Abstract)

Gianluigi Greco, Antonella Guzzo

Complexity of n-Queens Completion (Extended Abstract)

Ian P. Gent, Christopher Jefferson, Peter Nightingale

Fact-Alternating Mutex Groups for Classical Planning (Extended Abstract)

Daniel Fišer, Antonin Komenda

Learning Explanatory Rules from Noisy Data (Extended Abstract)

Richard Evans, Edward Grefenstette

Preference-Based Inconsistency Management in Multi-Context Systems (Extended Abstract)

Thomas Eiter, Antonius Weinzierl

Prime Implicate Generation in Equational Logic (extended abstract)

Mnacho Echenim, Nicolas Peltier, Sophie Tourret

From Feature to Paradigm: Deep Learning in Machine Translation (Extended Abstract)

Marta R. Costa-jussà

On the Equivalence between Assumption-Based Argumentation and Logic Programming (Extended Abstract)

Martin Caminada, Claudia Schulz

Revisiting the Arcade Learning Environment: Evaluation Protocols and Open Problems for General Agents (Extended Abstract)

Marlos C. Machado, Marc G. Bellemare, Erik Talvitie, Joel Veness, Matthew Hausknecht

Enhancing Context Knowledge Repositories with Justifiable Exceptions (Extended Abstract)

Loris Bozzato, Thomas Eiter, Luciano Serafini

Solving Multi-Agent Path Finding on Strongly Biconnected Digraphs (Extended Abstract)

Adi Botea, Davide Bonusi, Pavel Surynek

On the Logical Properties of the Description Logic DL^N (Extended abstract)

Piero A. Bonatti, Luigi Sauro

A COP Model for Graph-Constrained Coalition Formation (Extended Abstract)

Filippo Bistaffa, Alessandro Farinelli

MCTS-Minimax Hybrids with State Evaluations (Extended Abstract)

Hendrik Baier, Mark H. M. Winands

Incentive-Compatible Mechanisms for Norm Monitoring in Open Multi-Agent Systems (Extended Abstract)

Natasha Alechina, Joseph Y. Halpern, Ian A. Kash, Brian Logan

Affective Image Content Analysis: A Comprehensive Survey

Sicheng Zhao, guiguang ding, Qingming Huang, Tat-Seng Chua, Bjorn W. Schuller

Building Ethics into Artificial Intelligence

Han Yu, Zhiqi Shen, Chunyan Miao, Cyril Leung, Victor R. Lesser

"Chitty-Chitty-Chat Bot": Deep Learning for Conversational AI

Rui Yan

Ontology-Based Data Access: A Survey

Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi

Advancements in Dueling Bandits

Yanan Sui, Masrour Zoghi, Katja Hofmann, Yisong Yue

Stackelberg Security Games: Looking Beyond a Decade of Success

Arunesh Sinha, Fei Fang, Bo An, Christopher Kiekintveld, Milind Tambe

Autonomously Reusing Knowledge in Multiagent Reinforcement Learning

Felipe Leno Da Silva, Matthew E. Taylor, Anna Helena Reali Costa

Event Coreference Resolution: A Survey of Two Decades of Research

Jing LU, Vincent Ng

Boosting Combinatorial Problem Modeling with Machine Learning

Michele Lombardi, Michela Milano

Systems AI: A Declarative Learning Based Programming Perspective

Parisa Kordjamshidi, Dan Roth, Kristian Kersting