| 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 |
| Evaluating and Improving Interactions with Hazy Oracles
|
2023 |
Lemmer, Stephan J. |
| Human-in-the-Loop Vehicle ReID
|
2023 |
Li, Zepeng |
| Frustratingly Easy Truth Discovery
|
2023 |
Meir, Reshef |
| Multi-Scale Control Signal-Aware Transformer for Motion Synthesis without Phase
|
2023 |
Wang, Lintao |
| Moving-Landmark Assisted Distributed Learning Based Decentralized Cooperative Localization (DL-DCL) with Fault Tolerance
|
2023 |
Gupta, Shubhankar |
Tag hinzufügen