| A Coupled Operational Semantics for Goals and Commitments |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| A Sampling Approach for Proactive Project Scheduling under Generalized Time-dependent Workability Uncertainty |
✅ |
❌ |
✅ |
❌ |
✅ |
✅ |
✅ |
5 |
| A Semantic Characterization ASP Base Revision |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| A Survey of Cross-lingual Word Embedding Models |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
1 |
| A Survey on Temporal Reasoning for Temporal Information Extraction from Text |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| A Survey on Transfer Learning for Multiagent Reinforcement Learning Systems |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| AI Generality and Spearman’s Law of Diminishing Returns |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
✅ |
3 |
| Acceptable Planning: Influencing Individual Behavior to Reduce Transportation Energy Expenditure of a City |
❌ |
❌ |
✅ |
✅ |
❌ |
❌ |
✅ |
3 |
| Approximating Weighted and Priced Bribery in Scoring Rules |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| Automatic Language Identification in Texts: A Survey |
❌ |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
1 |
| Autonomous Target Search with Multiple Coordinated UAVs |
✅ |
❌ |
❌ |
❌ |
✅ |
✅ |
✅ |
4 |
| Classifying Inconsistency Measures Using Graphs |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Community Structure in Industrial SAT Instances |
✅ |
✅ |
✅ |
❌ |
❌ |
❌ |
✅ |
4 |
| Computing Multi-Modal Journey Plans under Uncertainty |
✅ |
❌ |
❌ |
❌ |
✅ |
❌ |
✅ |
3 |
| Computing and Explaining Query Answers over Inconsistent DL-Lite Knowledge Bases |
✅ |
✅ |
✅ |
❌ |
✅ |
✅ |
✅ |
6 |
| Conditional Simple Temporal Networks with Uncertainty and Resources |
❌ |
✅ |
❌ |
❌ |
✅ |
❌ |
❌ |
2 |
| Context Vectors are Reflections of Word Vectors in Half the Dimensions |
❌ |
✅ |
✅ |
✅ |
✅ |
❌ |
✅ |
5 |
| Cost-Based Goal Recognition in Navigational Domains |
❌ |
❌ |
✅ |
✅ |
✅ |
❌ |
✅ |
4 |
| DSTL: Solution to Limitation of Small Corpus in Speech Emotion Recognition |
✅ |
❌ |
✅ |
✅ |
❌ |
❌ |
✅ |
4 |
| Deep Dialog Act Recognition using Multiple Token, Segment, and Context Information Representations |
❌ |
❌ |
✅ |
✅ |
❌ |
❌ |
✅ |
3 |
| Dependency Learning for QBF |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| Distributed Gibbs: A Linear-Space Sampling-Based DCOP Algorithm |
✅ |
❌ |
❌ |
❌ |
✅ |
❌ |
✅ |
3 |
| Dynamic Controllability of Controllable Conditional Temporal Problems with Uncertainty |
✅ |
❌ |
❌ |
❌ |
✅ |
❌ |
✅ |
3 |
| Embedding Projection for Targeted Cross-lingual Sentiment: Model Comparisons and a Real-World Study |
❌ |
✅ |
✅ |
✅ |
❌ |
❌ |
✅ |
4 |
| Enhancing Statement Evaluation in Argumentation via Multi-labelling Systems |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Fair Allocation of Indivisible Goods to Asymmetric Agents |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
✅ |
3 |
| Formulas Free From Inconsistency: An Atom-Centric Characterization in Priest's Minimally Inconsistent LP |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| From Support Propagation to Belief Propagation in Constraint Programming |
✅ |
✅ |
✅ |
❌ |
✅ |
✅ |
✅ |
6 |
| Full Characterization of Parikh's Relevance-Sensitive Axiom for Belief Revision |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| General Game Playing with Imperfect Information |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| Goal Recognition Design in Deterministic Environments |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree |
❌ |
✅ |
✅ |
❌ |
❌ |
❌ |
✅ |
3 |
| If Nothing Is Accepted -- Repairing Argumentation Frameworks |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Implicitly Coordinated Multi-Agent Path Finding under Destination Uncertainty: Success Guarantees and Computational Complexity |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Interpretable Charge Prediction for Criminal Cases with Dynamic Rationale Attention |
❌ |
❌ |
✅ |
✅ |
❌ |
❌ |
✅ |
3 |
| Iterative Local Voting for Collective Decision-making in Continuous Spaces |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
✅ |
3 |
| Level-0 Models for Predicting Human Behavior in Games |
❌ |
❌ |
✅ |
✅ |
❌ |
❌ |
❌ |
2 |
| Logical Foundations of Linked Data Anonymisation |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Modeling and Planning with Macro-Actions in Decentralized POMDPs |
✅ |
❌ |
❌ |
❌ |
✅ |
❌ |
✅ |
3 |
| Multi-agent Inverse Reinforcement Learning for Certain General-sum Stochastic Games |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
✅ |
2 |
| Multi-fidelity Gaussian Process Bandit Optimisation |
✅ |
✅ |
✅ |
✅ |
❌ |
❌ |
✅ |
5 |
| Multi-scale Hierarchical Residual Network for Dense Captioning |
❌ |
❌ |
✅ |
✅ |
✅ |
✅ |
✅ |
5 |
| Negotiable Votes |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| New Approximations for Coalitional Manipulation in Scoring Rules |
✅ |
✅ |
❌ |
❌ |
❌ |
✅ |
✅ |
4 |
| On Inductive Abilities of Latent Factor Models for Relational Learning |
✅ |
❌ |
✅ |
✅ |
❌ |
❌ |
✅ |
4 |
| On Non-Cooperativeness in Social Distance Games |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| On Overfitting and Asymptotic Bias in Batch Reinforcement Learning with Partial Observability |
❌ |
✅ |
❌ |
✅ |
❌ |
❌ |
✅ |
3 |
| On the Time and Space Complexity of Genetic Programming for Evolving Boolean Conjunctions |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| OptStream: Releasing Time Series Privately |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
✅ |
2 |
| Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| Pitfalls and Best Practices in Algorithm Configuration |
✅ |
✅ |
✅ |
✅ |
✅ |
✅ |
✅ |
7 |
| Point-Based Value Iteration for Finite-Horizon POMDPs |
✅ |
❌ |
✅ |
❌ |
❌ |
❌ |
✅ |
3 |
| Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? |
❌ |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| Probabilistic Planning with Reduced Models |
✅ |
✅ |
✅ |
❌ |
✅ |
❌ |
✅ |
5 |
| REBA: A Refinement-Based Architecture for Knowledge Representation and Reasoning in Robotics |
✅ |
✅ |
❌ |
❌ |
✅ |
❌ |
✅ |
4 |
| Rank Pruning for Dominance Queries in CP-Nets |
✅ |
✅ |
✅ |
❌ |
❌ |
❌ |
✅ |
4 |
| Recognizing Top-Monotonic Preference Profiles in Polynomial Time |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Revisiting CFR+ and Alternating Updates |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Revisiting Counting Solutions for the Global Cardinality Constraint |
✅ |
❌ |
❌ |
❌ |
✅ |
❌ |
✅ |
3 |
| Solving the Torpedo Scheduling Problem |
✅ |
❌ |
✅ |
❌ |
✅ |
❌ |
✅ |
4 |
| Strategic Abstention based on Preference Extensions: Positive Results and Computer-Generated Impossibilities |
❌ |
❌ |
❌ |
❌ |
❌ |
✅ |
❌ |
1 |
| Strong Stubborn Set Pruning for Star-Topology Decoupled State Space Search |
❌ |
❌ |
✅ |
❌ |
✅ |
❌ |
✅ |
3 |
| Synthesizing Argumentation Frameworks from Examples |
✅ |
✅ |
✅ |
✅ |
✅ |
✅ |
❌ |
6 |
| The Mathematics of Changing One’s Mind, via Jeffrey’s or via Pearl’s Update Rule |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Timed ATL: Forget Memory, Just Count |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Type-aware Convolutional Neural Networks for Slot Filling |
❌ |
✅ |
✅ |
✅ |
❌ |
❌ |
✅ |
4 |
| Unifying System Health Management and Automated Decision Making |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Using Collective Behavior of Coupled Oscillators for Solving DCOP |
✅ |
❌ |
❌ |
❌ |
✅ |
❌ |
✅ |
3 |
| Variable Elimination in Binary CSPs |
✅ |
❌ |
✅ |
❌ |
✅ |
❌ |
✅ |
4 |
| Viewpoint: Human-in-the-loop Artificial Intelligence |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
0 |
| Weighted Matching Markets with Budget Constraints |
✅ |
❌ |
❌ |
❌ |
❌ |
❌ |
❌ |
1 |
| What is this Article about? Extreme Summarization with Topic-aware Convolutional Neural Networks |
❌ |
✅ |
✅ |
✅ |
✅ |
❌ |
✅ |
5 |
| Xeggora: Exploiting Immune-to-Evidence Symmetries with Full Aggregation in Statistical Relational Models |
✅ |
✅ |
✅ |
❌ |
✅ |
✅ |
✅ |
6 |