| Modeling Human Trust and Reliance in AI-Assisted Decision Making: A Markovian Approach
|
2023 |
Li, Zhuoyan |
| Better Peer Grading through Bayesian Inference
|
2023 |
Zarkoob, Hedayat |
| RobustLoc: Robust Camera Pose Regression in Challenging Driving Environments
|
2023 |
Wang, Sijie |
| Model-Checking for Ability-Based Logics with Constrained Plans
|
2023 |
Demri, Stéphane |
| From Width-Based Model Checking to Width-Based Automated Theorem Proving
|
2023 |
Oliveira, Mateus de Oliveira |
| Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers
|
2023 |
Faber, Wolfgang |
| A Structural Complexity Analysis of Synchronous Dynamical Systems
|
2023 |
Eiben, Eduard |
| Splitting Answer Set Programs with Respect to Intensionality Statements
|
2023 |
Fandinno, Jorge |
| General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase
|
2023 |
Gerlach, Lukas |
| Finite Based Contraction and Expansion via Models
|
2023 |
Guimarães, Ricardo |
| Conditional Syntax Splitting for Non-monotonic Inference Operators
|
2023 |
Heyninck, Jesse |
| Common Knowledge of Abstract Groups
|
2023 |
Humml, Merlin |
| Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking
|
2023 |
Luo, Kailun |
| Neurosymbolic Reasoning and Learning with Restricted Boltzmann Machines
|
2023 |
Tran, Son N. |
| Quality-Aware Self-Training on Differentiable Synthesis of Rare Relational Data
|
2023 |
Zhang, Chongsheng |
| Beam Search Optimized Batch Bayesian Active Learning
|
2023 |
Sun, Jingyu |
| SwiftAvatar: Efficient Auto-Creation of Parameterized Stylized Character on Arbitrary Avatar Engines
|
2023 |
Wang, Shizun |
| Maximum Entropy Population-Based Training for Zero-Shot Human-AI Coordination
|
2023 |
Zhao, Rui |
| Meta-Auxiliary Learning for Adaptive Human Pose Prediction
|
2023 |
Cui, Qiongjie |
| A Set of Control Points Conditioned Pedestrian Trajectory Prediction
|
2023 |
Bae, Inhwan |
Tag hinzufügen