Fangzhen Lin

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 37

Top Venues

CoRR

AAAI

Artif. Intell.

ACM Trans. Comput. Log.

Publications

Chenglin Wang, Fangzhen Lin
On Polynomial Expressions with C-Finite Recurrences in Loops with Nested Nondeterministic Branches. CAV (1) (2024)
Yuxin Pan, Yize Chen, Fangzhen Lin
Adjustable Robust Reinforcement Learning for Online 3D Bin Packing. NeurIPS (2023)
Yisong Wang, Thomas Eiter, Yuanlin Zhang, Fangzhen Lin
Witnesses for Answer Sets of Logic Programs. ACM Trans. Comput. Log. 24 (2) (2023)
Ziyi Shou, Fangzhen Lin
Evaluate AMR Graph Similarity via Self-supervised Learning. ACL (1) (2023)
Fengming Zhu, Fangzhen Lin
On Computing Universal Plans for Partially Observable Multi-Agent Path Finding. CoRR (2023)
Fangzhen Lin, Ziyi Shou, Chengcai Chen
Using Language Models For Knowledge Acquisition in Natural Language Reasoning Problems. CoRR (2023)
Jiyao Wang, Zijie Chen, Yijia Zhang, Dengbo He, Fangzhen Lin
Preciser comparison: Augmented multi-layer dynamic contrastive strategy for text2text question classification. Neurocomputing 544 (2023)
Yuxin Pan, Yize Chen, Fangzhen Lin
Adjustable Robust Reinforcement Learning for Online 3D Bin Packing. CoRR (2023)
Chenglin Wang, Fangzhen Lin
Solving Conditional Linear Recurrences for Program Verification: The Periodic Case. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Jiyao Wang, Zijie Chen, Yang Qin, Dengbo He, Fangzhen Lin
Multi-Aspect co-Attentional Collaborative Filtering for extreme multi-label text classification. Knowl. Based Syst. 260 (2023)
Yuxin Pan, Fangzhen Lin
Backward Imitation and Forward Reinforcement Learning via Bi-directional Model Rollouts. IROS (2022)
Ziyi Shou, Yuxin Jiang, Fangzhen Lin
AMR-DA: Data Augmentation by Abstract Meaning Representation. ACL (Findings) (2022)
Yuxin Pan, Fangzhen Lin
Backward Imitation and Forward Reinforcement Learning via Bi-directional Model Rollouts. CoRR (2022)
Jaewoo Song, Fangzhen Lin
PocketNN: Integer-only Training and Inference of Neural Networks via Direct Feedback Alignment and Pocket Activations in Pure C++. CoRR (2022)
Kai Kang, Fangzhen Lin
Computing Class Hierarchies from Classifiers. CoRR (2021)
Yuxin Jiang, Ziyi Shou, Qijun Wang, Hao Wu, Fangzhen Lin
XRJL-HKUST at SemEval-2021 Task 4: WordNet-Enhanced Dual Multi-head Co-Attention for Reading Comprehension of Abstract Meaning. CoRR (2021)
Ziyi Shou, Fangzhen Lin
Incorporating EDS Graph for AMR Parsing. *SEM (2021)
Yuxin Jiang, Ziyi Shou, Qijun Wang, Hao Wu, Fangzhen Lin
XRJL-HKUST at SemEval-2021 Task 4: WordNet-Enhanced Dual Multi-head Co-Attention for Reading Comprehension of Abstract Meaning. SemEval@ACL/IJCNLP (2021)
Fangzhen Lin
Parameterized Logical Theories. AAAI (2021)
Zihang Gao, Fangzhen Lin, Yi Zhou, Hao Zhang, Kaishun Wu, Haodi Zhang
Embedding High-Level Knowledge into DQNs to Learn Faster and More Safely. AAAI (2020)
Shiheng Wang, Fangzhen Lin
Nice Invincible Strategy for the Average-Payoff IPD. AAAI (2020)
Shiheng Wang, Fangzhen Lin
Invincible Strategies of Iterated Prisoner's Dilemma. AAMAS (2019)
Pritom Rajkhowa, Fangzhen Lin
VIAP 1.1 - (Competition Contribution). TACAS (3) (2019)
Haodi Zhang, Zihang Gao, Yi Zhou, Hao Zhang, Kaishun Wu, Fangzhen Lin
Faster and Safer Training by Embedding High-Level Knowledge into Deep Reinforcement Learning. CoRR (2019)
Fangzhen Lin
Translating classes to first-order logic: an example. FTfJP@ECOOP (2019)
Shiheng Wang, Fangzhen Lin
Pure Strategy Best Responses to Mixed Strategies in Repeated Games. CoRR (2019)
Fangzhen Lin
Machine Theorem Discovery. AI Mag. 39 (2) (2018)
Pritom Rajkhowa, Fangzhen Lin
Extending VIAP to Handle Array Programs. VSTTE (2018)
Pritom Rajkhowa, Fangzhen Lin
VIAP - Automated System for Verifying Integer Assignment Programs with Loops. SYNASC (2017)
Shiheng Wang, Fangzhen Lin
Invincible Strategies of Iterated Prisoner's Dilemma. CoRR (2017)
Lijie Chen, Fangzhen Lin, Pingzhong Tang, Kangning Wang, Ruosong Wang, Shiheng Wang
K-Memory Strategies in Repeated Games. AAMAS (2017)
Haodi Zhang, Fangzhen Lin
Characterizing causal action theories and their implementations in answer set programming. Artif. Intell. 248 (2017)
Haodi Zhang, Fangzhen Lin
Mapping Action Language BC to Logic Programs: A Characterization by Postulates. AAAI (2016)
Lian Wen, Kewen Wang, Yi-Dong Shen, Fangzhen Lin
A Model for Phase Transition of Random Answer-Set Programs. ACM Trans. Comput. Log. 17 (3) (2016)
Fangzhen Lin
A formalization of programs in first-order logic with a discrete linear order. Artif. Intell. 235 (2016)
Jianmin Ji, Fangzhen Lin
Position Systems in Dynamic Domains. J. Philos. Log. 44 (2) (2015)
Haodi Zhang, Fangzhen Lin
Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond. IJCAI (2015)
Ning Ding, Fangzhen Lin
On Computing Optimal Strategies in Open List Proportional Representation: The Two Parties Case. AAAI (2014)
Fangzhen Lin
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations. KR (2014)
Fangzhen Lin
A Formalization of Programs in First-Order Logic with a Discrete Linear Order. KR (2014)
Fangzhen Lin
A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations. AAAI Spring Symposia (2014)
Xiaoping Chen, Jianmin Ji, Fangzhen Lin
Computing Loops with at Most One External Support Rule. ACM Trans. Comput. Log. 14 (1) (2013)
Ning Ding, Fangzhen Lin
Voting with partial information: what questions to ask? AAMAS (2013)
Jianmin Ji, Fangzhen Lin
Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming. LPNMR (2013)
Jianmin Ji, Fangzhen Lin, Jia-Huai You
Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms. Theory Pract. Log. Program. 13 (4-5-Online-Supplement) (2013)
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
Ordered completion for first-order logic programs on finite structures. Artif. Intell. (2012)
Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You
A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. AAAI (2012)
Jianmin Ji, Fangzhen Lin
From Turner's Logic of Universal Causation to the Logic of GK. Correct Reasoning (2012)
Fangzhen Lin, Mikhail Soutchanski
Causal Theories of Actions Revisited. AAAI (2011)
Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou
Loop-separable programs and their first-order definability. Artif. Intell. 175 (3-4) (2011)
Pingzhong Tang, Fangzhen Lin
Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs. Artif. Intell. 175 (14-15) (2011)
Fangzhen Lin, Yi Zhou
From answer set logic programming to circumscription via logic of GK. Artif. Intell. 175 (1) (2011)
Fangzhen Lin, Mikhail Soutchanski
Causal Theories of Actions Revisited. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Pingzhong Tang, Fangzhen Lin
Two equivalence results for two-person strict games. Games Econ. Behav. 71 (2) (2011)
Fangzhen Lin
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems CoRR (2011)
Fangzhen Lin
On Moving Objects in Dynamic Domains. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Yin Chen, Fangzhen Lin
Discovering Classes of Strongly Equivalent Logic Programs CoRR (2011)
Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou
Ordered Completion for First-Order Logic Programs on Finite Structures. AAAI (2010)
Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang
Weight constraint programs with evaluable functions. Ann. Math. Artif. Intell. 60 (3-4) (2010)
Pingzhong Tang, Yoav Shoham, Fangzhen Lin
Designing competitions between teams of individuals. Artif. Intell. 174 (11) (2010)
Xiaoping Chen, Jianmin Ji, Fangzhen Lin
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs. ICLP (2009)
Pingzhong Tang, Fangzhen Lin
Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs. IJCAI (2009)
Pingzhong Tang, Fangzhen Lin
Computer-aided proofs of Arrow's and other impossibility theorems. Artif. Intell. 173 (11) (2009)
Pingzhong Tang, Yoav Shoham, Fangzhen Lin
Team competition. AAMAS (1) (2009)
Yi Zhou, Fangzhen Lin, Yan Zhang
General default logic. Ann. Math. Artif. Intell. 57 (2) (2009)
Fangzhen Lin
Two Applications of Computer-Aided Theorem Discovery and Verification. KSEM (2009)
Fangzhen Lin, Jia-Huai You
Abductive Logic Programming by Nonground Rewrite Systems. AAAI (2008)
Xiaoping Chen, Jianmin Ji, Fangzhen Lin
Computing Loops with at Most One External Support Rule. KR (2008)
Fangzhen Lin, Pingzhong Tang
Computer-Aided Proofs of Arrow's and Other Impossibility Theorems. AAAI (2008)
Fangzhen Lin
Proving Goal Achievability. KR (2008)
Fangzhen Lin, Yisong Wang
Answer Set Programming with Functions. KR (2008)
Fangzhen Lin, Jia-Huai You
Recycling computed answers in rewrite systems for abduction. ACM Trans. Comput. Log. 8 (2) (2007)
Yi Zhou, Fangzhen Lin, Yan Zhang
General Default Logic. LPNMR (2007)
Abhaya C. Nayak, Yin Chen, Fangzhen Lin
Forgetting and Update -- an exploration. Formal Models of Belief Change in Rational Agents (2007)
Fangzhen Lin, Yin Chen
Discovering Classes of Strongly Equivalent Logic Programs. J. Artif. Intell. Res. 28 (2007)
Fangzhen Lin, Yi Zhou
From Answer Set Logic Programming to Circumscription via Logic of GK. IJCAI (2007)
Fangzhen Lin
Finitely-Verifiable Classes of Sentences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Mingyi Zhang, Ying Zhang, Fangzhen Lin
A characterization of answer sets for logic programs. Sci. China Ser. F Inf. Sci. 50 (1) (2007)
Abhaya C. Nayak, Yin Chen, Fangzhen Lin
Forgetting and Knowledge Update. Australian Conference on Artificial Intelligence (2006)
Joohyung Lee, Fangzhen Lin
Loop formulas for circumscription. Artif. Intell. 170 (2) (2006)
Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang
First-Order Loop Formulas for Normal Logic Programs. KR (2006)
Fangzhen Lin, Yin Chen
Discovering Classes of Strongly Equivalent Logic Programs. IJCAI (2005)
Yin Chen, Fangzhen Lin, Lei Li
SELP - A System for Studying Strong Equivalence between Logic Programs. Answer Set Programming (2005)
Yin Chen, Fangzhen Lin, Lei Li
SELP - A System for Studying Strong Equivalence Between Logic Programs. LPNMR (2005)
Joohyung Lee, Fangzhen Lin
Loop Formulas for Circumscription. AAAI (2004)
Fangzhen Lin, Xishun Zhao
On Odd and Even Cycles in Normal Logic Programs. AAAI (2004)
Fangzhen Lin, Jia-Huai You
Recycling Computed Answers in Rewrite Systems for Abduction CoRR (2004)
Fangzhen Lin
Discovering State Invariants. KR (2004)
Fangzhen Lin, Yuting Zhao
ASSAT: computing answer sets of a logic program by SAT solvers. Artif. Intell. 157 (1-2) (2004)
Fangzhen Lin, Jicheng Zhao
On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic. IJCAI (2003)
Fangzhen Lin
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems. J. Artif. Intell. Res. 19 (2003)
Fangzhen Lin, Jia-Huai You
Recycling Computed Answers in Rewrite Systems for Abduction. IJCAI (2003)
Jérôme Lang, Fangzhen Lin, Pierre Marquis
Causal Theories of Action: A Computational Core. IJCAI (2003)
Yuting Zhao, Fangzhen Lin
Answer Set Programming Phase Transition: A Study on Randomly Generated Programs. ICLP (2003)
Fangzhen Lin
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic. KR (2002)
Fangzhen Lin, Yuting Zhao
ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. AAAI/IAAI (2002)
Fangzhen Lin, Jia-Huai You
Abduction in logic programming: A new definition and an abductive procedure based on rewriting. Artif. Intell. 140 (1/2) (2002)
Fangzhen Lin
A Planner Called R. AI Mag. 22 (3) (2001)
Fangzhen Lin, Jia-Huai You
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. IJCAI (2001)
Fangzhen Lin
On strongest necessary and weakest sufficient conditions. Artif. Intell. 128 (1-2) (2001)

Fangzhen Lin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fangzhen Lin