1076-9757
Volume 69, 2020
Diagnosis of Deep Discrete-Event Systems.

Gianfranco Lamperti Marina Zanella Xiangfu Zhao

Deep Reinforcement Learning: A State-of-the-Art Walkthrough.

Aristotelis Lazaridis Anestis Fachantidis Ioannis P. Vlahavas

Bounds on the Size of PC and URC Formulas.

Petr Kucera Petr Savický

An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems.

Amit K. Chopra Samuel H. Christie V. Munindar P. Singh

On the Complexity of Learning a Class Ratio from Unlabeled Data.

Benjamin Fish Lev Reyzin

Adapting Behavior via Intrinsic Reward: A Survey and Empirical Study.

Cam Linke Nadia M. Ady Martha White Thomas Degris Adam White

Reviewing Autoencoders for Missing Data Imputation: Technical Trends, Applications and Outcomes.

Ricardo Cardoso Pereira Miriam Seoane Santos Pedro Pereira Rodrigues Pedro Henriques Abreu

Lifted Bayesian Filtering in Multiset Rewriting Systems.

Stefan Lüdtke Thomas Kirste

Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning.

Ritchie Lee Ole J. Mengshoel Anshu Saksena Ryan W. Gardner Daniel Genin Joshua Silbermann Michael P. Owen Mykel J. Kochenderfer

A Differential Privacy Mechanism that Accounts for Network Effects for Crowdsourcing Systems.

Yuan Luo Nicholas R. Jennings

Epistemic Argumentation Framework: Theory and Computation.

Chiaki Sakama Tran Cao Son

Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search.

Artem Kaznatcheev David A. Cohen Peter Jeavons

Credibility-limited Base Revision: New Classes and Their Characterizations.

Marco Garapa Eduardo Fermé Maurício D. Luís Reis

Modular Structures and Atomic Decomposition in Ontologies.

Chiara Del Vescovo Matthew Horridge Bijan Parsia Uli Sattler Thomas Schneider Haoruo Zhao

Qualitative Numeric Planning: Reductions and Complexity.

Blai Bonet Hector Geffner

To Regulate or Not: A Social Dynamics Analysis of an Idealised AI Race.

The Anh Han Luís Moniz Pereira Francisco C. Santos Tom Lenaerts

Contrasting the Spread of Misinformation in Online Social Networks.

Marco Amoruso Daniele Anello Vincenzo Auletta Raffaele Cerulli Diodato Ferraioli Andrea Raiconi

Mapping the landscape of Artificial Intelligence applications against COVID-19.

Joseph Bullock Alexandra Sasha Luccioni Katherine Hoffmann Pham Cynthia Sin Nga Lam Miguel A. Luengo-Oroz

Using Machine Learning for Decreasing State Uncertainty in Planning.

Senka Krivic Michael Cashmore Daniele Magazzeni Sándor Szedmák Justus H. Piater

Structure from Randomness in Halfspace Learning with the Zero-One Loss.

Ata Kabán Robert J. Durrant

The Complexity Landscape of Outcome Determination in Judgment Aggregation.

Ulle Endriss Ronald de Haan Jérôme Lang Marija Slavkovik

Belief change and 3-valued logics: Characterization of 19, 683 belief change operators.

Nerio Borges Ramón Pino Pérez

Maximin Share Allocations on Cycles.

Miroslaw Truszczynski Zbigniew Lonc

The Bottleneck Simulator: A Model-Based Deep Reinforcement Learning Approach.

Iulian Vlad Serban Chinnadhurai Sankar Michael Pieper Joelle Pineau Yoshua Bengio

Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification.

Vitor Bosshard Benedikt Bünz Benjamin Lubin Sven Seuken

Properties of Switch-List Representations of Boolean Functions.

Milos Chromý Ondrej Cepek

The PETLON Algorithm to Plan Efficiently for Task-Level-Optimal Navigation.

Shih-Yun Lo Shiqi Zhang Peter Stone

AMP Chain Graphs: Minimal Separators and Structure Learning Algorithms.

Mohammad Ali Javidian Marco Valtorta Pooyan Jamshidi

Neural Machine Translation: A Review.

Felix Stahlberg

Planning High-Level Paths in Hostile, Dynamic, and Uncertain Environments.

Jacopo Banfi Vikram Shree Mark E. Campbell

Improved High Dimensional Discrete Bayesian Network Inference using Triplet Region Construction.

Peng Lin Martin Neil Norman E. Fenton

The Parameterized Complexity of Motion Planning for Snake-Like Robots.

Siddharth Gupta Guy Sa'ar Meirav Zehavi

Annotator Rationales for Labeling Tasks in Crowdsourcing.

Mücahid Kutlu Tyler McDonnell Tamer Elsayed Matthew Lease

Contiguous Cake Cutting: Hardness Results and Approximation Algorithms.

Paul Goldberg Alexandros Hollender Warut Suksompong

Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision.

Theofanis I. Aravanis Pavlos Peppas Mary-Anne Williams

On Sparse Discretization for Graphical Games.

Luis E. Ortiz

Constraint and Satisfiability Reasoning for Graph Coloring.

Emmanuel Hebrard George Katsirelos

Point at the Triple: Generation of Text Summaries from Knowledge Base Triples.

Pavlos Vougiouklis Eddy Maddalena Jonathon S. Hare Elena Simperl