Fangzhen Lin

According to our database, Fangzhen Lin authored at least 109 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Heuristic Strategies for Accelerating Multi-Agent Epistemic Planning.

Biqing Fang, Fangzhen Lin

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches.

Chenglin Wang, Fangzhen Lin

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Preciser comparison: Augmented multi-layer dynamic contrastive strategy for text2text question classification.

Jiyao Wang, Zijie Chen, Yijia Zhang, Dengbo He, Fangzhen Lin

Neurocomputing, August, 2023

Witnesses for Answer Sets of Logic Programs.

Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin

ACM Trans. Comput. Log., April, 2023

Solving Conditional Linear Recurrences for Program Verification: The Periodic Case.

Chenglin Wang, Fangzhen Lin

Proc. ACM Program. Lang., April, 2023

Multi-Aspect co-Attentional Collaborative Filtering for extreme multi-label text classification.

Jiyao Wang, Zijie Chen, Yang Qin, Dengbo He, Fangzhen Lin

Knowl. Based Syst., 2023

On Computing Universal Plans for Partially Observable Multi-Agent Path Finding.

Fengming Zhu, Fangzhen Lin

CoRR, 2023

Using Language Models For Knowledge Acquisition in Natural Language Reasoning Problems.

Fangzhen Lin, Ziyi Shou, Chengcai Chen

CoRR, 2023

Adjustable Robust Reinforcement Learning for Online 3D Bin Packing.

Yuxin Pan, Yize Chen, Fangzhen Lin

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Evaluate AMR Graph Similarity via Self-supervised Learning.

Ziyi Shou, Fangzhen Lin

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023

2022

PocketNN: Integer-only Training and Inference of Neural Networks via Direct Feedback Alignment and Pocket Activations in Pure C++.

Jaewoo Song, Fangzhen Lin

CoRR, 2022

Backward Imitation and Forward Reinforcement Learning via Bi-directional Model Rollouts.

Yuxin Pan, Fangzhen Lin

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

AMR-DA: Data Augmentation by Abstract Meaning Representation.

Ziyi Shou, Yuxin Jiang, Fangzhen Lin

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2022, 2022

2021

Computing Class Hierarchies from Classifiers.

Kai Kang, Fangzhen Lin

CoRR, 2021

Incorporating EDS Graph for AMR Parsing.

Ziyi Shou, Fangzhen Lin

Proceedings of *SEM 2021: The Tenth Joint Conference on Lexical and Computational Semantics, 2021

XRJL-HKUST at SemEval-2021 Task 4: WordNet-Enhanced Dual Multi-head Co-Attention for Reading Comprehension of Abstract Meaning.

Yuxin Jiang, Ziyi Shou, Qijun Wang, Hao Wu, Fangzhen Lin

Proceedings of the 15th International Workshop on Semantic Evaluation, 2021

Parameterized Logical Theories.

Fangzhen Lin

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Nice Invincible Strategy for the Average-Payoff IPD.

Shiheng Wang, Fangzhen Lin

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 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

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Faster and Safer Training by Embedding High-Level Knowledge into Deep Reinforcement Learning.

Haodi Zhang, Zihang Gao, Yi Zhou, Hao Zhang, Kaishun Wu, Fangzhen Lin

CoRR, 2019

Pure Strategy Best Responses to Mixed Strategies in Repeated Games.

Shiheng Wang, Fangzhen Lin

CoRR, 2019

VIAP 1.1 - (Competition Contribution).

Pritom Rajkhowa, Fangzhen Lin

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Translating classes to first-order logic: an example.

Fangzhen Lin

Proceedings of the 21st Workshop on Formal Techniques for Java-like Programs, 2019

Invincible Strategies of Iterated Prisoner's Dilemma.

Shiheng Wang, Fangzhen Lin

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

2018

Machine Theorem Discovery.

Fangzhen Lin

AI Mag., 2018

Extending VIAP to Handle Array Programs.

Pritom Rajkhowa, Fangzhen Lin

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

2017

Characterizing causal action theories and their implementations in answer set programming.

Haodi Zhang, Fangzhen Lin

Artif. Intell., 2017

VIAP - Automated System for Verifying Integer Assignment Programs with Loops.

Pritom Rajkhowa, Fangzhen Lin

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

K-Memory Strategies in Repeated Games.

Lijie Chen, Fangzhen Lin, Pingzhong Tang, Kangning Wang, Ruosong Wang, Shiheng Wang

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

A Model for Phase Transition of Random Answer-Set Programs.

Lian Wen, Kewen Wang, Yi-Dong Shen, Fangzhen Lin

ACM Trans. Comput. Log., 2016

A formalization of programs in first-order logic with a discrete linear order.

Fangzhen Lin

Artif. Intell., 2016

Mapping Action Language BC to Logic Programs: A Characterization by Postulates.

Haodi Zhang, Fangzhen Lin

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Position Systems in Dynamic Domains.

Jianmin Ji, Fangzhen Lin

J. Philos. Log., 2015

Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond.

Haodi Zhang, Fangzhen Lin

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations.

Fangzhen Lin

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

On Computing Optimal Strategies in Open List Proportional Representation: The Two Parties Case.

Ning Ding, Fangzhen Lin

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms.

Jianmin Ji, Fangzhen Lin, Jia-Huai You

Theory Pract. Log. Program., 2013

Computing Loops with at Most One External Support Rule.

Xiaoping Chen, Jianmin Ji, Fangzhen Lin

ACM Trans. Comput. Log., 2013

Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming.

Jianmin Ji, Fangzhen Lin

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Voting with partial information: what questions to ask?

Ning Ding, Fangzhen Lin

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

2012

Ordered completion for first-order logic programs on finite structures.

Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou

Artif. Intell., 2012

From Turner's Logic of Universal Causation to the Logic of GK.

Jianmin Ji, Fangzhen Lin

Proceedings of the Correct Reasoning, 2012

A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms.

Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Two equivalence results for two-person strict games.

Pingzhong Tang, Fangzhen Lin

Games Econ. Behav., 2011

Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs.

Pingzhong Tang, Fangzhen Lin

Artif. Intell., 2011

From answer set logic programming to circumscription via logic of GK.

Fangzhen Lin, Yi Zhou

Artif. Intell., 2011

Loop-separable programs and their first-order definability.

Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou

Artif. Intell., 2011

On Moving Objects in Dynamic Domains.

Fangzhen Lin

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

Causal Theories of Actions Revisited.

Fangzhen Lin, Mikhail Soutchanski

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Weight constraint programs with evaluable functions.

Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang

Ann. Math. Artif. Intell., 2010

Designing competitions between teams of individuals.

Pingzhong Tang, Yoav Shoham, Fangzhen Lin

Artif. Intell., 2010

2009

General default logic.

Yi Zhou, Fangzhen Lin, Yan Zhang

Ann. Math. Artif. Intell., 2009

Computer-aided proofs of Arrow's and other impossibility theorems.

Pingzhong Tang, Fangzhen Lin

Artif. Intell., 2009

Two Applications of Computer-Aided Theorem Discovery and Verification.

Fangzhen Lin

Proceedings of the Knowledge Science, 2009

Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs.

Xiaoping Chen, Jianmin Ji, Fangzhen Lin

Proceedings of the Logic Programming, 25th International Conference, 2009

Team competition.

Pingzhong Tang, Yoav Shoham, Fangzhen Lin

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

Situation Calculus.

Fangzhen Lin

Proceedings of the Handbook of Knowledge Representation, 2008

Answer Set Programming with Functions.

Fangzhen Lin, Yisong Wang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Proving Goal Achievability.

Fangzhen Lin

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Abductive Logic Programming by Nonground Rewrite Systems.

Fangzhen Lin, Jia-Huai You

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Recycling computed answers in rewrite systems for abduction.

Fangzhen Lin, Jia-Huai You

ACM Trans. Comput. Log., 2007

Discovering Classes of Strongly Equivalent Logic Programs.

Fangzhen Lin, Yin Chen

J. Artif. Intell. Res., 2007

A characterization of answer sets for logic programs.

Mingyi Zhang, Ying Zhang, Fangzhen Lin

Sci. China Ser. F Inf. Sci., 2007

Forgetting and Update -- an exploration.

Abhaya C. Nayak, Yin Chen, Fangzhen Lin

Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

Finitely-Verifiable Classes of Sentences.

Fangzhen Lin

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2007

2006

Loop formulas for circumscription.

Joohyung Lee, Fangzhen Lin

Artif. Intell., 2006

First-Order Loop Formulas for Normal Logic Programs.

Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang

Proceedings of the Proceedings, 2006

Forgetting and Knowledge Update.

Abhaya C. Nayak, Yin Chen, Fangzhen Lin

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

2005

SELP - A System for Studying Strong Equivalence between Logic Programs.

Yin Chen, Fangzhen Lin, Lei Li

Proceedings of the Answer Set Programming, 2005

2004

ASSAT: computing answer sets of a logic program by SAT solvers.

Fangzhen Lin, Yuting Zhao

Artif. Intell., 2004

Discovering State Invariants.

Fangzhen Lin

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

On Odd and Even Cycles in Normal Logic Programs.

Fangzhen Lin, Xishun Zhao

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems.

Fangzhen Lin

J. Artif. Intell. Res., 2003

On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic.

Fangzhen Lin, Jicheng Zhao

Proceedings of the IJCAI-03, 2003

Causal Theories of Action: A Computational Core.

Jérôme Lang, Fangzhen Lin, Pierre Marquis

Proceedings of the IJCAI-03, 2003

Answer Set Programming Phase Transition: A Study on Randomly Generated Programs.

Yuting Zhao, Fangzhen Lin

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

Abduction in logic programming: A new definition and an abductive procedure based on rewriting.

Fangzhen Lin, Jia-Huai You

Artif. Intell., 2002

Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic.

Fangzhen Lin

Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002

2001

A Planner Called R.

Fangzhen Lin

AI Mag., 2001

On strongest necessary and weakest sufficient conditions.

Fangzhen Lin

Artif. Intell., 2001

2000

Ability and Knowing How in the Situation Calculus.

Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl

Stud Logica, 2000

Alternating Fixpoint Theory for Logic Programs with Priority.

Kewen Wang, Lizhu Zhou, Fangzhen Lin

Proceedings of the Computational Logic, 2000

From Causal Theories to Successor State Axioms and STRIPS-Like Systems.

Fangzhen Lin

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

From Causal Theories to Logic Programs (Sometimes).

Fangzhen Lin, Kewen Wang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

1998

What Robots Can Do: Robot Programs and Effective Achievability.

Fangzhen Lin, Hector J. Levesque

Artif. Intell., 1998

Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator.

Fangzhen Lin

Artif. Intell., 1998

On Measuring Plan Quality (A Preliminary Report).

Fangzhen Lin

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997

Rules as Actions: A Situation Calculus Semantics for Logic Programs.

Fangzhen Lin, Raymond Reiter

J. Log. Program., 1997

GOLOG: A Logic Programming Language for Dynamic Domains.

Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl

J. Log. Program., 1997

An Ordering on Subgoals for Planning.

Fangzhen Lin

Ann. Math. Artif. Intell., 1997

How to Progress a Database.

Fangzhen Lin, Raymond Reiter

Artif. Intell., 1997

Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator.

Fangzhen Lin

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Controlling Autonomous Robots with <i>GOLOG</i>.

Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

1996

Embracing Causality in Specifying the Indeterminate Effects of Actions.

Fangzhen Lin

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Provably Correct Theories of Action.

Fangzhen Lin, Yoav Shoham

J. ACM, 1995

How to Progress a Database II: The STRIPS Connection.

Fangzhen Lin, Raymond Reiter

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Embracing Causality in Specifying the Indirect Effects of Actions.

Fangzhen Lin

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Foundations of a Logical Approach to Agent Programming.

Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Richard B. Scherl

Proceedings of the Intelligent Agents II, 1995

1994

State Constraints Revisited.

Fangzhen Lin, Raymond Reiter

J. Log. Comput., 1994

How to Progress a Database (and Why) I. Logical Foundations.

Fangzhen Lin, Raymond Reiter

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

1993

An Argument-Based Approach to Nonmonotonic Reasoning.

Fangzhen Lin

Comput. Intell., 1993

1992

A Logic of Knowledge and Justified Assumptions.

Fangzhen Lin, Yoav Shoham

Artif. Intell., 1992

Concurrent Actions in the Situation Calculus.

Fangzhen Lin, Yoav Shoham

Proceedings of the 10th National Conference on Artificial Intelligence, 1992

1991

A study of nonmonotonic reasoning.

Fangzhen Lin

PhD thesis, 1991

Provably Correct Theories of Action (Preliminary Report).

Fangzhen Lin, Yoav Shoham

Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1990

Epistemic Semantics for Fixed-Points Non-Monotonic Logics.

Fangzhen Lin, Yoav Shoham

Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning about Knowledge, 1990

1989

Argument Systems: A Uniform Basis for Nonmonotonic Reasoning.

Fangzhen Lin, Yoav Shoham

Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89). Toronto, 1989

1988

Circumscription in a Modal Logic.

Fangzhen Lin

Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988

1987

Reasoning in the Presence of Inconsistency.

Fangzhen Lin

Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987