International Joint Conference on Artificial Intelligence 2023: all accepted papers
- On Optimal Strategies for Wordle and General Guessing Games ↗Michael Cunanan, Michael Thielscher1 citation
- On Translations between ML Models for XAI Purposes ↗Alexis de Colnet, Pierre Marquis1 citation
- Optimized Crystallographic Graph Generation for Material Science ↗Astrid Klipfel, Yaël Frégier, Adlane Sayede et al.1 citation
- Outsourcing Adjudication to Strategic Jurors ↗Ioannis Caragiannis, Nikolaj I. Schwartzbach1 citation
- Parametrized Gradual Semantics Dealing with Varied Degrees of Compensation ↗Dragan Doder, Leila Amgoud A, Srdjan Vesic A1 citation
- Participatory Budgeting with Multiple Degrees of Projects and Ranged Approval Votes ↗Gogulapati Sreedurga1 citation
- Practical Model Reductions for Verification of Multi-Agent Systems ↗Wojciech Jamroga, Yan S. Kim1 citation
- Principal-Agent Boolean Games ↗David Hyland, Julián Gutiérrez, Michael Wooldridge1 citation
- Probabilistic Temporal Logic for Reasoning about Bounded Policies ↗Nima Motamed, Natasha Alechina, Mehdi M. Dastani et al.1 citation
- Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation ↗Johannes K. Fichte, Markus Hecher, Yasir Mahmood et al.1 citation
- REPLACE: A Logical Framework for Combining Collective Entity Resolution and Repairing ↗Meghyn Bienvenu, Gianluca Cima, Víctor Gutiérrez-Basulto1 citation
- Rewiring What-to-Watch-Next Recommendations to Reduce Radicalization Pathways (Extended Abstract) ↗Francesco Fabbri, Yanhao Wang, Francesco Bonchi et al.1 citation
- SSML-QNet: Scale-Separative Metric Learning Quadruplet Network for Multi-modal Image Patch Matching ↗Xiuwei Zhang, Yi Sun, Yamin Han et al.1 citation
- Safe Multi-agent Learning via Trapping Regions ↗Aleksander Czechowski, Frans Adriaan Oliehoek1 citation
- Sample Efficient Paradigms for Personalized Assessment of Taskable AI Systems ↗Pulkit Verma1 citation
- Sampling Ex-Post Group-Fair Rankings ↗Sruthi Gorantla, Amit Deshpande, Anand Louis1 citation
- Scalable Verification of Strategy Logic through Three-Valued Abstraction ↗Francesco Belardinelli, Angelo Ferrando, Wojciech Jamroga et al.1 citation
- Semantic-Aware Generation of Multi-View Portrait Drawings ↗Biao Ma, Fei Gao, Chang Jiang et al.1 citation
- Shaken, and Stirred: Long-Range Dependencies Enable Robust Outlier Detection with PixelCNN++ ↗Barath Mohan Umapathi, Kushal Chauhan, Pradeep Shenoy et al.1 citation
- Shhh! The Logic of Clandestine Operations ↗Pavel Naumov, Oliver Orejola1 citation
- SiWare: Contextual Understanding of Industrial Data for Situational Awareness ↗Anuradha Bhamidipaty, Elham Khabiri, Bhavna Agrawal et al.1 citation
- Simplified Risk-aware Decision Making with Belief-dependent Rewards in Partially Observable Domains (Extended Abstract) ↗Andrey Zhitnikov, Vadim Indelman1 citation
- Solving the Identifying Code Set Problem with Grouped Independent Support ↗Anna L. D. Latour, Arunabha Sen, Kuldeep S. Meel1 citation
- Sorting and Hypergraph Orientation under Uncertainty with Predictions ↗Thomas Erlebach, Murilo de Lima, Nicole Megow et al.1 citation
- Strategic Resource Selection with Homophilic Agents ↗Jonathan Gadea Harder, Simon Krogmann, Pascal Lenzner et al.1 citation
- Synthesizing Resilient Strategies for Infinite-Horizon Objectives in Multi-Agent Systems ↗David Klas̆ka, Antonı́n Kučera, Martin Kurečka et al.1 citation
- TDG4Crowd:Test Data Generation for Evaluation of Aggregation Algorithms in Crowdsourcing ↗Yili Fang, Chaojie Shen, Huamao Gu et al.1 citation
- Targeting Minimal Rare Itemsets from Transaction Databases ↗Amel Hidouri, Badran Raddaoui, Saïd Jabbour1 citation
- Teaching What You Should Teach: A Data-Based Distillation Method ↗Shitong Shao, Huanran Chen, Zhen Huang et al.1 citation
- Towards Formal Verification of Neuro-symbolic Multi-agent Systems ↗Panagiotis Kouvaros1 citation
- Unifying Core-Guided and Implicit Hitting Set Based Optimization ↗Hannes Ihalainen, Jeremias Berg, Matti Järvisalo1 citation
- User-Centric Democratization towards Social Value Aligned Medical AI Services ↗Li Zhang, Richard Jiang1 citation
- A Bitwise GAC Algorithm for Alldifferent Constraints ↗Zhe Li, Yaohua Wang, Zhanshan Li
- A Comparative Study of Ranking Formulas Based on Consistency ↗Badran Raddaoui, Christian Straßer, Saïd Jabbour
- A Computational Model of Ostrom's Institutional Analysis and Development Framework (Extended Abstract) ↗Nieves Montes, Nardine Osman, Carles Sierra
- A False Sense of Security (Extended Abstract) ↗Piero A. Bonatti
- A Fast Algorithm for Consistency Checking Partially Ordered Time ↗Leif Eriksson, Victor Lagerkvist
- A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract) ↗Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son et al.
- A Rigorous Risk-aware Linear Approach to Extended Markov Ratio Decision Processes with Embedded Learning ↗Alexander Zadorojniy, Takayuki Osogami, Orit Davidovich
- AI Techniques for Urban Traffic Control and Mobility ↗Saumya Bhatnagar
- AI-Assisted Tool for Early Diagnosis and Prevention of Colorectal Cancer in Africa ↗Bushra Ibnauf, Mohammed A. Aboul Ezz, Ayman Abdel Aziz et al.
- AI-Driven Sign Language Interpretation for Nigerian Children at Home ↗Ifeoma Nwogu, Roshan Lalintha Peiris, Karthik Dantu et al.
- Adaptive Estimation Q-learning with Uncertainty and Familiarity ↗Xiaoyu Gong, Shuai Lü, Jiayu Yu et al.
- Adversarial Contention Resolution Games ↗Giorgos Chionas, Bogdan S. Chlebus, Dariusz Rafal Kowalski et al.
- Algorithm-Hardware Co-Design for Efficient Brain-Inspired Hyperdimensional Learning on Edge (Extended Abstract) ↗Yang Ni, Yeseong Kim, Tajana Rosing et al.
- Approximate Inference in Logical Credal Networks ↗Radu Marinescu, Haifeng Qian, Alexander Gray et al.
- Argumentation for Interactive Causal Discovery ↗Fabrizio Russo
- Artificial Agents Inspired by Human Motivation Psychology for Teamwork in Hazardous Environments ↗Anupama Arukgoda, Erandi Lakshika, Michael Barlow et al.
- Automatic Recognition of the General-Purpose Communicative Functions Defined by the ISO 24617-2 Standard for Dialog Act Annotation (Extended Abstract) ↗Eugénio Ribeiro, Ricardo Ribeiro, David Martins de Matos
- Autonomous Exploration for Navigating in MDPs Using Blackbox RL Algorithms ↗Pratik Gajane, Peter L. Auer, Ronald Ortner
- Beyond Strict Competition: Approximate Convergence of Multi-agent Q-Learning Dynamics ↗Aamal Hussain, Francesco Belardinelli, Georgios Piliouras
- Bipolar Abstract Dialectical Frameworks Are Covered by Kleene’s Three-valued Logic ↗Ringo Baumann, Maximilian Heinrich
- Bounding the Family-Wise Error Rate in Local Causal Discovery Using Rademacher Averages (Extended Abstract) ↗Dario Simionato, Fabio Vandin
- CGS: Coupled Growth and Survival Model with Cohort Fairness ↗Erhu He, Yue Wan, Benjamin H. Letcher et al.
- COOL, a Context Outlooker, and Its Application to Question Answering and Other Natural Language Processing Tasks ↗Fangyi Zhu, See-Kiong Ng, Stéphane Bressan
- Certified CNF Translations for Pseudo-Boolean Solving (Extended Abstract). ↗Stephan Gocht, Ruben Martins, Jakob Nordström et al.
- Complexity of Efficient Outcomes in Binary-Action Polymatrix Games and Implications for Coordination Problems ↗Argyrios Deligkas, Eduard Eiben, Gregory Gutin et al.
- Conjure: Automatic Generation of Constraint Models from Problem Specifications (Extended Abstract) ↗Özgür Akgün, Alan M. Frisch, Ian Philip Gent et al.
- Convergence in Multi-Issue Iterative Voting under Uncertainty ↗Joshua Kavner, Reshef Meir, Francesca Rossi et al.
- Core Challenges in Embodied Vision-Language Planning (Extended Abstract) ↗Jonathan Francis, Nariaki Kitamura, Felix Labelle et al.
- Cost-effective Artificial Neural Networks ↗Zahra Atashgahi
- Coupled Point Process-based Sequence Modeling for Privacy-preserving Network Alignment ↗Dixin Luo, Haoran Cheng, Qingbin Li et al.
- Creative Problem Solving in Artificially Intelligent Agents: A Survey and Framework (Extended Abstract) ↗Evana Gizzi, Lakshmi Nair, Sonia Chernova et al.
- Data-Driven Revision of Conditional Norms in Multi-Agent Systems (Extended Abstract) ↗Davide Dell’Anna, Natasha Alechina, Fabiano Dalpiaz et al.
- Data-Informed Knowledge and Strategies (Extended Abstract) ↗Junli Jiang, Pavel Naumov
- Deliberation as Evidence Disclosure: A Tale of Two Protocol Types ↗Julian Chingoma, Adrian Haret
- Discounting in Strategy Logic ↗Munyque Mittelmann, Aniello Murano, Laurent Perrussel
- Dynamic Flows on Curved Space Generated by Labeled Data ↗Xinru Hua, Truyen V. Nguyen, Tam Le et al.
- Efficient Online Decision Tree Learning with Active Feature Acquisition ↗Arman Rahbar, Ziyu Ye, Yuxin Chen et al.
- Eliminating the Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint ↗Luhan Zhen, Zhanshan Li, Yanzhi Li et al.
- Error in the Euclidean Preference Model ↗Luke Thorburn, Maria Polukarov, Carmine Ventre
- Fairness and Stability in Complex Domains ↗Julian Chingoma
- Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks ↗Bahare Salmani, Joost-Pieter Katoen
- Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract) ↗Víctor Gutiérrez-Basulto, Albert Gutowski, Yazmín Angélica Ibáñez-García et al.
- Flaws of Termination and Optimality in ADOPT-based Algorithms ↗Koji Noshiro, Koji Hasebe
- GIDnets: Generative Neural Networks for Solving Inverse Design Problems via Latent Space Exploration ↗Carlo Adornetto, Gianluigi Greco
- Generalized Discriminative Deep Non-Negative Matrix Factorization Based on Latent Feature and Basis Learning ↗Zijian Yang, Zhiwei Li, Lu Sun
- Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters (Extended Abstract) ↗Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao et al.
- HOUDINI: Escaping from Moderately Constrained Saddles ↗Dmitrii Avdiukhin, Grigory Yaroslavtsev
- Half-Positional Objectives Recognized by Deterministic Büchi Automata (Extended Abstract) ↗Patricia Bouyer, Antonio Casares, Mickaël Randour et al.
- Human-AI Collaboration in Recruitment and Selection ↗Neil Natarajan
- Improved Algorithms for Allen's Interval Algebra by Dynamic Programming with Sublinear Partitioning ↗Leif Eriksson, Victor Lagerkvist
- Improving Heterogeneous Model Reuse by Density Estimation ↗Anke Tang, Yong Luo, Han Hu et al.
- Incorporating Unlikely Negative Cues for Distinctive Image Captioning ↗Zhengcong Fei, Junshi Huang
- Incremental Event Calculus for Run-Time Reasoning (Extended Abstract) ↗Efthimis Tsilionis, Alexander Artikis, Γεώργιος Παλιούρας
- Incremental and Decremental Optimal Margin Distribution Learning ↗Lijun Chen, Teng Zhang, Xuanhua Shi et al.
- KEST: Kernel Distance Based Efficient Self-Training for Improving Controllable Text Generation ↗Yuxi Feng, Xiaoyuan Yi, Laks V. S. Lakshmanan et al.
- Keep Skills in Mind: Understanding and Implementing Skills in Commonsense Question Answering ↗Meikai Bao, Qi Liu, Kai Zhang et al.
- Latent Processes Identification From Multi-View Time Series ↗Zenan Huang, Haobo Wang, Junbo Zhao et al.
- Learning Discrete Representations via Constrained Clustering for Effective and Efficient Dense Retrieval (Extended Abstract) ↗Jingtao Zhan, Jiaxin Mao, Yiqun Liu et al.
- Learning When to Use Automatic Tabulation in Constraint Model Reformulation ↗Carlo Cena, Özgür Akgün, Zeynep Kiziltan et al.
- Learning to Design Fair and Private Voting Rules (Extended Abstract) ↗Farhad Mohsin, Ao Liu, Pin‐Yu Chen et al.
- LingGe: An Automatic Ancient Chinese Poem-to-Song Generation System ↗Yong Shan, Jinchao Zhang, Huiying Ren et al.
- Maximin-Aware Allocations of Indivisible Chores with Symmetric and Asymmetric Agents ↗Tianze Wei, Bo Li, Minming Li
- Mean-Semivariance Policy Optimization via Risk-Averse Reinforcement Learning (Extended Abstract) ↗Xiaoteng Ma, Shuai Ma, Xia Li et al.
This page in Markdown → https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/2023/papers/page/8/