Elamur Research⌕
☰
home / venues / International Joint Conference on… / 2023 / papers / page 7

International Joint Conference on Artificial Intelligence 2023: all accepted papers

846 papers · page 7 of 9 · the most cited first · ← International Joint Conference on Artificial Intelligence 2023

1 … 6 7 8 9

  1. Ranking-based Argumentation Semantics Applied to Logical Argumentation ↗Jesse Heyninck, Badran Raddaoui, Christian Straßer2 citations
  2. Recursive Small-Step Multi-Agent A* for Dec-POMDPs ↗W.J. Koops, Nils Jansen, Sebastian Junges et al.2 citations
  3. Robust Steganography without Embedding Based on Secure Container Synthesis and Iterative Message Recovery ↗Ziping Ma, Yuesheng Zhu, Guibo Luo et al.2 citations
  4. SUSTAINABLESIGNALS: An AI Approach for Inferring Consumer Product Sustainability ↗Tong Lin, Tianliang Xu, Amit Zac et al.2 citations
  5. SeRO: Self-Supervised Reinforcement Learning for Recovery from Out-of-Distribution Situations ↗Chan Kim, Jaekyung Cho, Christophe Bobda et al.2 citations
  6. Self-Recover: Forecasting Block Maxima in Time Series from Predictors with Disparate Temporal Coverage Using Self-Supervised Learning ↗Asadullah Hill Galib, Andrew McDonald, Pang‐Ning Tan et al.2 citations
  7. SemFORMS: Automatic Generation of Semantic Transforms By Mining Data Science Code ↗Ibrahim Abdelaziz, Julian Dolby, Udayan Khurana et al.2 citations
  8. Spatially Constrained Adversarial Attack Detection and Localization in the Representation Space of Optical Flow Networks ↗Hannah Halin Kim, Celia Cintas, Girmaw Abebe Tadesse et al.2 citations
  9. The Hardness of Reasoning about Probabilities and Causality ↗Benito van der Zander, Markus Bläser, Maciej Liśkiewicz2 citations
  10. The Parameterized Complexity of Finding Concise Local Explanations ↗Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider2 citations
  11. Towards Accurate Video Text Spotting with Text-wise Semantic Reasoning ↗Xinyan Zu, Haiyang Yu, Bin Li et al.2 citations
  12. Towards Incremental NER Data Augmentation via Syntactic-aware Insertion Transformer ↗Wenjun Ke, Zongkai Tian, Qi Liu et al.2 citations
  13. Towards Lossless Head Pruning through Automatic Peer Distillation for Language Models ↗Bingbing Li, Zigeng Wang, Shaoyi Huang et al.2 citations
  14. Towards Sharp Analysis for Distributed Learning with Random Features ↗Jian Li, Yong Liu2 citations
  15. Transferable Curricula through Difficulty Conditioned Generators ↗Sidney Tio, Pradeep Reddy Varakantham2 citations
  16. Understanding the Generalization Ability of Deep Learning Algorithms: A Kernelized Rényi's Entropy Perspective ↗Yuxin Dong, Tieliang Gong, Hong Chen et al.2 citations
  17. Unreliable Partial Label Learning with Recursive Separation ↗Yu Shi, Ning Xu, Hua Yuan et al.2 citations
  18. Violin: Virtual Overbridge Linking for Enhancing Semi-supervised Learning on Graphs with Limited Labels ↗Siyue Xie, Da Sun Handason Tam, Wing Cheong Lau2 citations
  19. Vision Language Navigation with Knowledge-driven Environmental Dreamer ↗Fengda Zhu, Vincent C. S. Lee, Xiaojun Chang et al.2 citations
  20. A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers ↗Shuolin Li, Chu-Min Li, Mao Kang Luo et al.1 citation
  21. A Novel Demand Response Model and Method for Peak Reduction in Smart Grids — PowerTAC ↗Sanjay Chandlekar, Shweta Jain, Sujit Gujar1 citation
  22. A Quantitative Game-theoretical Study on Externalities of Long-lasting Humanitarian Relief Operations in Conflict Areas ↗Kaiming Xiao, Haiwen Chen, Hongbin Huang et al.1 citation
  23. A Regular Matching Constraint for String Variables ↗Roberto Amadini, Peter J. Stuckey1 citation
  24. A Survey of Methods for Automated Algorithm Configuration (Extended Abstract) ↗Elias Schede, Jasmin Brandt, Alexander Tornede et al.1 citation
  25. A Symbolic Approach to Computing Disjunctive Association Rules from Data ↗Saïd Jabbour, Badran Raddaoui, Lakhdar Saïs1 citation
  26. AI and Decision Support for Sustainable Socio-Ecosystems ↗Dimitri Justeau‐Allaire1 citation
  27. Acoustic NLOS Imaging with Cross Modal Knowledge Distillation ↗Ui-Hyeon Shin, Seungwoo Jang, Kwangsu Kim1 citation
  28. Action Space Reduction for Planning Domains ↗Harsha Kokel, Junkyu Lee, Michael Katz et al.1 citation
  29. Actor-Multi-Scale Context Bidirectional Higher Order Interactive Relation Network for Spatial-Temporal Action Localization ↗Jun Yu, Yingshuai Zheng, Shulan Ruan et al.1 citation
  30. Addressing Weak Decision Boundaries in Image Classification by Leveraging Web Search and Generative Models ↗Preetam Prabhu Srikar Dammu, Yunhe Feng, Chirag Suresh Shah1 citation
  31. Adversarial Amendment is the Only Force Capable of Transforming an Enemy into a Friend ↗Chong Yu, Tao Chen, Zhongxue Gan1 citation
  32. Adversarial Framework with Certified Robustness for Time-Series Domain via Statistical Features (Extended Abstract) ↗Taha Belkhouja, Janardhan Rao Doppa1 citation
  33. Approximating Fair Division on D-Claw-Free Graphs ↗Zbigniew Lonc1 citation
  34. Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning ↗Zhenhe Cui, Weidu Kuang, Yongmei Liu1 citation
  35. BRExIt: On Opponent Modelling in Expert Iteration ↗Daniel Hernandez, Hendrik Baier, Michael Kaisers1 citation
  36. Beyond Pure Text: Summarizing Financial Reports Based on Both Textual and Tabular Data ↗Ziao Wang, Zelin Jiang, Xiaofeng Zhang et al.1 citation
  37. Boosting Decision-Based Black-Box Adversarial Attack with Gradient Priors ↗Han Liu, Xingshuo Huang, Xiaotong Zhang et al.1 citation
  38. Can I Really Do That? Verification of Meta-Operators via Stackelberg Planning ↗Florian Pham, Álvaro Torralba1 citation
  39. Can You Improve My Code? Optimizing Programs with Local Search ↗Fatemeh Abdollahi, Saqib Ameen, Matthew Edmund Taylor et al.1 citation
  40. Computing Twin-width with SAT and Branch & Bound ↗André Schidler, Stefan Szeider1 citation
  41. Constraint Solving Approaches to the Business-to-Business Meeting Scheduling Problem (Extended Abstract) ↗Miquel Bofill, Jordi Coll, Marc Garcia et al.1 citation
  42. Constraints First: A New MDD-based Model to Generate Sentences Under Constraints ↗Alexandre Bonlarron, Aurélie Calabrèse, Pierre Kornprobst et al.1 citation
  43. Counting and Sampling Models in First-Order Logic ↗Ondřej Kuželka1 citation
  44. Cross-community Adapter Learning (CAL) to Understand the Evolving Meanings of Norm Violation ↗Thiago Freitas dos Santos, Stephen Cranefield, Bastin Tony Roy Savarimuthu et al.1 citation
  45. Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract) ↗Jialu Bao, Nitesh J Trivedi, Drashti Pathak et al.1 citation
  46. DeLELSTM: Decomposition-based Linear Explainable LSTM to Capture Instantaneous and Long-term Effects in Time Series ↗Chaoqun Wang, Yijun Li, Xiangqian Sun et al.1 citation
  47. Delegated Online Search ↗Pirmin Braun, Niklas Hahn, Martin Hoefer et al.1 citation
  48. Description Logics with Pointwise Circumscription ↗Federica Di Stefano, Magdalena Ortiz, Mantas Šimkus1 citation
  49. Discrete Two Player All-Pay Auction with Complete Information ↗Marcin Dziubiński, Krzysztof Jahn1 citation
  50. Disentanglement of Latent Representations via Causal Interventions ↗Gaël Gendron, Michael Witbrock, Gillian Dobbie1 citation
  51. Distributional Multi-Objective Decision Making ↗Willem Röpke, Conor F. Hayes, Patrick Mannion et al.1 citation
  52. Dynamic Group Link Prediction in Continuous-Time Interaction Network ↗Shijie Luo, He Li, Jianbin Huang1 citation
  53. Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding (Extended Abstract) ↗Zhilu Wang, Chao Huang, Qi Xin Zhu1 citation
  54. Efficient Multi-View Inverse Rendering Using a Hybrid Differentiable Rendering Method ↗Xiangyang Zhu, Yiling Pan, Bailin Deng et al.1 citation
  55. Efficient Object Search in Game Maps ↗Jinchun Du, Bojie Shen, Shizhe Zhao et al.1 citation
  56. Enhancing Datalog Reasoning with Hypertree Decompositions ↗Xinyue Zhang, Pan Hu, Yavor Nenov et al.1 citation
  57. Ensemble Reinforcement Learning in Continuous Spaces — A Hierarchical Multi-Step Approach for Policy Training ↗Gang Chen, Victoria Huang1 citation
  58. Ethical By Designer - How to Grow Ethical Designers of Artificial Intelligence (Extended Abstract) ↗Loïs Vanhée, Melania Borit1 citation
  59. Expanding the Hyperbolic Kernels: A Curvature-aware Isometric Embedding View ↗Meimei Yang, Pengfei Fang, Hui Xue1 citation
  60. Explanation-Guided Reward Alignment ↗Saaduddin Mahmud, Sandhya Saisubramanian, Shlomo Zilberstein B1 citation
  61. Exploring Leximin Principle for Fair Core-Selecting Combinatorial Auctions: Payment Rule Design and Implementation ↗Hao Cheng, Shufeng Kong, Yanchen Deng et al.1 citation
  62. Fair Division of a Graph into Compact Bundles ↗Jayakrishnan Madathil1 citation
  63. Fast Algorithms for SAT with Bounded Occurrences of Variables ↗Junqiang Peng, Mingyu Xiao1 citation
  64. Fast and Differentially Private Fair Clustering ↗Junyoung Byun, Jaewook Lee1 citation
  65. FastGR: Global Routing on CPU-GPU with Heterogeneous Task Graph Scheduler (Extended Abstract) ↗Siting Liu, Yuan Pu, Peiyu Liao et al.1 citation
  66. Finite-Trace Analysis of Stochastic Systems with Silent Transitions (Extended Abstract) ↗Sander J. J. Leemans, Fabrizio Maria Maggi, Marco Montali1 citation
  67. First-Choice Maximality Meets Ex-ante and Ex-post Fairness ↗Xiaoxi Guo, Sujoy Sikdar, Lirong Xia et al.1 citation
  68. Formal Explanations of Neural Network Policies for Planning ↗Renee Selvey, Alban Grastien, Sylvie Thiébaux1 citation
  69. Front-to-End Bidirectional Heuristic Search with Consistent Heuristics: Enumerating and Evaluating Algorithms and Bounds ↗Lior Siag, Shahaf Shperberg, Ariel Felner et al.1 citation
  70. Function Approximation for Reinforcement Learning Controller for Energy from Spread Waves ↗Soumyendu Sarkar, Vineet Gundecha, Sahand Ghorbanpour et al.1 citation
  71. Generative Flow Networks for Precise Reward-Oriented Active Learning on Graphs ↗Yinchuan Li, Zhigang Li, Wenqian Li et al.1 citation
  72. Graph-based Polyphonic Multitrack Music Generation ↗Emanuele Cosenza, Andrea Valenti, Davide Bacciu1 citation
  73. Harnessing Neighborhood Modeling and Asymmetry Preservation for Digraph Representation Learning ↗Honglu Zhou, Advith Chegu, Samuel S. Sohn et al.1 citation
  74. Hawkes Process Based on Controlled Differential Equations ↗Minju Jo, Seungji Kook, Noseong Park1 citation
  75. Helpful Information Sharing for Partially Informed Planning Agents ↗Sarah Keren, David Wies, Sara Bernardini1 citation
  76. Hierarchical Apprenticeship Learning for Disease Progression Modeling ↗Xi Yang, Ge Gao, Min Chi1 citation
  77. IMPsys: An Intelligent Mold Processing System for Smart Factory ↗Xueyi Zhou, Y. Na, Minju Bang et al.1 citation
  78. Image Composition with Depth Registration ↗Zan Li, Wencheng Wang, Fei Hou1 citation
  79. Incentivizing Recourse through Auditing in Strategic Classification ↗Andrew Estornell, Yatong Chen, Sanmay Das et al.1 citation
  80. Inferring Private Valuations from Behavioral Data in Bilateral Sequential Bargaining ↗Lvye Cui, Haoran Yu1 citation
  81. Interpretable Local Concept-based Explanation with Human Feedback to Predict All-cause Mortality (Extended Abstract) ↗Radwa El Shawi, Mouaz Husayn Al-Mallah1 citation
  82. Label Enhancement via Joint Implicit Representation Clustering ↗Yunan Lu, Weiwei Li, Xiuyi Jia1 citation
  83. Learning Causal Effects on Hypergraphs (Extended Abstract) ↗Jing Ma, Mengting Wan, Longqi Yang et al.1 citation
  84. Learning Dissemination Strategies for External Sources in Opinion Dynamic Models with Cognitive Biases ↗Abdullah Al Maruf, Luyao Niu, Bhaskar Ramasubramanian et al.1 citation
  85. Learning Heuristically-Selected and Neurally-Guided Feature for Age Group Recognition Using Unconstrained Smartphone Interaction ↗Yingmao Miao, Qiwei Tian, Chenhao Lin et al.1 citation
  86. Learning Monocular Depth in Dynamic Environment via Context-aware Temporal Attention ↗Zizhang Wu, Zhuozheng Li, Zhigang Fan et al.1 citation
  87. Learning to Act for Perceiving in Partially Unknown Environments ↗Leonardo Lamanna, Mohamadreza Faridghasemnia, Alfonso Gerevini et al.1 citation
  88. Long-term Monitoring of Bird Flocks in the Wild ↗Kshitiz, Sonu Shreshtha, Ramy Mounir et al.1 citation
  89. MMPN: Multi-supervised Mask Protection Network for Pansharpening ↗Changjie Chen, Yong Yang, Shuying Huang et al.1 citation
  90. Matchings under One-Sided Preferences with Soft Quotas ↗K. A. Santhini, Raghu Raman Ravi, Meghana Nasre1 citation
  91. Matting Moments: A Unified Data-Driven Matting Engine for Mobile AIGC in Photo Gallery ↗Yanhao Zhang, Fanyi Wang, Weixuan Sun et al.1 citation
  92. Max Markov Chain ↗Yu Zhang, Mitchell Bucklew1 citation
  93. Mean Payoff Optimization for Systems of Periodic Service and Maintenance ↗David Klas̆ka, Antonı́n Kučera, Vít Musil et al.1 citation
  94. Measuring a Priori Voting Power in Liquid Democracy ↗Rachael Colley, Théo Delemazure, Hugo Gilbert1 citation
  95. Meta-Tsallis-Entropy Minimization: A New Self-Training Approach for Domain Adaptation on Text Classification ↗Menglong Lu, Zhen Huang, Zhiliang Tian et al.1 citation
  96. Model Predictive Control with Reach-avoid Analysis ↗Dejin Ren, Wanli Lu, Jidong Lv et al.1 citation
  97. Multi-Agent Intention Recognition and Progression ↗Michael Dann, Yuan Yao, Natasha Alechina et al.1 citation
  98. Multi-Task Learning via Time-Aware Neural ODE ↗Feiyang Ye, Xuehao Wang, Yu Zhang et al.1 citation
  99. Object Detection in Real Open Environment ↗Xiaowei Zhao1 citation
  100. On Conditional and Compositional Language Model Differentiable Prompting ↗Jonathan Pilault, Can Liu, Mohit Bansal et al.1 citation

1 … 6 7 8 9

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/2023/papers/page/7/