| 2025 | ACL | To Code or not to Code? Adaptive Tool Integration for Math Language Models via Expectation-Maximization. | Haozhe Wang, Long Li, Chao Qu, Weidi Xu, Fengming Zhu, Wei Chu, Fangzhen Lin |
| 2025 | IJCAI | 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 |
| 2025 | KR | Pruning with Belief Traps in Multi-agent Epistemic Planning. | Biqing Fang, Fangzhen Lin |
| 2024 | CAV | On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches. | Chenglin Wang, Fangzhen Lin |
| 2024 | KR | Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning. | Biqing Fang, Fangzhen Lin |
| 2023 | ACL | Evaluate AMR Graph Similarity via Self-supervised Learning. | Ziyi Shou, Fangzhen Lin |
| 2022 | ACL | AMR-DA: Data Augmentation by Abstract Meaning Representation. | Ziyi Shou, Yuxin Jiang, Fangzhen Lin |
| 2022 | IROS | Backward Imitation and Forward Reinforcement Learning via Bi-directional Model Rollouts. | Yuxin Pan, Fangzhen Lin |
| 2021 | AAAI | Parameterized Logical Theories. | Fangzhen Lin |
| 2020 | AAAI | Embedding High-Level Knowledge into DQNs to Learn Faster and More Safely. | Zihang Gao, Fangzhen Lin, Yi Zhou, Hao Zhang, Kaishun Wu, Haodi Zhang |
| 2020 | AAAI | Nice Invincible Strategy for the Average-Payoff IPD. | Shiheng Wang, Fangzhen Lin |
| 2019 | ECOOP | Translating classes to first-order logic: an example. | Fangzhen Lin |
| 2019 | TACAS | VIAP 1.1 - (Competition Contribution). | Pritom Rajkhowa, Fangzhen Lin |
| 2017 | SYNASC | VIAP - Automated System for Verifying Integer Assignment Programs with Loops. | Pritom Rajkhowa, Fangzhen Lin |
| 2016 | AAAI | Mapping Action Language BC to Logic Programs: A Characterization by Postulates. | Haodi Zhang, Fangzhen Lin |
| 2015 | IJCAI | Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond. | Haodi Zhang, Fangzhen Lin |
| 2014 | AAAI | On Computing Optimal Strategies in Open List Proportional Representation: The Two Parties Case. | Ning Ding, Fangzhen Lin |
| 2014 | KR | A Formalization of Programs in First-Order Logic with a Discrete Linear Order. | Fangzhen Lin |
| 2014 | KR | A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations. | Fangzhen Lin |
| 2013 | LPNMR | Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming. | Jianmin Ji, Fangzhen Lin |
| 2012 | AAAI | A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. | Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You |
| 2011 | AAAI | Causal Theories of Actions Revisited. | Fangzhen Lin, Mikhail Soutchanski |
| 2010 | AAAI | Ordered Completion for First-Order Logic Programs on Finite Structures. | Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou |
| 2009 | ICLP | Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs. | Xiaoping Chen, Jianmin Ji, Fangzhen Lin |
| 2009 | IJCAI | Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs. | Pingzhong Tang, Fangzhen Lin |
| 2009 | KSEM | Two Applications of Computer-Aided Theorem Discovery and Verification. | Fangzhen Lin |
| 2008 | AAAI | Computer-Aided Proofs of Arrow's and Other Impossibility Theorems. | Fangzhen Lin, Pingzhong Tang |
| 2008 | AAAI | Abductive Logic Programming by Nonground Rewrite Systems. | Fangzhen Lin, Jia-Huai You |
| 2008 | KR | Computing Loops with at Most One External Support Rule. | Xiaoping Chen, Jianmin Ji, Fangzhen Lin |
| 2008 | KR | Proving Goal Achievability. | Fangzhen Lin |
| 2008 | KR | Answer Set Programming with Functions. | Fangzhen Lin, Yisong Wang |
| 2007 | IJCAI | From Answer Set Logic Programming to Circumscription via Logic of GK. | Fangzhen Lin, Yi Zhou |
| 2007 | LPNMR | General Default Logic. | Yi Zhou, Fangzhen Lin, Yan Zhang |
| 2006 | KR | First-Order Loop Formulas for Normal Logic Programs. | Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang |
| 2005 | IJCAI | Discovering Classes of Strongly Equivalent Logic Programs. | Fangzhen Lin, Yin Chen |
| 2005 | LPNMR | SELP - A System for Studying Strong Equivalence Between Logic Programs. | Yin Chen, Fangzhen Lin, Lei Li |
| 2004 | AAAI | Loop Formulas for Circumscription. | Joohyung Lee, Fangzhen Lin |
| 2004 | AAAI | On Odd and Even Cycles in Normal Logic Programs. | Fangzhen Lin, Xishun Zhao |
| 2004 | KR | Discovering State Invariants. | Fangzhen Lin |
| 2003 | ICLP | Answer Set Programming Phase Transition: A Study on Randomly Generated Programs. | Yuting Zhao, Fangzhen Lin |
| 2003 | IJCAI | Causal Theories of Action: A Computational Core. | Jrme Lang, Fangzhen Lin, Pierre Marquis |
| 2003 | IJCAI | Recycling Computed Answers in Rewrite Systems for Abduction. | Fangzhen Lin, Jia-Huai You |
| 2003 | IJCAI | On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic. | Fangzhen Lin, Jicheng Zhao |
| 2002 | AAAI | ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. | Fangzhen Lin, Yuting Zhao |
| 2002 | KR | Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic. | Fangzhen Lin |
| 2001 | IJCAI | Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. | Fangzhen Lin, Jia-Huai You |
| 2000 | AAAI | From Causal Theories to Successor State Axioms and STRIPS-Like Systems. | Fangzhen Lin |
| 2000 | KR | On Strongest Necessary and Weakest Sufficient Conditions. | Fangzhen Lin |
| 1999 | LPNMR | From Causal Theories to Logic Programs (Sometimes). | Fangzhen Lin, Kewen Wang |
| 1998 | KR | On Measuring Plan Quality (A Preliminary Report). | Fangzhen Lin |
| 1997 | IJCAI | Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator. | Fangzhen Lin |
| 1996 | AAAI | Embracing Causality in Specifying the Indeterminate Effects of Actions. | Fangzhen Lin |
| 1995 | IJCAI | Embracing Causality in Specifying the Indirect Effects of Actions. | Fangzhen Lin |
| 1995 | IJCAI | How to Progress a Database II: The STRIPS Connection. | Fangzhen Lin, Raymond Reiter |
| 1994 | KR | How to Progress a Database (and Why) I. Logical Foundations. | Fangzhen Lin, Raymond Reiter |
| 1992 | AAAI | Concurrent Actions in the Situation Calculus. | Fangzhen Lin, Yoav Shoham |
| 1991 | AAAI | Provably Correct Theories of Action (Preliminary Report). | Fangzhen Lin, Yoav Shoham |
| 1990 | TARK | Epistemic Semantics for Fixed-Points Non-Monotonic Logics. | Fangzhen Lin, Yoav Shoham |
| 1989 | KR | Argument Systems: A Uniform Basis for Nonmonotonic Reasoning. | Fangzhen Lin, Yoav Shoham |
| 1988 | TARK | Circumscription in a Modal Logic. | Fangzhen Lin |
| 1987 | AAAI | Reasoning in the Presence of Inconsistency. | Fangzhen Lin |