Papers
An Effective Learnt Clause Minimization Approach for CDCL SAT Solvers
Mao Luo, Chu-Min Li, Fan Xiao et al.
An End-to-End System for Accomplishing Tasks with Modular Robots: Perspectives for the AI community
Gangyuan Jing, Tarik Tosun, Mark Yim et al.
A Neural Model for Joint Event Detection and Summarization
Zhongqing Wang, Yue Zhang
A New Semantics for Overriding in Description Logics (Extended Abstract)
Piero Bonatti, Marco Faella, Iliana M. Petrova et al.
Angle Principal Component Analysis
Qianqian Wang, Quanxue Gao, Xinbo Gao et al.
An Improved Approximation Algorithm for the Subpath Planning Problem and Its Generalization
Hanna Sumita, Yuma Yonebayashi, Naonori Kakimura et al.
An Improved Decision-DNNF Compiler
Jean-Marie Lagniez, Pierre Marquis
A Novel Symbolic Approach to Verifying Epistemic Properties of Programs
Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu
Answering Conjunctive Regular Path Queries over Guarded Existential Rules
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier et al.
A Partitioning Algorithm for Maximum Common Subgraph Problems
Ciaran McCreesh, Patrick Prosser, James Trimble
App Download Forecasting: An Evolutionary Hierarchical Competition Approach
Yingzi Wang, Nicholas Jing Yuan, Yu Sun et al.
Approximate Large-scale Multiple Kernel k-means Using Deep Neural Network
Yueqing Wang, Xinwang Liu, Yong Dou et al.
Approximate Value Iteration with Temporally Extended Actions (Extended Abstract)
Timothy A. Mann, Shie Mannor, Doina Precup
Approximating Discrete Probability Distribution of Image Emotions by Multi-Modal Features Fusion
Sicheng Zhao, Guiguang Ding, Yue Gao et al.
A Reasoning System for a First-Order Logic of Limited Belief
Christoph Schwering
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem
Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima et al.
A Reduction based Method for Coloring Very Large Graphs
Jinkun Lin, Shaowei Cai, Chuan Luo et al.
A Robust Noise Resistant Algorithm for POI Identification from Flickr Data
Yiyang Yang, Zhiguo Gong, Qing Li et al.
A SAT Approach to Branchwidth
Neha Lodha, Sebastian Ordyniak, Stefan Szeider
A Scalable Approach to Chasing Multiple Moving Targets with Multiple Agents
Fan Xie, Adi Botea, Akihiro Kishimoto
A Structural Representation Learning for Multi-relational Networks
Lin Liu, Xin Li, William K. Cheung et al.
A Study of Unrestricted Abstract Argumentation Frameworks
Ringo Baumann, Christof Spanring
ATL Strategic Reasoning Meets Correlated Equilibrium
Xiaowei Huang, Ji Ruan