Constraint and Satisfiability Reasoning for Graph Coloring.
The PETLON Algorithm to Plan Efficiently for Task-Level-Optimal Navigation.
Contrasting the Spread of Misinformation in Online Social Networks.
Using Machine Learning for Decreasing State Uncertainty in Planning.
Contiguous Cake Cutting: Hardness Results and Approximation Algorithms.
Computing Bayes-Nash Equilibria in Combinatorial Auctions with Verification.
On Sparse Discretization for Graphical Games.
Credibility-limited Base Revision: New Classes and Their Characterizations.
Lifted Bayesian Filtering in Multiset Rewriting Systems.
Diagnosis of Deep Discrete-Event Systems.
The Complexity Landscape of Outcome Determination in Judgment Aggregation.
On the Complexity of Learning a Class Ratio from Unlabeled Data.
Planning High-Level Paths in Hostile, Dynamic, and Uncertain Environments.
Mapping the landscape of Artificial Intelligence applications against COVID-19.
Annotator Rationales for Labeling Tasks in Crowdsourcing.
Reviewing Autoencoders for Missing Data Imputation: Technical Trends, Applications and Outcomes.
An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems.
Adapting Behavior via Intrinsic Reward: A Survey and Empirical Study.
Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning.
The Parameterized Complexity of Motion Planning for Snake-Like Robots.
A Differential Privacy Mechanism that Accounts for Network Effects for Crowdsourcing Systems.
AMP Chain Graphs: Minimal Separators and Structure Learning Algorithms.
Epistemic Argumentation Framework: Theory and Computation.
Bounds on the Size of PC and URC Formulas.
Structure from Randomness in Halfspace Learning with the Zero-One Loss.
Qualitative Numeric Planning: Reductions and Complexity.
Modular Structures and Atomic Decomposition in Ontologies.
Deep Reinforcement Learning: A State-of-the-Art Walkthrough.
Point at the Triple: Generation of Text Summaries from Knowledge Base Triples.
Properties of Switch-List Representations of Boolean Functions.
Maximin Share Allocations on Cycles.
Incompatibilities Between Iterated and Relevance-Sensitive Belief Revision.
The Bottleneck Simulator: A Model-Based Deep Reinforcement Learning Approach.
Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search.
To Regulate or Not: A Social Dynamics Analysis of an Idealised AI Race.
Belief change and 3-valued logics: Characterization of 19, 683 belief change operators.
Neural Machine Translation: A Review.
Improved High Dimensional Discrete Bayesian Network Inference using Triplet Region Construction.
