Search

Search Results

• Task Planning for Object Rearrangement in Multi-Room Environments

  Karan Mirakhor, Sourav Ghosh, Dipanjan Das, Brojeshwar Bhowmick

  10350-10357

  2024-03-24

• Redefining ABA+ Semantics via Abstract Set-to-Set Attacks

  Yannis Dimopoulos , Wolfgang Dvorak, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran

  10493-10500

  2024-03-24

• Learning the Topology and Behavior of Discrete Dynamical Systems

  Zirou Qiu, Abhijin Adiga, Madhav V. Marathe, S. S. Ravi, Daniel J. Rosenkrantz, Richard E. Stearns, Anil Vullikanti

  14722-14730

  2024-03-24

• A Bregman Proximal Stochastic Gradient Method with Extrapolation for Nonconvex Nonsmooth Problems

  Qingsong Wang, Zehui Liu, Chunfeng Cui, Deren Han

  15580-15588

  2024-03-24

• Learning Cluster-Wise Anchors for Multi-View Clustering

  Chao Zhang, Xiuyi Jia, Zechao Li, Chunlin Chen, Huaxiong Li

  16696-16704

  2024-03-24

• The Irrelevance of Influencers: Information Diffusion with Re-Activation and Immunity Lasts Exponentially Long on Social Network Models

  Tobias Friedrich, Andreas Göbel, Nicolas Klodt, Martin S. Krejca, Marcus Pappik

  17389-17397

  2024-03-24

• TAPE: Leveraging Agent Topology for Cooperative Multi-Agent Policy Gradient

  Xingzhou Lou, Junge Zhang, Timothy J. Norman, Kaiqi Huang, Yali Du

  17496-17504

  2024-03-24

• Unsupervised Extractive Summarization with Learnable Length Control Strategies

  Renlong Jie, Xiaojun Meng, Xin Jiang, Qun Liu

  18372-18380

  2024-03-24

• Uni-MIS: United Multiple Intent Spoken Language Understanding via Multi-View Intent-Slot Interaction

  Shangjian Yin, Peijie Huang, Yuhong Xu

  19395-19403

  2024-03-24

• TaskLAMA: Probing the Complex Task Understanding of Language Models

  Quan Yuan, Mehran Kazemi, Xin Xu, Isaac Noble, Vaiva Imbrasaite, Deepak Ramachandran

  19468-19476

  2024-03-24

• Optimizing the Optimization of Planning Domains by Automatic Action Schema Splitting

  Mojtaba Elahi, Jussi Rintanen

  20096-20103

  2024-03-24

• An Effective Polynomial Technique for Compiling Conditional Effects Away

  Alfonso Emilio Gerevini, Francesco Percassi, Enrico Scala

  20104-20112

  2024-03-24

• A Fixed-Parameter Tractable Algorithm for Counting Markov Equivalence Classes with the Same Skeleton

  Vidya Sagar Sharma

  20532-20539

  2024-03-24

• Theoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover

  Takashi Horiyama, Yasuaki Kobayashi, Hirotaka Ono, Kazuhisa Seto, Ryu Suzuki

  20726-20734

  2024-03-24

• Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths

  Konstantin Sidorov, Gonçalo Homem de Almeida Correia, Mathijs de Weerdt, Emir Demirović

  20794-20802

  2024-03-24

• Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges

  Mohammad Abdulaziz

  22660-22660

  2024-03-24

• Deep Reinforcement Learning for Communication Networks

  Raffaele Galliera

  23387-23388

  2024-03-24

• A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)

  Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh

  23480-23481

  2024-03-24

• Interactive Visual Task Learning for Robots

  Weiwei Gu, Anant Sah, Nakul Gopalan

  23793-23795

  2024-03-24

• Knowledge-Powered Recommendation for an Improved Diet Water Footprint

  Saurav Joshi, Filip Ilievski, Jay Pujara

  23805-23807

  2024-03-24

• Monitoring of Perception Systems: Deterministic, Probabilistic, and Learning-Based Fault Detection and Identification (Abstract Reprint)

  Pasquale Antonante, Heath Nilsen, Luca Carlone

  22692-22692

  2024-03-24

• HeMeNet: Heterogeneous Multichannel Equivariant Network for Protein Multi-task Learning

  Rong Han, Wenbing Huang, Lingxiao Luo, Xinyan Han, Jiaming Shen, Zhiqiang Zhang, Jun Zhou, Ting Chen

  237-245

  2025-04-11

• HHAN: Comprehensive Infectious Disease Source Tracing via Heterogeneous Hypergraph Neural Network

  Qiang He, Yunting Bao, Hui Fang, Yuting Lin, Hao Sun

  291-299

  2025-04-11

• Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization

  Pedro Orvalho, Mikoláš Janota, Vasco M. Manquinho

  649-657

  2025-04-11

• Hybrid-Driving: An Autonomous Driving Decision Framework Integrating Large Language Models, Knowledge Graphs and Driving Rules

  Jiabao Wang, Zepeng Wu, Qian Dong, Lingzhong Meng, Yunzhi Xue, Yukuan Yang

  826-833

  2025-04-11