Lin, Fangzhen

36 publications

IJCAI 2025 Deduction with Induction: Combining Knowledge Discovery and Reasoning for Interpretable Deep Reinforcement Learning Haodi Zhang, Xiangyu Zeng, Junyang Chen, Yuanfeng Song, Rui Mao, Fangzhen Lin

NeurIPS 2025 Multi-Task Vehicle Routing Solver via Mixture of Specialized Experts Under State-Decomposable MDP Yuxin Pan, Zhiguang Cao, Chengyang Gu, Liu Liu, Peilin Zhao, Yize Chen, Fangzhen Lin

NeurIPS 2025 Pixel Reasoner: Incentivizing Pixel Space Reasoning via Curiosity-Driven Reinforcement Learning Alex Su, Haozhe Wang, Weiming Ren, Fangzhen Lin, Wenhu Chen

NeurIPS 2025 VL-Rethinker: Incentivizing Self-Reflection of Vision-Language Models with Reinforcement Learning Haozhe Wang, Chao Qu, Zuming Huang, Wei Chu, Fangzhen Lin, Wenhu Chen

NeurIPS 2023 Adjustable Robust Reinforcement Learning for Online 3D Bin Packing Yuxin Pan, Yize Chen, Fangzhen Lin

AAAI 2021 Parameterized Logical Theories Fangzhen Lin

AAAI 2020 Embedding High-Level Knowledge into DQNs to Learn Faster and More Safely Zihang Gao, Fangzhen Lin, Yi Zhou, Hao Zhang, Kaishun Wu, Haodi Zhang

AAAI 2020 Nice Invincible Strategy for the Average-Payoff IPD Shiheng Wang, Fangzhen Lin

AAAI 2016 Mapping Action Language BC to Logic Programs: A Characterization by Postulates Haodi Zhang, Fangzhen Lin

IJCAI 2015 Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond Haodi Zhang, Fangzhen Lin

AAAI 2014 On Computing Optimal Strategies in Open List Proportional Representation: The Two Parties Case Ning Ding, Fangzhen Lin

AAAI 2012 A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You

AAAI 2011 Causal Theories of Actions Revisited Fangzhen Lin, Mikhail Soutchanski

AAAI 2010 Ordered Completion for First-Order Logic Programs on Finite Structures Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou

IJCAI 2009 Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs Pingzhong Tang, Fangzhen Lin

AAAI 2008 Abductive Logic Programming by Nonground Rewrite Systems Fangzhen Lin, Jia-Huai You

AAAI 2008 Computer-Aided Proofs of Arrow's and Other Impossibility Theorems Fangzhen Lin, Pingzhong Tang

JAIR 2007 Discovering Classes of Strongly Equivalent Logic Programs Fangzhen Lin, Yin Chen

IJCAI 2007 From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin, Yi Zhou

IJCAI 2005 Discovering Classes of Strongly Equivalent Logic Programs Fangzhen Lin, Yin Chen

AAAI 2004 Loop Formulas for Circumscription Joohyung Lee, Fangzhen Lin

AAAI 2004 On Odd and Even Cycles in Normal Logic Programs Fangzhen Lin, Xishun Zhao

IJCAI 2003 Causal Theories of Action: A Computational Core Jérôme Lang, Fangzhen Lin, Pierre Marquis

JAIR 2003 Compiling Causal Theories to Successor State Axioms and STRIPS-like Systems Fangzhen Lin

IJCAI 2003 On Tight Logic Programs and yet Another Translation from Normal Logic Programs to Propositional Logic Fangzhen Lin, Jicheng Zhao

IJCAI 2003 Recycling Computed Answers in Rewrite Systems for Abduction Fangzhen Lin, Jia-Huai You

AAAI 2002 ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers Fangzhen Lin, Yuting Zhao

IJCAI 2001 Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting Fangzhen Lin, Jia-Huai You

AAAI 2000 From Causal Theories to Successor State Axioms and STRIPS-like Systems Fangzhen Lin

IJCAI 1997 Applications of the Situation Calculus to Formalizing Control and Strategy Information: The Prolog Cut Operator Fangzhen Lin

AAAI 1996 Embracing Causality in Specifying the Indeterminate Effects of Actions Fangzhen Lin

IJCAI 1995 Embracing Causality in Specifying the Indirect Effects of Actions Fangzhen Lin

IJCAI 1995 How to Progress a Database II: The STRIPS Connection Fangzhen Lin, Raymond Reiter

AAAI 1992 Concurrent Actions in the Situation Calculus Fangzhen Lin, Yoav Shoham

AAAI 1991 Provably Correct Theories of Action (Preliminary Report) Fangzhen Lin, Yoav Shoham

AAAI 1987 Reasoning in the Presence of Inconsistency Fangzhen Lin