Most Cited AAAI "unnormalized target distributions" Papers
5,317 papers found • Page 19 of 27
Conference
THGNets: Constrained Temporal Hypergraphs and Graph Neural Networks in Hyperbolic Space for Information Diffusion Prediction
Yanchao Liu, Pengzhou Zhang, Wenchao Song et al.
Attack-in-the-Chain: Bootstrapping Large Language Models for Attacks Against Black-Box Neural Ranking Models
Yu-An Liu, Ruqing Zhang, Jiafeng Guo et al.
Direct Routing Gradient (DRGrad): A Personalized Information Surgery for Multi-Task Learning (MTL) Recommendations
Yuguang Liu, Yiyun Miao, Luyao Xia
RDPI: A Refine Diffusion Probability Generation Method for Spatiotemporal Data Imputation
Zijin Liu, Xiang Zhao, You Song
SIGMA: Selective Gated Mamba for Sequential Recommendation
Ziwei Liu, Qidong Liu, Yejing Wang et al.
EPERM: An Evidence Path Enhanced Reasoning Model for Knowledge Graph Question and Answering
Xiao Long, Liansheng Zhuang, Aodi Li et al.
Densest k-Subgraph Mining via a Provably Tight Relaxation
Qiheng Lu, Nicholas D Sidiropoulos, Aritra Konar
Enhancing Sequential Recommendation with Global Diffusion
Mingxuan Luo, Yang Li, Chen Lin
FairGP: A Scalable and Fair Graph Transformer Using Graph Partitioning
Renqiang Luo, Huafei Huang, Ivan Lee et al.
Dynamic Multi-Interest Graph Neural Network for Session-Based Recommendation
Mingyang Lv, Xiangfeng Liu, Yuanbo Xu
Sub-Interest-Aware Representation Uniformity for Recommender System
Ruijia Ma, Yahong Lian, Chunyao Song
On Designing the Optimal Integrated Ad Auction in E-commerce Platforms
Yuchao Ma, Weian Li, Yuhan Wang et al.
GenAuction: A Generative Auction for Online Advertising
Yuchao Ma, Ruohan Qian, Bingzhe Wang et al.
DutyTTE: Deciphering Uncertainty in Origin-Destination Travel Time Estimation
Xiaowei Mao, Yan Lin, Shengnan Guo et al.
DOGE: LLMs-Enhanced Hyper-Knowledge Graph Recommender for Multimodal Recommendation
Fanshen Meng, Zhenhua Meng, Ru Jin et al.
Trust-GRS: A Trustworthy Training Framework for Graph Neural Network Based Recommender Systems Against Shilling Attacks
Lingyu Mu, Zhengxiao Liu, Zhitong Zhu et al.
Tab-Shapley: Identifying Top-k Tabular Data Quality Insights
Manisha Padala, Lokesh Nagalapatti, Atharv Tyagi et al.
Seeing Beyond Noise: Joint Graph Structure Evaluation and Denoising for Multimodal Recommendation
Yuxin Qi, Quan Zhang, Xi Lin et al.
Online Fraud Detection via Test-Time Retrieval-Based Representation Enrichment
Yiran Qiao, Ningtao Wang, Yuncong Gao et al.
GeoMamba: Towards Multi-granular POI Recommendation with Geographical State Space Model
Yifang Qin, Jiaxuan Xie, Zhiping Xiao et al.
Domain-Level Disentanglement Framework Based on Information Enhancement for Cross-Domain Cold-Start Recommendation
Nian Rong, Fei Xiong, Shirui Pan et al.
Hyperparametric Robust and Dynamic Influence Maximization
Arkaprava Saha, Bogdan Cautis, Xiaokui Xiao et al.
Towards Loss-Resilient Image Coding for Unstable Satellite Networks
Hongwei Sha, Muchen Dong, Quanyou Luo et al.
Adversarial Contrastive Graph Masked AutoEncoder Against Graph Structure and Feature Dual Attacks
Weixuan Shen, Xiaobo Shen, Shirui Pan
AlphaForge: A Framework to Mine and Dynamically Combine Formulaic Alpha Factors
Hao Shi, Weili Song, Xinting Zhang et al.
Ready for You When You Are Back: Content-Driven Session-Based Recommendation for Continuity of Experience
Brijraj Singh, Sonal, Niranjan Pedanekar
Multi-Modal Recommendation Unlearning for Legal, Licensing, and Modality Constraints
Yash Sinha, Murari Mandal, Mohan Kankanhalli
Integrating Personalized Spatio-Temporal Clustering for Next POI Recommendation
Chao Song, Zheng Ren, Li Lu
Enhancing Diffusion Model with Auxiliary Information Mining-Exploration and Efficient Sampling Mechanism for Sequential Recommendation
Te Song, Lianyong Qi, Weiming Liu et al.
Genomics Data Lossless Compression with (S, K)-Mer Encoding and Deep Neural Networks
Hui Sun, Liping Yi, Huidong Ma et al.
Hubness Change Point Detection
Ikumi Suzuki, Kazuo Hara, Eiji Murakami
Language Pre-training Guided Masking Representation Learning for Time Series Classification
Liaoyuan Tang, Zheng Wang, Jie Wang et al.
Unlocking the Power of Patch: Patch-Based MLP for Long-Term Time Series Forecasting
Peiwang Tang, Weitai Zhang
CoDeR: Counterfactual Demand Reasoning for Sequential Recommendation
Shuai Tang, Sitao Lin, Jianghong Ma et al.
Adapting to Non-Stationary Environments: Multi-Armed Bandit Enhanced Retrieval-Augmented Generation on Knowledge Graphs
Xiaqiang Tang, Jian Li, Nan Du et al.
ScoreNet: Consistency-driven Framework with Multi-side Information Fusion for Session-based Recommendation
Piao Tong, Qiao Liu, Zhipeng Zhang et al.
DR-VAE: Debiased and Representation-enhanced Variational Autoencoder for Collaborative Recommendation
Fan Wang, Chaochao Chen, Weiming Liu et al.
MDFG: Multi-Dimensional Fine-Grained Modeling for Fatigue Detection
Mei Wang, Xiaojie Zhu, Ruimin Hu et al.
Towards S²-Challenges Underlying LLM-Based Augmentation for Personalized News Recommendation
Shicheng Wang, Hengzhu Tang, Li Gao et al.
Federated Recommendation with Explicitly Encoding Item Bias
Zhihao Wang, He Bai, Wenke Huang et al.
Counterfactual Task-augmented Meta-learning for Cold-start Sequential Recommendation
Zhiqiang Wang, Jiayi Pan, Xingwang Zhao et al.
C2F-TP: A Coarse-to-Fine Denoising Framework for Uncertainty-Aware Trajectory Prediction
Zichen Wang, Hao Miao, Senzhang Wang et al.
Cross-Domain Trajectory Association Based on Hierarchical Spatiotemporal Enhanced Attention Hypergraph
Chenlong Wu, Ze Wang, Keqing Cen et al.
Improving Complex Reasoning over Knowledge Graph with Logic-Aware Curriculum Tuning
Tianle Xia, Liang Ding, Guojia Wan et al.
Robust Graph Based Social Recommendation Through Contrastive Multi-View Learning
Fei Xiong, Tao Zhang, Shirui Pan et al.
KGCRR: An Effective Metric-Driven Knowledge Graph Completion Framework by Designing a Novel Upper Bound Function with Adaptive Approximation to Reciprocal Rank
Kuan Xu, Kuo Yang, Jian Liu et al.
Semantic Enhanced Heterogeneous Hypergraph Network for Collaborative Filtering
Mingtao Xu, Wei Wei, Peixuan Yang et al.
NLGT: Neighborhood-based and Label-enhanced Graph Transformer Framework for Node Classification
Xiaolong Xu, Yibo Zhou, Haolong Xiang et al.
Reverse Region-to-Entity Annotation for Pixel-Level Visual Entity Linking
Zhengfei Xu, Sijia Zhao, Yanchao Hao et al.
Federated Graph Condensation with Information Bottleneck Principles
Bo Yan, Sihao He, Cheng Yang et al.
Co-Progression Knowledge Distillation with Knowledge Prototype for Industrial Anomaly Detection
Bokang Yang, Zhe Zhang, Jie Ma
Harnessing Language Model for Cross-Heterogeneity Graph Knowledge Transfer
Jinyu Yang, Ruijia Wang, Cheng Yang et al.
Curriculum Conditioned Diffusion for Multimodal Recommendation
Yimeng Yang, Haokai Ma, Lei Meng et al.
Disentangled Modeling of Preferences and Social Influence for Group Recommendation
Guangze Ye, Wen Wu, Guoqing Wang et al.
Harnessing Multimodal Large Language Models for Multimodal Sequential Recommendation
Yuyang Ye, Zhi Zheng, Yishan Shen et al.
Leveraging Large Language Models for Node Generation in Few-Shot Learning on Text-Attributed Graphs
Jianxiang Yu, Yuxiang Ren, Chenghua Gong et al.
Mind Individual Information! Principal Graph Learning for Multimedia Recommendation
Penghang Yu, Zhiyi Tan, Guanming Lu et al.
Dynamic Neighborhood Modeling via Node-Subgraph Contrastive Learning for Graph-Based Fraud Detection
Zhizhi Yu, Chundong Liang, Xinglong Chang et al.
Fuzzy Collaborative Reasoning
Huanhuan Yuan, Pengpeng Zhao, Jiaqing Fan et al.
Fast Track to Winning Tickets: Repowering One-Shot Pruning for Graph Neural Networks
Yanwei Yue, Guibin Zhang, Haoran Yang et al.
Core Knowledge Learning Framework for Graph
Bowen Zhang, Zhichao Huang, Guangning Xu et al.
AdaDPCC: Adaptive Rate Control and Rate-Distortion-Complexity Optimization for Dynamic Point Cloud Compression
Chenhao Zhang, Wei Gao
DREAM: Decoupled Discriminative Learning with Bigraph-aware Alignment for Semi-supervised 2D-3D Cross-modal Retrieval
Fan Zhang, Changhu Wang, Zebang Cheng et al.
Learned Image Transmission with Hierarchical Variational Autoencoder
Guangyi Zhang, Hanlei Li, Yunlong Cai et al.
Scalable Trajectory-User Linking with Dual-Stream Representation Networks
Hao Zhang, Wei Chen, Xingyu Zhao et al.
Expand Horizon: Graph Out-of-Distribution Generalization via Multi-Level Environment Inference
Jiaqiang Zhang, Songcan Chen
Lightweight Yet Fine-Grained: A Graph Capsule Convolutional Network with Subspace Alignment for Shared-Account Sequential Recommendation
Jinyu Zhang, Zhongying Zhao, Chao Li et al.
Trigger3:Refining Query Correction via Adaptive Model Selector
Kepu Zhang, Zhongxiang Sun, Xiao Zhang et al.
Integrating Large Language Models and Möbius Group Transformations for Temporal Knowledge Graph Embedding on the Riemann Sphere
Sensen Zhang, Xun Liang, Simin Niu et al.
A Lightweight Sparse Interaction Network for Time Series Forecasting
Xu Zhang, Qitong Wang, Peng Wang et al.
Tokenization, Fusion, and Augmentation: Towards Fine-grained Multi-modal Entity Representation
Yichi Zhang, Zhuo Chen, Lingbing Guo et al.
Rethinking Byzantine Robustness in Federated Recommendation from Sparse Aggregation Perspective
Zhongjian Zhang, Mengmei Zhang, Xiao Wang et al.
LLM-Powered User Simulator for Recommender System
Zijian Zhang, Shuchang Liu, Ziru Liu et al.
Highly Imperceptible Black-Box Graph Injection Attacks with Reinforcement Learning
Maochang Zhao, Jing Zhang
Spatial-Temporal Knowledge Distillation for Takeaway Recommendation
Shuyuan Zhao, Wei Chen, Boyan Shi et al.
Neighborhood-Aware Negative Sampling for Student Knowledge and Behavior Modeling
Siqian Zhao, Sherry Sahebi
TRACI: A Data-centric Approach for Multi-Domain Generalization on Graphs
Yusheng Zhao, Changhu Wang, Xiao Luo et al.
Dynamic Spectral Graph Anomaly Detection
Jianbo Zheng, Chao Yang, Tairui Zhang et al.
The Adaptive Q-Network for Recommendation Tasks with Dynamic Item Space
Jianxiang Zhu, Dandan Lai, Zhongcui Ma et al.
Representation Learning Based Predicate Invention on Knowledge Graphs
Man Zhu, Pengfei Huang, Lei Gu et al.
Ghidorah: Towards Robust Multi-Scale Information Diffusion Prediction via Test-Time Training
Wenting Zhu, Chaozhuo Li, Litian Zhang et al.
Refine then Classify: Robust Graph Neural Networks with Reliable Neighborhood Contrastive Refinement
Shuman Zhuang, Zhihao Wu, Zhaoliang Chen et al.
LOHA: Direct Graph Spectral Contrastive Learning Between Low-Pass and High-Pass Views
Ziyun Zou, Yinghui Jiang, Lian Shen et al.
Commitment to Sparse Strategies in Two-Player Games
Salam Afiouni, Jakub Černý, Chun Kai Ling et al.
Epistemic EFX Allocations Exist for Monotone Valuations
Hannaneh Akrami, Nidhi Rathi
Merging Mechanisms for Ads and Organic Items in E-commerce Platforms
Nan An, Weian Li, Qi Qi et al.
Fair Division via the Cake-Cutting Share
Yannan Bai, Kamesh Munagala, Yiheng Shen et al.
Fair Division with Market Values
Siddharth Barman, Soroush Ebadian, Mohamad Latifian et al.
Multi-Robot Task Allocation Using Global Games with Negative Feedback: The Colony Maintenance Problem
Logan E. Beaver
The Distortion of Public-Spirited Participatory Budgeting
Mark Bedaywi, Bailey Flanigan, Mohamad Latifian et al.
Optimal Auction Design for Mixed Bidders
Xiaohui Bei, Pinyan Lu, Zhiqi Wang et al.
Nearly Tight Bounds on Approximate Equilibria in Spatial Competition on the Line
Umang Bhaskar, Soumyajit Pyne
Beyond Monotonicity: On the Convergence of Learning Algorithms in Standard Auction Games
Martin Bichler, Stephan B. Lunowa, Matthias Oberlechner et al.
Improving Cooperation in Language Games with Bayesian Inference and the Cognitive Hierarchy
Joseph Bills, Christopher Archibald, Diego Blaylock
Weak Strategyproofness in Randomized Social Choice
Felix Brandt, Patrick Lederer
Welfare-Optimal Serial Dictatorships Have Polynomial Query Complexity
Ioannis Caragiannis, Kurt Mehlhorn, Nidhi Rathi
Mechanism Design for Connecting Regions Under Disruptions
Hau Chan, Jianan Lin, Zining Qin et al.
Adaptive Manipulation for Coalitions in Knockout Tournaments
Juhi Chaudhary, Hendrik Molter, Meirav Zehavi
Online Learning of Coalition Structures by Selfish Agents
Saar Cohen, Noa Agmon
Temporal Fair Division
Benjamin Cookson, Soroush Ebadian, Nisarg Shah
Characterising Simulation-Based Program Equilibria
Emery Cooper, Caspar Oesterheld, Vincent Conitzer
Bounded Rationality Equilibrium Learning in Mean Field Games
Yannick Eich, Christian Fabian, Kai Cui et al.
Verifying Proportionality in Temporal Voting
Edith Elkind, Svetlana Obraztsova, Jannik Peters et al.
Robust Performance Incentivizing Algorithms for Multi-Armed Bandits with Strategic Agents
Seyed A. Esmaeili, Suho Shin, Aleksandrs Slivkins
Individually Stable Dynamics in Coalition Formation over Graphs
Angelo Fanelli, Laurent Gourvès, Ayumi Igarashi et al.
On the Distortion of Committee Election with 1-Euclidean Preferences and Few Distance Queries
Dimitris Fotakis, Laurent Gourvès, Panagiotis Patsilinakos
Forecasting Competitions with Correlated Events
Rafael Frongillo, Manuel Lladser, Anish Thilagar et al.
Federated Assemblies
Daniel Halpern, Ariel D. Procaccia, Ehud Shapiro et al.
Learning to Manipulate Under Limited Information
Wesley H. Holliday, Alexander Kristoffersen, Eric Pacuit
TRAIL: Trust-Aware Client Scheduling for Semi-Decentralized Federated Learning
Gangqiang Hu, Jianfeng Lu, Jianmin Han et al.
Learning Optimal Auctions with Correlated Value Distributions
Da Huo, Zhenzhe Zheng, Fan Wu
Metric Distortion of Line-up Elections: The Right Person for the Right Job
Christopher Jerrett, Yue Han, Elliot Anshelevich
Quickest Detection of Adversarial Attacks Against Correlated Equilibria
Kiarash Kazari, Aris Kanellopoulos, György Dán
Equilibria of the Colonel Blotto Games with Costs
Stanisław Kaźmierowski
The (Exact) Price of Cardinality for Indivisible Goods: A Parametric Perspective
Alexander Lam, Bo Li, Ankang Sun
Sample Complexity of Linear Regression Models for Opinion Formation in Networks
Haolin Liu, Rajmohan Rajaraman, Ravi Sundaram et al.
Decentralized Convergence to Equilibrium Prices in Trading Networks
Edwin Lock, Benjamin Patrick Evans, Eleonora Kreacic et al.
Hedging and Approximate Truthfulness in Traditional Forecasting Competitions
Mary Monroe, Anish Thilagar, Melody Hsu et al.
Constant-Factor Distortion Mechanisms for k-Committee Election
Haripriya Pulyassary, Chaitanya Swamy
On the Power of Randomization for Obviously Strategy-Proof Mechanisms
Shiri Ron, Daniel Schoepflin
Voter Priming Campaigns: Strategies, Equilibria, and Algorithms
Jonathan Shaki, Yonatan Aumann, Sarit Kraus
A Unified Model of Direct and Indirect Reciprocity in Multichannel Games
Juan Shi, Zhaoheng Cao, Jinzhuo Liu et al.
Uncommon Belief in Rationality
Qi Shi, Pavel Naumov
Achieving Balanced Representation in School Choice with Diversity Goals
Zhaohong Sun, Makoto Yokoo
Computing Game Symmetries and Equilibria That Respect Them
Emanuel Tewolde, Brian Hu Zhang, Caspar Oesterheld et al.
Paid with Models: Optimal Contract Design for Collaborative Machine Learning
Bingchen Wang, Zhaoxuan Wu, Fusheng Liu et al.
Deviate or Not: Learning Coalition Structures with Multiple-bit Observations in Games
Yixuan Even Xu, Zhe Feng, Fei Fang
Learning Personalized Decision Support Policies
Umang Bhatt, Valerie Chen, Katherine M. Collins et al.
Interpretable Solutions for Multi-Physics PDEs Using T-NNGP
Lulu Cao, Zexin Lin, Kay Chen Tan et al.
Cognitive Fluctuations Enhanced Attention Network for Knowledge Tracing
Mingliang Hou, Xueyi Li, Teng Guo et al.
AnchorInv: Few-Shot Class-Incremental Learning of Physiological Signals via Feature Space-Guided Inversion
Chenqi Li, Boyan Gao, Gabriel Davis Jones et al.
Label Aggregation for Composite Crowd Tasks by Worker Ability Constraint Satisfaction
Jiyi Li
HiPoser: 3D Human Pose Estimation with Hierarchical Shared Learning at Parts-Level Using Inertial Measurement Units
Guorui Liao, Chunyuan Zheng, Li Cheng et al.
Human and AI Perceptual Differences in Image Classification Errors
Minghao Liu, Jiaheng Wei, Yang Liu et al.
Optimal and Efficient Binary Questioning for Accelerated Annotation
Franco Marchesoni-Acland, Jean-Michel Morel, Josselin Kherroubi et al.
Moonshine: Distilling Game Content Generators into Steerable Generative Models
Yuhe Nie, Michael Middleton, Tim Merino et al.
Breaking Data Silos in Parkinson’s Disease Diagnosis: An Adaptive Federated Learning Approach for Privacy-Preserving Facial Expression Analysis
Meng Pang, Houwei Xu, Zheng Huang et al.
Learning Visually Grounded Domain Ontologies via Embodied Conversation and Explanation
Jonghyuk Park, Alex Lascarides, Subramanian Ramamoorthy
DeCorrNet: Enhancing Neural Decoding Performance by Eliminating Correlations in Noise
Xianhan Tan, Yu Qi, Yueming Wang
Does Your AI Agent Get You? A Personalizable Framework for Approximating Human Models from Argumentation-based Dialogue Traces
Yinxu Tang, Stylianos Loukas Vasileiou, William Yeoh
BrainGuard: Privacy-Preserving Multisubject Image Reconstructions from Brain Activities
Zhibo Tian, Ruijie Quan, Fan Ma et al.
Manhattan Self-Attention Diffusion Residual Networks with Dynamic Bias Rectification for BCI-based Few-Shot Learning
Hao Wang, Li Xu, Yuntao Yu et al.
Debiased Multimodal Understanding for Human Language Sequences
Zhi Xu, Dingkang Yang, Mingcheng Li et al.
JEN-1 Composer: A Unified Framework for High-Fidelity Multi-Track Music Generation
Yao Yao, Peike Li, Boyu Chen et al.
MindPainter: Efficient Brain-Conditioned Painting of Natural Images via Cross-Modal Self-Supervised Learning
Muzhou Yu, Shuyun Lin, Hongwei Yan et al.
CognitionCapturer: Decoding Visual Stimuli from Human EEG Signal with Multimodal Information
Kaifan Zhang, Lihuo He, Xin Jiang et al.
CollageNoter: Real-Time and Adaptive Collage Layout Design for Screenshot-Based E-Note-Taking
Qiuyun Zhang, Bin Guo, Lina Yao et al.
Learning to Collaborate with Unknown Agents in the Absence of Reward
Zuyuan Zhang, Hanhan Zhou, Mahdi Imani et al.
Hierarchical Multi-Source Uncertainty Aggregation for Interactive Video Captioning
Ervine Zheng, Qi Yu
Integrating Inference and Experimental Design for Contextual Behavioral Model Learning
Gongtao Zhou, Haoran Yu
Personalized Sleep Staging Leveraging Source-free Unsupervised Domain Adaptation
Yangxuan Zhou, Sha Zhao, Jiquan Wang et al.
Optimal Control Operator Perspective and a Neural Adaptive Spectral Method
Mingquan Feng, Zhijie Chen, Yixin Huang et al.
GNN-Transformer Task Planning Enhanced with Semantic-Driven Data Augmentation
Soojin Jeong, Seongwan Byeon, Sangwoo Kim et al.
Multi-fingered Hand Grasps with Visuo-Tactile Fusion via Multi-Agent Deep Reinforcement Learning
Peida Jia, Xuanheng Li, Tianqiang Zhu et al.
State-Based Disassembly Planning
Chao Lei, Nir Lipovetzky, Krista A. Ehinger
FloNa: Floor Plan Guided Embodied Visual Navigation
Jiaxin Li, Weiqi Huang, Zan Wang et al.
Heterogeneous Multi-Robot Graph Coverage with Proximity and Movement Constraints
Dolev Mutzari, Yonatan Aumann, Sarit Kraus
Evolutionary Reinforcement Learning with Parameterized Action Primitives for Diverse Manipulation Tasks
Xianxu Qiu, Haiming Huang, Weiwei Chen et al.
BEVSync: Asynchronous Data Alignment for Camera-based Vehicle-Infrastructure Cooperative Perception Under Uncertain Delays
Wentao Wang, Jiaqian Wang, Yuxin Deng et al.
GMAP: Generalized Manipulation of Articulated Objects in Robotic Using Pre-trained Model
Hongliang Zeng, Ping Zhang, Fang Li et al.
FlowPolicy: Enabling Fast and Robust 3D Flow-Based Policy via Consistency Flow Matching for Robot Manipulation
Qinglun Zhang, Zhen Liu, Haoqiang Fan et al.
ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning
Sebastian Adam, Thomas Eiter
Minimal Change in Modal Logic S5
Carlos Aguilera-Ventura, Jonathan Ben-Naim, Andreas Herzig
Fast Computing of Dung Semantics in Acyclic Probabilistic Argumentation Frameworks
Stefano Bistarelli, Victor David, Pierre Monnin et al.
CognTKE: A Cognitive Temporal Knowledge Extrapolation Framework
Wei Chen, Yuting Wu, Shuhan Wu et al.
Answering Conjunctive Queries with Safe Negation and Inequalities over RDFS Knowledge Bases
Gianluca Cima, Marco Console, Roberto Maria Delfino et al.
Germane Conflicts: Desirable Properties for Localising Inconsistency
Glauber de Bona, Anthony Hunter
Situation Calculus Temporally Lifted Abstractions for Generalized Planning
Giuseppe de Giacomo, Yves Lespérance, Matteo Mancanelli
A Computationally Grounded Framework for Cognitive Attitudes
Tiago de Lima, Emiliano Lorini, Elise Perrotin et al.
Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth
Mateus de Oliveira Oliveira
An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types
Hao Dong, Zheyuan Shi, Hemeng Zeng et al.
Solving Epistemic Logic Programs Using Generate-and-Test with Propagation
Jorge Fandinno, Lute Lillo
On the Logic of Theory Base Change: Reformulation of Belief Bases
Eduardo L. Fermé, Andreas Herzig, Maria Vanina Martinez
Argumentative Large Language Models for Explainable and Contestable Claim Verification
Gabriel Freedman, Adam Dejl, Deniz Gorur et al.
First-Order Automata
Luca Geatti, Alessandro Gianola, Nicola Gigante
Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
Maksim Gladyshev, Natasha Alechina, Mehdi Dastani et al.
LTLf Synthesis Under Unreliable Input
Christian Hagemeier, Giuseppe de Giacomo, Moshe Y. Vardi
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation
Jesse Heyninck
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
Till Hofmann, Jens Claßen
New Compilation Languages Based on Restricted Weak Decomposability
Petr Illner
Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming
Yusuf Izmirlioglu
APKGC: Noise-enhanced Multi-Modal Knowledge Graph Completion with Attention Penalty
Yue Jian, Xiangyu Luo, Zhifei Li et al.
A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity
Ruiqi Jin, Yongmei Liu, Liping Xiong
On Action Theories with Iterable First-Order Progression
Daxin Liu, Jens Claßen
Spectra of Cardinality Queries over Description Logic Knowledge Bases
Quentin Manière, Marcin Przybyłko
Temporal Specification Optimisation for the Event Calculus
Periklis Mantenoglou, Alexander Artikis
Consistent Query Answering over Existential Rules with Open and Closed Predicates
Lorenzo Marconi, Riccardo Rosati
Probabilistic Strategy Logic with Degrees of Observability
Chunyan Mu, Nima Motamed, Natasha Alechina et al.
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs
Ryoma Onaka, Kengo Nakamura, Masaaki Nishino et al.
A Logical Analysis of Hanabi
Elise Perrotin
Checking Consistency of CP-Theory Preferences in Polynomial Time
Erik Rauer, Samik Basu, Vasant Honavar
Shield Synthesis for LTL Modulo Theories
Andoni Rodríguez, Guy Amir, Davide Corsi et al.
A Variable Occurrence-Centric Framework for Inconsistency Handling
Yakoub Salhi
Learning Theorem Rationale for Improving the Mathematical Reasoning Capability of Large Language Models
Yu Sheng, Linjing Li, Daniel Dajun Zeng
Joint Knowledge Editing for Information Enrichment and Probability Promotion
Wenhang Shi, Yiren Chen, Shuqing Bian et al.
MTVHunter: Smart Contracts Vulnerability Detection Based on Multi-Teacher Knowledge Translation
Guokai Sun, Yuan Zhuang, Shuo Zhang et al.
Column-Oriented Datalog on the GPU
Yihao Sun, Sidharth Kumar, Thomas Gilray et al.
SR-FoT: A Syllogistic-Reasoning Framework of Thought for Large Language Models Tackling Knowledge-based Reasoning Tasks
Wentao Wan, Zhuojie Yang, Yongcan Chen et al.
Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
Ruolin Wang, Yuejiao Xu, Jianmin Ji
Goal-Driven Reasoning in DatalogMTL with Magic Sets
Shaoyu Wang, Kaiyue Zhao, Dongliang Wei et al.