Search

Search Results

• On Consensus in Belief Merging

  Nicolas Schwind, Pierre Marquis

  2018-04-25

• Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting – Application to Belief Update and Conservative Extension

  Liangda Fang, Hai Wan, Xianqiao Liu, Biqing Fang, Zhaorong Lai

  2018-04-25

• Probabilistic Inference Over Repeated Insertion Models

  Batya Kenig, Lovro Ilijasić, Haoyue Ping, Benny Kimelfeld, Julia Stoyanovich

  2018-04-25

• Externally Supported Models for Efficient Computation of Paracoherent Answer Sets

  Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca

  2018-04-25

• Answering Regular Path Queries over SQ Ontologies

  Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung

  2018-04-25

• TorusE: Knowledge Graph Embedding on a Lie Group

  Takuma Ebisu, Ryutaro Ichise

  2018-04-25

• Stream Reasoning in Temporal Datalog

  Alessandro Ronca, Mark Kaminski, Bernardo Cuenca Grau, Boris Motik, Ian Horrocks

  2018-04-25

• Incorporating GAN for Negative Sampling in Knowledge Representation Learning

  Peifeng Wang, Shuangyin Li, Rong Pan

  2018-04-25

• Open-World Knowledge Graph Completion

  Baoxu Shi, Tim Weninger

  2018-04-25

• Noisy Derivative-Free Optimization With Value Suppression

  Hong Wang, Hong Qian, Yang Yu

  2018-04-25

• Avoiding Dead Ends in Real-Time Heuristic Search

  Bence Cserna, William Doyle, Jordan Ramsdell, Wheeler Ruml

  2018-04-25

• Warmstarting of Model-Based Algorithm Configuration

  Marius Lindauer, Frank Hutter

  2018-04-25

• Memory-Augmented Monte Carlo Tree Search

  Chenjun Xiao, Jincheng Mei, Martin Müller

  2018-04-25

• Disjunctive Program Synthesis: A Robust Approach to Programming by Example

  Mohammad Raza, Sumit Gulwani

  2018-04-25

• Streaming Non-Monotone Submodular Maximization: Personalized Video Summarization on the Fly

  Baharan Mirzasoleiman, Stefanie Jegelka, Andreas Krause

  2018-04-25

• Counting Linear Extensions in Practice: MCMC Versus Exponential Monte Carlo

  Topi Talvitie, Kustaa Kangas, Teppo Niinimäki, Mikko Koivisto

  2018-04-25

• A Two-Stage MaxSAT Reasoning Approach for the Maximum Weight Clique Problem

  Hua Jiang, Chu-Min Li, Yanli Liu, Felip Manyà

  2018-04-25

• Revisiting Immediate Duplicate Detection in External Memory Search

  Shunji Lin, Alex Fukunaga

  2018-04-25

• A Recursive Scenario Decomposition Algorithm for Combinatorial Multistage Stochastic Optimisation Problems

  David Hemmi, Guido Tack, Mark Wallace

  2018-04-25

• On Multiset Selection With Size Constraints

  Chao Qian, Yibo Zhang, Ke Tang, Xin Yao

  2018-04-25

• Proximal Alternating Direction Network: A Globally Converged Deep Unrolling Framework

  Risheng Liu, Xin Fan, Shichao Cheng, Xiangyu Wang, Zhongxuan Luo

  2018-04-25

• Large Scale Constrained Linear Regression Revisited: Faster Algorithms via Preconditioning

  Di Wang, Jinhui Xu

  2018-04-25

• Accelerated Best-First Search With Upper-Bound Computation for Submodular Function Maximization

  Shinsaku Sakaue, Masakazu Ishihata

  2018-04-25

• Submodular Function Maximization Over Graphs via Zero-Suppressed Binary Decision Diagrams

  Shinsaku Sakaue, Masaaki Nishino, Norihito Yasuda

  2018-04-25

• Exact Clustering via Integer Programming and Maximum Satisfiability

  Atsushi Miyauchi, Tomohiro Sonobe, Noriyoshi Sukegawa

  2018-04-25