IJCAI 2018

870 papers

Abducing Relations in Continuous Spaces

Taisuke Sato, Katsumi Inoue, Chiaki Sakama

Argumentation-Based Recommendations: Fantastic Explanations and How to Find Them

Antonio Rago, Oana Cocarascu, Francesca Toni

Two Approaches to Ontology Aggregation Based on Axiom Weakening

Daniele Porello, Nicolas Troquard, Rafael Peñaloza, Roberto Confalonieri, Pietro Galliani

Leveraging Qualitative Reasoning to Improve SFL

Alexandre Perez, Rui Abreu

Incrementally Grounding Expressions for Spatial Relations between Objects

Tiago Mota, Mohan Sridharan

Complexity of Approximate Query Answering under Inconsistency in Datalog+/-

Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro

Multi-agent Epistemic Planning with Common Knowledge

Qiang Liu, Yongmei Liu

Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving

Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran

An Efficient Algorithm To Compute Distance Between Lexicographic Preference Trees

Minyi Li, Borhan Kazimipour

Pseudo-Boolean Constraints from a Knowledge Representation Perspective

Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon

Counterfactual Resimulation for Causal Analysis of Rule-Based Models

Jonathan Laurent, Jean Yang, Walter Fontana

Stratified Negation in Limit Datalog Programs

Mark Kaminski, Bernardo Cuenca Grau, Egor V. Kostylev, Boris Motik, Ian Horrocks

On the Conditional Logic of Simulation Models

Duligur Ibeling, Thomas Icard

Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying

Andre Hernich, Carsten Lutz, Fabio Papacchini, Frank Wolter

Two Sides of the Same Coin: Belief Revision and Enforcing Arguments

Adrian Haret, Johannes P. Wallner, Stefan Woltran

Reverse Engineering Queries in Ontology-Enriched Systems: The Case of Expressive Horn Description Logic Ontologies

Víctor Gutiérrez-Basulto, Jean Christoph Jung, Leif Sabellek

Computing Approximate Query Answers over Inconsistent Knowledge Bases

Sergio Greco, Cristian Molinaro, Irina Trubitsyna

Finite Model Reasoning in Hybrid Classes of Existential Rules

Georg Gottlob, Marco Manna, Andreas Pieris

Possibilistic ASP Base Revision by Certain Input

Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Eric Würbel

An Empirical Study of Knowledge Tradeoffs in Case-Based Reasoning

Devi Ganesan, Sutanu Chakraborti

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying

Cristina Feier, Carsten Lutz, Frank Wolter

Probabilistic bipolar abstract argumentation frameworks: complexity results

Bettina Fazzinga, Sergio Flesca, Filippo Furfaro

Game Description Language and Dynamic Epistemic Logic Compared

Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher

A Study of Argumentative Characterisations of Preferred Subtheories

Marcello D'Agostino, Sanjay Modgil

Belief Update in the Horn Fragment

Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran

The Complexity of Limited Belief Reasoning—The Quantifier-Free Case

Yijia Chen, Abdallah Saffidine, Christoph Schwering

Embracing Change by Abstraction Materialization Maintenance for Large ABoxes

Markus Brenner, Birte Glimm

Learning Conceptual Space Representations of Interrelated Concepts

Zied Bouraoui, Steven Schockaert

Relevance in Structured Argumentation

AnneMarie Borg, Christian Straßer

Fast Compliance Checking in an OWL2 Fragment

Piero A. Bonatti

Exploiting Justifications for Lazy Grounding of Answer Set Programs

Bart Bogaerts, Antonius Weinzierl

Actual Causality in a Logical Setting

Alexander Bochman

Inconsistency-Tolerant Ontology-Based Data Access Revisited: Taking Mappings into Account

Meghyn Bienvenu

Single-Shot Epistemic Logic Program Solving

Manuel Bichler, Michael Morak, Stefan Woltran

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries

Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris

Abstraction of Agents Executing Online and their Abilities in the Situation Calculus

Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

Compiling Model Representations for Querying Large ABoxes in Expressive DLs

Labinot Bajraktari, Magdalena Ortiz, Mantas Šimkus

Explainable Certain Answers

Giovanni Amendola, Leonid Libkin

Enhancing Existential Rules by Closed-World Variables

Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri

Query Answering in Propositional Circumscription

Mario Alviano

Personality-Aware Personalized Emotion Recognition from Physiological Signals

Sicheng Zhao, guiguang ding, Jungong Han, Yue Gao

Brain-inspired Balanced Tuning for Spiking Neural Networks

Tielin Zhang, Yi Zeng, Dongcheng Zhao, Bo Xu

CSNN: An Augmented Spiking based Framework with Perceptron-Inception

Qi Xu, Yu Qi, Hang Yu, Jiangrong Shen, Huajin Tang

Memory Attention Networks for Skeleton-based Action Recognition

Chunyu Xie, Ce Li, Baochang Zhang, Chen Chen, Jungong Han

Neural Framework for Joint Evolution Modeling of User Feedback and Social Links in Dynamic Social Networks

Peizhi Wu, Yi Tu, Xiaojie Yuan, Adam Jatowt, Zhenglu Yang

Learning Sequential Correlation for User Generated Textual Content Popularity Prediction

Wen Wang, Wei Zhang, Jun Wang, Junchi Yan, Hongyuan Zha

Synthesizing Pattern Programs from Examples

Sunbeom So, Hakjoo Oh

Cross-Domain Depression Detection via Harvesting Social Media

Tiancheng Shen, Jia Jia, Guangyao Shen, Fuli Feng, Xiangnan He

A Simple Convolutional Neural Network for Accurate P300 Detection and Character Spelling in Brain Computer Interface

Hongchang Shan, Yu Liu, Todor Stefanov

Jointly Learning Network Connections and Link Weights in Spiking Neural Networks

Yu Qi, Jiangrong Shen, Yueming Wang, Huajin Tang, Hang Yu

Algorithms for Fair Load Shedding in Developing Countries

Olabambo I. Oluwasuji, Obaid Malik, Jie Zhang, Sarvapali D. Ramchurn

NPE: Neural Personalized Embedding for Collaborative Filtering

ThaiBinh Nguyen, Atsuhiro Takasu

Can Serif Mekik, Ron Sun, David Yun Dai

On the Efficiency of Data Collection for Crowdsourced Classification

Edoardo Manino, Long Tran-Thanh, Nicholas R. Jennings

A Novel Neural Network Model based on Cerebral Hemispheric Asymmetry for EEG Emotion Recognition

Yang Li, Wenming Zheng, Zhen Cui, Tong Zhang, Yuan Zong

Simultaneous Clustering and Ranking from Pairwise Comparisons

Jiyi Li, Yukino Baba, Hisashi Kashima

Deep Learning Based Multi-modal Addressee Recognition in Visual Scenes with Utterances

Thao Le Minh, Nobuyuki Shimizu, Takashi Miyazaki, Koichi Shinoda

A Novel Strategy for Active Task Assignment in Crowd Labeling

Zehong Hu, Jie Zhang

On the Cost Complexity of Crowdsourcing

Yili Fang, Hailong Sun, Pengpeng Chen, Jinpeng Huai

Master-Slave Curriculum Design for Reinforcement Learning

Yuechen Wu, Wei Zhang, ke Song

A Fast Local Search Algorithm for Minimum Weight Dominating Set Problem on Massive Graphs

Yiyuan Wang, Shaowei Cai, Jiejiang Chen, Minghao Yin

Understanding Subgoal Graphs by Augmenting Contraction Hierarchies

Tansel Uras, Sven Koenig

Meta-Level Control of Anytime Algorithms with Online Performance Prediction

Justin Svegliato, Kyle Hollins Wray, Shlomo Zilberstein

Distributed Pareto Optimization for Subset Selection

Chao Qian, Guiying Li, Chao Feng, Ke Tang

Sequence Selection by Pareto Optimization

Chao Qian, Chao Feng, Ke Tang

Approximation Guarantees of Stochastic Greedy Algorithms for Subset Selection

Chao Qian, Yang Yu, Ke Tang

Knowledge-Guided Agent-Tactic-Aware Learning for StarCraft Micromanagement

Yue Hu, Juntao Li, Xi Li, Gang Pan, Mingliang Xu

Best-Case and Worst-Case Behavior of Greedy Best-First Search

Manuel Heusner, Thomas Keller, Malte Helmert

A Fast Algorithm for Optimally Finding Partially Disjoint Shortest Paths

Longkun Guo, Yunyun Deng, Kewen Liao, Qiang He, Timos Sellis

An Exact Algorithm for Maximum k-Plexes in Massive Graphs

Jian Gao, Jiejiang Chen, Minghao Yin, Rong Chen, Yiyuan Wang

Neural Networks for Predicting Algorithm Runtime Distributions

Katharina Eggensperger, Marius Lindauer, Frank Hutter

Anytime Focal Search with Applications

Liron Cohen, Matias Greco, Hang Ma, Carlos Hernández, Ariel Felner

The FastMap Algorithm for Shortest Path Computations

Liron Cohen, Tansel Uras, Shiva Jahangiri, Aliyah Arunasalam, Sven Koenig

Back to Basics: Benchmarking Canonical Evolution Strategies for Playing Atari

Patryk Chrabąszcz, Ilya Loshchilov, Frank Hutter

Improving Local Search for Minimum Weight Vertex Cover by Dynamic Strategies

Shaowei Cai, Wenying Hou, Jinkun Lin, Yuanjie Li

A General Approach to Running Time Analysis of Multi-objective Evolutionary Algorithms

Chao Bian, Chao Qian, Ke Tang

A Fast Algorithm for Generalized Arc Consistency of the Alldifferent Constraint

Xizhe Zhang, Qian Li, Weixiong Zhang

A Reactive Strategy for High-Level Consistency During Search

Robert J. Woodward, Berthe Y. Choueiry, Christian Bessiere

Compact-MDD: Efficiently Filtering (s)MDD Constraints with Reversible Sparse Bit-sets

Hélène Verhaeghe, Christophe Lecoutre, Pierre Schaus

Stratification for Constraint-Based Multi-Objective Combinatorial Optimization

Miguel Terra-Neves, Ines Lynce, Vasco Manquinho

Accelerated Difference of Convex functions Algorithm and its Application to Sparse Binary Logistic Regression

Duy Nhat Phan, Hoai Minh Le, Hoai An Le Thi

Learning Optimal Decision Trees with SAT

Nina Narodytska, Alexey Ignatiev, Filipe Pereira, Joao Marques-Silva

Core-Guided Minimal Correction Set and Core Enumeration

Nina Narodytska, Nikolaj Bjørner, Maria-Cristina Marinescu, Mooly Sagiv

Solving (Weighted) Partial MaxSAT by Dynamic Local Search for SAT

Zhendong Lei, Shaowei Cai

Solving Exist-Random Quantified Stochastic Boolean Satisfiability via Clause Selection

Nian-Ze Lee, Yen-Shi Wang, Jie-Hong R. Jiang

DMC: A Distributed Model Counter

Jean-Marie Lagniez, Pierre Marquis, Nicolas Szczepanski

Simpler and Faster Algorithm for Checking the Dynamic Consistency of Conditional Simple Temporal Networks

Luke Hunsberger, Roberto Posenato

Conflict Directed Clause Learning for Maximum Weighted Clique Problem

Emmanuel Hebrard, George Katsirelos

Boosting MCSes Enumeration

Éric Grégoire, Yacine Izza, Jean-Marie Lagniez

Seeking Practical CDCL Insights from Theoretical SAT Benchmarks

Jan Elffers, Jesús Giráldez-Cru, Stephan Gocht, Jakob Nordström, Laurent Simon

Divide and Conquer: Towards Faster Pseudo-Boolean Solving

Jan Elffers, Jakob Nordström

Unary Integer Linear Programming with Structural Restrictions

Eduard Eiben, Robert Ganian, Dusan Knop, Sebastian Ordyniak

Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping

Diego De Uña, Nataliia Rümmele, Graeme Gange, Peter Schachte, Peter J. Stuckey

Methods for off-line/on-line optimization under uncertainty

Allegra De Filippo, Michele Lombardi, Michela Milano

Descriptive Clustering: ILP and CP Formulations with Applications

Thi-Bich-Hanh Dao, Chia-Tung Kuo, S. S. Ravi, Christel Vrain, Ian Davidson

Classification Transfer for Qualitative Reasoning Problems

Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet

On the Satisfiability Threshold of Random Community-Structured SAT

Dina Barak-Pelleg, Daniel Berend

A Framework for Constraint Based Local Search using Essence

Özgür Akgün, Saad Attieh, Ian P. Gent, Christopher Jefferson, Ian Miguel

DehazeGAN: When Image Dehazing Meets Differential Programming

Hongyuan Zhu, Xi Peng, Vijay Chandrasekhar, Liyuan Li, Joo-Hwee Lim

Centralized Ranking Loss with Weakly Supervised Localization for Fine-Grained Object Retrieval

Xiawu Zheng, Rongrong Ji, Xiaoshuai Sun, Yongjian Wu, Feiyue Huang