Fangzhen Lin - RankMe

162 papers A* 42A 6B 12C 2Misc 1Journal 69Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	ProAct: A Benchmark and Multimodal Framework for Structure-Aware Proactive Response. CoRR Xiaomeng Zhu, Fengming Zhu, Weijie Zhou, Ye Tian, Zhenlin Hu, Yufei Huang, Yuchun Guo, Xinyu Wu, Zhengyou Zhang, Fangzhen Lin, Xuantang Xiong
2025	J	`jnl`	A Computable Game-Theoretic Framework for Multi-Agent Theory of Mind. CoRR Fengming Zhu, Yuxin Pan, Xiaomeng Zhu, Fangzhen Lin
2025	J	`jnl`	Beyond Distillation: Pushing the Limits of Medical LLM Reasoning with Minimalist Rule-Based RL. CoRR Che Liu, Haozhe Wang, Jiazhen Pan, Zhongwei Wan, Yong Dai, Fangzhen Lin, Wenjia Bai, Daniel Rueckert, Rossella Arcucci
2025	J	`jnl`	CogDoc: Towards Unified thinking in Documents. CoRR Qixin Xu, Haozhe Wang, Che Liu, Fangzhen Lin, Wenhu Chen
2025	J	`jnl`	Constant-Memory Strategies in Stochastic Games: Best Responses and Equilibria. CoRR Fengming Zhu, Fangzhen Lin
2025	A*	`conf`	Deduction with Induction: Combining Knowledge Discovery and Reasoning for Interpretable Deep Reinforcement Learning. IJCAI Haodi Zhang, Xiangyu Zeng, Junyang Chen, Yuanfeng Song, Rui Mao, Fangzhen Lin
2025	J	`jnl`	Emergent Hierarchical Reasoning in LLMs through Reinforcement Learning. CoRR Haozhe Wang, Qixin Xu, Che Liu, Junhong Wu, Fangzhen Lin, Wenhu Chen
2025	J	`jnl`	From Illusion to Intention: Visual Rationale Learning for Vision-Language Reasoning. CoRR Changpeng Wang, Haozhe Wang, Xi Chen, Junhan Liu, Taofeng Xue, Chong Peng, Donglian Qi, Fangzhen Lin, Yunfeng Yan
2025	A	`conf`	Hierarchical Learning-based Graph Partition for Large-scale Vehicle Routing Problems. AAMAS Yuxin Pan, Ruohong Liu, Yize Chen, Zhiguang Cao, Fangzhen Lin
2025	J	`jnl`	Hierarchical Learning-based Graph Partition for Large-scale Vehicle Routing Problems. CoRR Yuxin Pan, Ruohong Liu, Yize Chen, Zhiguang Cao, Fangzhen Lin
2025	J	`jnl`	Learning Autonomous Code Integration for Math Language Models. CoRR Haozhe Wang, Long Li, Chao Qu, Fengming Zhu, Weidi Xu, Wei Chu, Fangzhen Lin
2025	B	`conf`	MAMR: Modality-Aligned Multi-modal Retrieval. IJCNN YangZhen Xu, Jiawei Mo, Fangzhen Lin, Zebiao Chen, Chengfeng Chen, Shouqiang Liu
2025	J	`jnl`	Multi-Task Vehicle Routing Solver via Mixture of Specialized Experts under State-Decomposable MDP. CoRR Yuxin Pan, Zhiguang Cao, Chengyang Gu, Liu Liu, Peilin Zhao, Yize Chen, Fangzhen Lin
2025	J	`jnl`	OOTSM: A Decoupled Linguistic Framework for Effective Scene Graph Anticipation. CoRR Xiaomeng Zhu, Changwei Wang, Haozhe Wang, Xinyu Liu, Fangzhen Lin
2025	B	`conf`	On Computing Universal Plans for Partially Observable Multi-Agent Path Finding. ICLP Fengming Zhu, Fangzhen Lin
2025	J	`jnl`	Pixel Reasoner: Incentivizing Pixel-Space Reasoning with Curiosity-Driven Reinforcement Learning. CoRR Alex Su, Haozhe Wang, Weiming Ren, Fangzhen Lin, Wenhu Chen
2025	A*	`conf`	Pruning with Belief Traps in Multi-agent Epistemic Planning. KR Biqing Fang, Fangzhen Lin
2025	J	`jnl`	Reverse-Engineered Reasoning for Open-Ended Generation. CoRR Haozhe Wang, Haoran Que, Qixin Xu, Minghao Liu, Wangchunshu Zhou, Jiazhan Feng, Wanjun Zhong, Wei Ye, Tong Yang, Wenhao Huang, Ge Zhang, Fangzhen Lin
2025	A	`conf`	Single-Agent Planning in a Multi-Agent System: A Unified Framework for Type-Based Planners. AAMAS Fengming Zhu, Fangzhen Lin
2025	J	`jnl`	Single-Agent Planning in a Multi-Agent System: A Unified Framework for Type-Based Planners. CoRR Fengming Zhu, Fangzhen Lin
2025	J	`jnl`	SplitQuant: Layer Splitting for Low-Bit Neural Network Quantization. CoRR Jaewoo Song, Fangzhen Lin
2025	J	`jnl`	SplitQuantV2: Enhancing Low-Bit Quantization of LLMs Without GPUs. CoRR Jaewoo Song, Fangzhen Lin
2025	B	`conf`	The Combined Problem of Online Task Assignment and Lifelong Path Finding in Logistics Warehouses: A Case Study. ICLP Fengming Zhu, Fangzhen Lin, Weijia Xu, Yifei Guo
2025	—	`conf`	To Code or not to Code? Adaptive Tool Integration for Math Language Models via Expectation-Maximization. ACL (Findings) Haozhe Wang, Long Li, Chao Qu, Weidi Xu, Fengming Zhu, Wei Chu, Fangzhen Lin
2025	J	`jnl`	VL-Rethinker: Incentivizing Self-Reflection of Vision-Language Models with Reinforcement Learning. CoRR Haozhe Wang, Chao Qu, Zuming Huang, Wei Chu, Fangzhen Lin, Wenhu Chen
2024	—	`conf`	Enhancing Semantic Understanding in Vision Language Models Using Meaning Representation Negative Generation. KiL@KDD Ziyi Shou, Fangzhen Lin
2024	A*	`conf`	Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning. KR Biqing Fang, Fangzhen Lin
2024	—	`conf`	On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches. CAV (1) Chenglin Wang, Fangzhen Lin
2023	A*	`conf`	Adjustable Robust Reinforcement Learning for Online 3D Bin Packing. NeurIPS Yuxin Pan, Yize Chen, Fangzhen Lin
2023	J	`jnl`	Adjustable Robust Reinforcement Learning for Online 3D Bin Packing. CoRR Yuxin Pan, Yize Chen, Fangzhen Lin
2023	—	`conf`	Evaluate AMR Graph Similarity via Self-supervised Learning. ACL (1) Ziyi Shou, Fangzhen Lin
2023	J	`jnl`	Multi-Aspect co-Attentional Collaborative Filtering for extreme multi-label text classification. Knowl. Based Syst. Jiyao Wang, Zijie Chen, Yang Qin, Dengbo He, Fangzhen Lin
2023	J	`jnl`	Preciser comparison: Augmented multi-layer dynamic contrastive strategy for text2text question classification. Neurocomputing Jiyao Wang, Zijie Chen, Yijia Zhang, Dengbo He, Fangzhen Lin
2023	J	`jnl`	Solving Conditional Linear Recurrences for Program Verification: The Periodic Case. Proc. ACM Program. Lang. Chenglin Wang, Fangzhen Lin
2023	J	`jnl`	Using Language Models For Knowledge Acquisition in Natural Language Reasoning Problems. CoRR Fangzhen Lin, Ziyi Shou, Chengcai Chen
2023	J	`jnl`	Witnesses for Answer Sets of Logic Programs. ACM Trans. Comput. Log. Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin
2022	—	`conf`	AMR-DA: Data Augmentation by Abstract Meaning Representation. ACL (Findings) Ziyi Shou, Yuxin Jiang, Fangzhen Lin
2022	A	`conf`	Backward Imitation and Forward Reinforcement Learning via Bi-directional Model Rollouts. IROS Yuxin Pan, Fangzhen Lin
2022	J	`jnl`	Backward Imitation and Forward Reinforcement Learning via Bi-directional Model Rollouts. CoRR Yuxin Pan, Fangzhen Lin
2022	J	`jnl`	PocketNN: Integer-only Training and Inference of Neural Networks via Direct Feedback Alignment and Pocket Activations in Pure C++. CoRR Jaewoo Song, Fangzhen Lin
2021	J	`jnl`	Computing Class Hierarchies from Classifiers. CoRR Kai Kang, Fangzhen Lin
2021	—	`conf`	Incorporating EDS Graph for AMR Parsing. *SEM Ziyi Shou, Fangzhen Lin
2021	A*	`conf`	Parameterized Logical Theories. AAAI Fangzhen Lin
2021	—	`conf`	XRJL-HKUST at SemEval-2021 Task 4: WordNet-Enhanced Dual Multi-head Co-Attention for Reading Comprehension of Abstract Meaning. SemEval@ACL/IJCNLP Yuxin Jiang, Ziyi Shou, Qijun Wang, Hao Wu, Fangzhen Lin
2021	J	`jnl`	XRJL-HKUST at SemEval-2021 Task 4: WordNet-Enhanced Dual Multi-head Co-Attention for Reading Comprehension of Abstract Meaning. CoRR Yuxin Jiang, Ziyi Shou, Qijun Wang, Hao Wu, Fangzhen Lin
2020	A*	`conf`	Embedding High-Level Knowledge into DQNs to Learn Faster and More Safely. AAAI Zihang Gao, Fangzhen Lin, Yi Zhou, Hao Zhang, Kaishun Wu, Haodi Zhang
2020	A*	`conf`	Nice Invincible Strategy for the Average-Payoff IPD. AAAI Shiheng Wang, Fangzhen Lin
2019	J	`jnl`	Faster and Safer Training by Embedding High-Level Knowledge into Deep Reinforcement Learning. CoRR Haodi Zhang, Zihang Gao, Yi Zhou, Hao Zhang, Kaishun Wu, Fangzhen Lin
2019	A	`conf`	Invincible Strategies of Iterated Prisoner's Dilemma. AAMAS Shiheng Wang, Fangzhen Lin
2019	J	`jnl`	Pure Strategy Best Responses to Mixed Strategies in Repeated Games. CoRR Shiheng Wang, Fangzhen Lin
2019	—	`conf`	Translating classes to first-order logic: an example. FTfJP@ECOOP Fangzhen Lin
2019	—	`conf`	VIAP 1.1 - (Competition Contribution). TACAS (3) Pritom Rajkhowa, Fangzhen Lin
2018	—	`conf`	Extending VIAP to Handle Array Programs. VSTTE Pritom Rajkhowa, Fangzhen Lin
2018	J	`jnl`	Machine Theorem Discovery. AI Mag. Fangzhen Lin
2017	J	`jnl`	Characterizing causal action theories and their implementations in answer set programming. Artif. Intell. Haodi Zhang, Fangzhen Lin
2017	J	`jnl`	Invincible Strategies of Iterated Prisoner's Dilemma. CoRR Shiheng Wang, Fangzhen Lin
2017	A	`conf`	K-Memory Strategies in Repeated Games. AAMAS Lijie Chen, Fangzhen Lin, Pingzhong Tang, Kangning Wang, Ruosong Wang, Shiheng Wang
2017	—	`ed.`	Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures RW Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
2017	Misc	`conf`	VIAP - Automated System for Verifying Integer Assignment Programs with Loops. SYNASC Pritom Rajkhowa, Fangzhen Lin
2016	J	`jnl`	A Model for Phase Transition of Random Answer-Set Programs. ACM Trans. Comput. Log. Lian Wen, Kewen Wang, Yi-Dong Shen, Fangzhen Lin
2016	J	`jnl`	A formalization of programs in first-order logic with a discrete linear order. Artif. Intell. Fangzhen Lin
2016	A*	`conf`	Mapping Action Language BC to Logic Programs: A Characterization by Postulates. AAAI Haodi Zhang, Fangzhen Lin
2016	—	`ed.`	Multi-disciplinary Trends in Artificial Intelligence - 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings MIWAI Chattrakul Sombattheera, Frieder Stolzenburg, Fangzhen Lin, Abhaya C. Nayak
2015	A*	`conf`	Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond. IJCAI Haodi Zhang, Fangzhen Lin
2015	J	`jnl`	Position Systems in Dynamic Domains. J. Philos. Log. Jianmin Ji, Fangzhen Lin
2014	A*	`conf`	A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations. KR Fangzhen Lin
2014	—	`conf`	A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations. AAAI Spring Symposia Fangzhen Lin
2014	A*	`conf`	A Formalization of Programs in First-Order Logic with a Discrete Linear Order. KR Fangzhen Lin
2014	A*	`conf`	On Computing Optimal Strategies in Open List Proportional Representation: The Two Parties Case. AAAI Ning Ding, Fangzhen Lin
2013	J	`jnl`	Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms. Theory Pract. Log. Program. Jianmin Ji, Fangzhen Lin, Jia-Huai You
2013	J	`jnl`	Computing Loops with at Most One External Support Rule. ACM Trans. Comput. Log. Xiaoping Chen, Jianmin Ji, Fangzhen Lin
2013	B	`conf`	Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming. LPNMR Jianmin Ji, Fangzhen Lin
2013	A	`conf`	Voting with partial information: what questions to ask? AAMAS Ning Ding, Fangzhen Lin
2012	A*	`conf`	A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. AAAI Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You
2012	—	`conf`	From Turner's Logic of Universal Causation to the Logic of GK. Correct Reasoning Jianmin Ji, Fangzhen Lin
2012	J	`jnl`	Ordered completion for first-order logic programs on finite structures. Artif. Intell. Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
2011	A*	`conf`	Causal Theories of Actions Revisited. AAAI Fangzhen Lin, Mikhail Soutchanski
2011	—	`conf`	Causal Theories of Actions Revisited. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Fangzhen Lin, Mikhail Soutchanski
2011	J	`jnl`	Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems CoRR Fangzhen Lin
2011	J	`jnl`	Discovering Classes of Strongly Equivalent Logic Programs CoRR Yin Chen, Fangzhen Lin
2011	J	`jnl`	Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs. Artif. Intell. Pingzhong Tang, Fangzhen Lin
2011	J	`jnl`	From answer set logic programming to circumscription via logic of GK. Artif. Intell. Fangzhen Lin, Yi Zhou
2011	J	`jnl`	Loop-separable programs and their first-order definability. Artif. Intell. Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou
2011	—	`conf`	On Moving Objects in Dynamic Domains. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Fangzhen Lin
2011	J	`jnl`	Two equivalence results for two-person strict games. Games Econ. Behav. Pingzhong Tang, Fangzhen Lin
2010	J	`jnl`	Designing competitions between teams of individuals. Artif. Intell. Pingzhong Tang, Yoav Shoham, Fangzhen Lin
2010	A*	`conf`	Ordered Completion for First-Order Logic Programs on Finite Structures. AAAI Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
2010	A*	`ed.`	Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 KR Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski
2010	J	`jnl`	Weight constraint programs with evaluable functions. Ann. Math. Artif. Intell. Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang
2009	J	`jnl`	Computer-aided proofs of Arrow's and other impossibility theorems. Artif. Intell. Pingzhong Tang, Fangzhen Lin
2009	B	`conf`	Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs. ICLP Xiaoping Chen, Jianmin Ji, Fangzhen Lin
2009	A*	`conf`	Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs. IJCAI Pingzhong Tang, Fangzhen Lin
2009	J	`jnl`	General default logic. Ann. Math. Artif. Intell. Yi Zhou, Fangzhen Lin, Yan Zhang
2009	B	`ed.`	Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings LPNMR Esra Erdem, Fangzhen Lin, Torsten Schaub
2009	—	`conf`	Team competition. AAMAS (1) Pingzhong Tang, Yoav Shoham, Fangzhen Lin
2009	C	`conf`	Two Applications of Computer-Aided Theorem Discovery and Verification. KSEM Fangzhen Lin
2008	A*	`conf`	Abductive Logic Programming by Nonground Rewrite Systems. AAAI Fangzhen Lin, Jia-Huai You
2008	A*	`conf`	Answer Set Programming with Functions. KR Fangzhen Lin, Yisong Wang
2008	A*	`conf`	Computer-Aided Proofs of Arrow's and Other Impossibility Theorems. AAAI Fangzhen Lin, Pingzhong Tang
2008	A*	`conf`	Computing Loops with at Most One External Support Rule. KR Xiaoping Chen, Jianmin Ji, Fangzhen Lin
2008	A*	`conf`	Proving Goal Achievability. KR Fangzhen Lin
2008	—	`ch.`	Situation Calculus. Handbook of Knowledge Representation Fangzhen Lin
2007	J	`jnl`	A characterization of answer sets for logic programs. Sci. China Ser. F Inf. Sci. Mingyi Zhang, Ying Zhang, Fangzhen Lin
2007	J	`jnl`	Discovering Classes of Strongly Equivalent Logic Programs. J. Artif. Intell. Res. Fangzhen Lin, Yin Chen
2007	—	`conf`	Finitely-Verifiable Classes of Sentences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Fangzhen Lin
2007	—	`conf`	Forgetting and Update -- an exploration. Formal Models of Belief Change in Rational Agents Abhaya C. Nayak, Yin Chen, Fangzhen Lin
2007	A*	`conf`	From Answer Set Logic Programming to Circumscription via Logic of GK. IJCAI Fangzhen Lin, Yi Zhou
2007	B	`conf`	General Default Logic. LPNMR Yi Zhou, Fangzhen Lin, Yan Zhang
2007	J	`jnl`	Recycling computed answers in rewrite systems for abduction. ACM Trans. Comput. Log. Fangzhen Lin, Jia-Huai You
2006	A*	`conf`	First-Order Loop Formulas for Normal Logic Programs. KR Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang
2006	—	`conf`	Forgetting and Knowledge Update. Australian Conference on Artificial Intelligence Abhaya C. Nayak, Yin Chen, Fangzhen Lin
2006	C	`ed.`	Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings KSEM Jérôme Lang, Fangzhen Lin, Ju Wang
2006	J	`jnl`	Loop formulas for circumscription. Artif. Intell. Joohyung Lee, Fangzhen Lin
2005	A*	`conf`	Discovering Classes of Strongly Equivalent Logic Programs. IJCAI Fangzhen Lin, Yin Chen
2005	B	`conf`	SELP - A System for Studying Strong Equivalence Between Logic Programs. LPNMR Yin Chen, Fangzhen Lin, Lei Li
2005	—	`conf`	SELP - A System for Studying Strong Equivalence between Logic Programs. Answer Set Programming Yin Chen, Fangzhen Lin, Lei Li
2004	J	`jnl`	ASSAT: computing answer sets of a logic program by SAT solvers. Artif. Intell. Fangzhen Lin, Yuting Zhao
2004	A*	`conf`	Discovering State Invariants. KR Fangzhen Lin
2004	A*	`conf`	Loop Formulas for Circumscription. AAAI Joohyung Lee, Fangzhen Lin
2004	A*	`conf`	On Odd and Even Cycles in Normal Logic Programs. AAAI Fangzhen Lin, Xishun Zhao
2004	J	`jnl`	Recycling Computed Answers in Rewrite Systems for Abduction CoRR Fangzhen Lin, Jia-Huai You
2003	B	`conf`	Answer Set Programming Phase Transition: A Study on Randomly Generated Programs. ICLP Yuting Zhao, Fangzhen Lin
2003	A*	`conf`	Causal Theories of Action: A Computational Core. IJCAI Jérôme Lang, Fangzhen Lin, Pierre Marquis
2003	J	`jnl`	Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems. J. Artif. Intell. Res. Fangzhen Lin
2003	A*	`conf`	On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic. IJCAI Fangzhen Lin, Jicheng Zhao
2003	A*	`conf`	Recycling Computed Answers in Rewrite Systems for Abduction. IJCAI Fangzhen Lin, Jia-Huai You
2002	—	`conf`	ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. AAAI/IAAI Fangzhen Lin, Yuting Zhao
2002	J	`jnl`	Abduction in logic programming: A new definition and an abductive procedure based on rewriting. Artif. Intell. Fangzhen Lin, Jia-Huai You
2002	A*	`conf`	Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic. KR Fangzhen Lin
2001	J	`jnl`	A Planner Called R. AI Mag. Fangzhen Lin
2001	A*	`conf`	Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. IJCAI Fangzhen Lin, Jia-Huai You
2001	J	`jnl`	On strongest necessary and weakest sufficient conditions. Artif. Intell. Fangzhen Lin
2000	J	`jnl`	Ability and Knowing How in the Situation Calculus. Stud Logica Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl
2000	—	`conf`	Alternating Fixpoint Theory for Logic Programs with Priority. Computational Logic Kewen Wang, Lizhu Zhou, Fangzhen Lin
2000	—	`conf`	From Causal Theories to Successor State Axioms and STRIPS-Like Systems. AAAI/IAAI Fangzhen Lin
2000	A*	`conf`	On Strongest Necessary and Weakest Sufficient Conditions. KR Fangzhen Lin
1999	B	`conf`	From Causal Theories to Logic Programs (Sometimes). LPNMR Fangzhen Lin, Kewen Wang
1998	J	`jnl`	Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator. Artif. Intell. Fangzhen Lin
1998	A*	`conf`	On Measuring Plan Quality (A Preliminary Report). KR Fangzhen Lin
1998	J	`jnl`	What Robots Can Do: Robot Programs and Effective Achievability. Artif. Intell. Fangzhen Lin, Hector J. Levesque
1997	J	`jnl`	An Ordering on Subgoals for Planning. Ann. Math. Artif. Intell. Fangzhen Lin
1997	—	`conf`	Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator. IJCAI Fangzhen Lin
1997	—	`conf`	Controlling Autonomous Robots with Australian Joint Conference on Artificial Intelligence Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin
1997	J	`jnl`	GOLOG: A Logic Programming Language for Dynamic Domains. J. Log. Program. Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl
1997	J	`jnl`	How to Progress a Database. Artif. Intell. Fangzhen Lin, Raymond Reiter
1997	J	`jnl`	Rules as Actions: A Situation Calculus Semantics for Logic Programs. J. Log. Program. Fangzhen Lin, Raymond Reiter
1996	—	`conf`	Embracing Causality in Specifying the Indeterminate Effects of Actions. AAAI/IAAI, Vol. 1 Fangzhen Lin
1995	A*	`conf`	Embracing Causality in Specifying the Indirect Effects of Actions. IJCAI Fangzhen Lin
1995	—	`conf`	Foundations of a Logical Approach to Agent Programming. ATAL Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl
1995	A*	`conf`	How to Progress a Database II: The STRIPS Connection. IJCAI Fangzhen Lin, Raymond Reiter
1995	J	`jnl`	Provably Correct Theories of Action. J. ACM Fangzhen Lin, Yoav Shoham
1994	A*	`conf`	How to Progress a Database (and Why) I. Logical Foundations. KR Fangzhen Lin, Raymond Reiter
1994	J	`jnl`	State Constraints Revisited. J. Log. Comput. Fangzhen Lin, Raymond Reiter
1993	J	`jnl`	An Argument-Based Approach to Nonmonotonic Reasoning. Comput. Intell. Fangzhen Lin
1992	J	`jnl`	A Logic of Knowledge and Justified Assumptions. Artif. Intell. Fangzhen Lin, Yoav Shoham
1992	A*	`conf`	Concurrent Actions in the Situation Calculus. AAAI Fangzhen Lin, Yoav Shoham
1991	—	`—`	A study of nonmonotonic reasoning. Fangzhen Lin
1991	A*	`conf`	Provably Correct Theories of Action (Preliminary Report). AAAI Fangzhen Lin, Yoav Shoham
1990	B	`conf`	Epistemic Semantics for Fixed-Points Non-Monotonic Logics. TARK Fangzhen Lin, Yoav Shoham
1989	A*	`conf`	Argument Systems: A Uniform Basis for Nonmonotonic Reasoning. KR Fangzhen Lin, Yoav Shoham
1988	B	`conf`	Circumscription in a Modal Logic. TARK Fangzhen Lin
1987	A*	`conf`	Reasoning in the Presence of Inconsistency. AAAI Fangzhen Lin