Untangled: A Complete Dynamic Topological Logic

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:AAAI Conference on Artificial Intelligence (37. : 2023 : Washington, DC; Online) 37th AAAI Conference on Artificial Intelligence (AAAI-23) ; Volume 5, part 2 of 2
1. Verfasser: Fernández-Duque, David (VerfasserIn)
Weitere Verfasser: Montacute, Yoàv (VerfasserIn)
Pages:37
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2023
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
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
Periodic Multi-Agent Path Planning 2023 Kasaura, Kazumi
Abstract Argumentation Framework with Conditional Preferences 2023 Alfano, Gianvincenzo
The Effect of Preferences in Abstract Argumentation under a Claim-Centric View 2023 Bernreiter, Michael
Learning Logic Programs by Discovering Where Not to Search 2023 Cropper, Andrew
Monitoring Arithmetic Temporal Properties on Finite Traces 2023 Felli, Paolo
Relational Program Synthesis with Numerical Reasoning 2023 Hocquette, Céline
Learning Deep Hierarchical Features with Spatial Regularization for One-Class Facial Expression Recognition 2023 Luo, Bingjun
Human Joint Kinematics Diffusion-Refinement for Stochastic Motion Prediction 2023 Wei, Dong
Collective Intelligence in Human-AI Teams: A Bayesian Theory of Mind Approach 2023 Westby, Samuel
Learning to Select Pivotal Samples for Meta Re-weighting 2023 Wu, Yinjun
Co-imitation: Learning Design and Behaviour by Imitation 2023 Rajani, Chang
Complexity of Safety and coSafety Fragments of Linear Temporal Logic 2023 Artale, Alessandro
Automatically Verifying Expressive Epistemic Properties of Programs 2023 Belardinelli, Francesco
The Parameterized Complexity of Network Microaggregation 2023 Blažej, Václav
Reachability Games Modulo Theories with a Bounded Safety Player 2023 Faella, Marco
Alle Artikel auflisten