Fangzhen LIN
林方真
PhD in Computer Science
Stanford University, 1991

Professor
Department of Computer Science and Engineering

Director of HKUST-Xiaoi Robot Joint Lab on Machine Learning and Cognitive Reasoning

Program Director of MSc Program in Information Technology



(852) 2358 6975
flin@ust.hk
Room 3557
Personal Web

---

Google Scholar
klFoxpYAAAAJ

ORCID
0000-0002-3141-8675

Scopus ID
7402777607




Research Interest Publications Projects Teaching Assignment RPG Supervision Space used




Research Interest

---

Artificial intelligence
Programming languages
Robotics
Multi-agent systems
Game theory and social choice theory



Publications

---

All Years 113 2022 0 2021 2 2020 2 2019 5 2018 2 2017 4 2016 98

---

Expand All Collapse All


2021 2

Incorporating EDS Graph for AMR Parsing
10th Conference on Lexical and Computational Semantics (SEM), Online, 5-6 August 2021
Shou, Ziyi; Lin, Fangzhen Conference paper
Parameterized Logical Theories
Proceedings of the AAAI Conference on Artificial Intelligence, v. 35, (7), 2021, article number 16794, p. 6402-6409
Lin, Fangzhen Conference paper

2020 2

Embedding High-Level Knowledge into DQNs to Learn Faster and More Safely
Proceedings of the AAAI Conference on Artificial Intelligence, v. 34, (9), 2020, p. 13608-13609
Gao, Zihang; Lin, Fangzhen; Zhou, Yi; Zhang, Hao; Wu, Kaishun; Zhang, Haodi Conference paper
Nice invincible strategy for the average-payoff IPD
Proceedings of the AAAI Conference on Artificial Intelligence, v. 34, (2), 2020, p. 2268-2275
Wang, Shiheng; Lin, Fangzhen Conference paper

2019 5

Causal Theories of Actions Revisited
10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011 - Proceedings, 2019
Lin, Fangzhen; Soutchanski, Mikhail Conference paper
Invincible Strategies of Iterated Prisoner's Dilemma
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, v. 4, 2019, p. 2256-2258
Wang, Shiheng; Lin, Fangzhen Conference paper
On Moving Objects in Dynamic Domains
10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011 - Proceedings, 2019
Lin, Fangzhen Conference paper
Translating classes to first-order logic: An example
Proceedings of the 21st Workshop on Formal Techniques for Java-Like Programs, FTfJP 2019 - Co-located with ECOOP 2019, July 2019
Lin, Fangzhen Conference paper
VIAP 1.1 (Competition Contribution)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 11429 LNCS, April 2019, p. 250-255
Rajkhowa, Pritom; Lin, Fangzhen Conference paper

2018 2

Machine Theorem Discovery
AI Magazine, v. 39, (2), June 2018, p. 53-59
Lin, Fangzhen Article
Extending VIAP to Handle Array Programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 11294 LNCS, 2018, p. 38-49
Rajkhowa, Pritom; Lin, Fangzhen Conference paper

2017 4

Characterizing Causal Action Theories and their Implementations in Answer Set Programming
Artificial Intelligence, v. 248, July 2017, p. 1-8
Zhang, Haodi; Lin, Fangzhen Article
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering: 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering: 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / Edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao. Switzerland: Springer, Cham, 2017. Lecture Notes in Computer Science, v. 9885.
Pan, Jeff; Calvanese, Diego; Eiter, Thomas; Horrocks, Ian; Kifer, Michael; Lin, Fangzhen; Zhao, Yuting Book
K-Memory Strategies in Repeated Games
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, v. 3, 2017, p. 1493-1495
Chen lijie; Lin, Fangzhen; Tang pingzhong; Wang kangning; Wang ruosong; Wang, Shiheng Conference paper
VIAP - automated system for verifying integer assignment programs with loops
Proceedings - 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, 9 November 2018, article number 8531278, p. 137-144
Rajkhowa, Pritom; Lin, Fangzhen Conference paper

2016 4

A formalization of programs in first-order logic with a discrete linear order
Artificial Intelligence, v. 235, June 2016, p. 1-25
Lin, Fangzhen Article
A Model for Phase Transition of Random Answer-Set Programs
ACM Transactions on Computational Logic, v. 17, (3), June 2016, article number 22
Wen, Lian; Wang, Kewen; Shen, Yi-Dong; Lin, Fangzhen Article
Mapping Action Language BC to Logic Programs: A Characterization by Postulates
Proceedings of the AAAI Conference on Artificial Intelligence, v. 30, (1), 2016, article number 10106, p. 1116-1122
Zhang, Haodi; Lin, Fangzhen Conference paper
Multi-disciplinary Trends in Artificial Intelligence: 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10053 LNAI, 2016
Sombattheera, Chattrakul; Stolzenburg, Frieder; Lin, Fangzhen; Nayak, Abhaya Conference paper

2015 3

Position Systems in Dynamic Domains
Journal of Philosophical Logic, v. 44, (2), April 2015, p. 147-161
Ji, Jianmin; Lin, Fangzhen Article
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 9426, 2015
Lin, Fangzhen Conference paper
Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C and Beyond
IJCAI International Joint Conference on Artificial Intelligence, v. 2015-January, 2015, p. 3285-3291
Zhang, Haodi; Lin, Fangzhen Conference paper

2014 4

A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations
14th International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria, 20-24 July 2014
Lin, Fangzhen Conference paper
A First-order Semantics for Golog and ConGolog under a Second-order Induction Axiom on Situations
AAAI Spring Symposium - Technical Report, v. SS-14-05, 2014, p. 39-46
Lin, F. Conference paper
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
14th International Conference on the Principles of Knowledge Representation and Reasoning, 2014, p. 338-347
Lin, Fangzhen Conference paper
On Computing Optimal Strategies in Open List Proportional Representation: The Two Parties Case
Proceedings of the AAAI Conference on Artificial Intelligence, v. 28, (1), 2014, article number 8888, p. 1419-1425
Ding, Ning; Lin, Fangzhen Conference paper

2013 4

Computing Loops with at Most One External Support Rule
ACM Transactions on Computational Logic, v. 14, (1), February 2013, article number 3
Chen, Xiaoping; Ji, Jianmin; Lin, Fangzhen Article
Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms
Theory and Practice of Logic Programming, v. 13, (4-5), July 2013
Ji, Jianming; Lin, Fangzhen; You, Jiahuai Article
Turner’s Logic of Universal Causation, Propositional Logic, and Logic Programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 8148 LNAI, 2013, p. 401-413
Ji, Jianming; Lin, Fangzhen Conference paper
Voting with Partial Information: What Questions to Ask?
Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems, Richland, SC : International Foundation for Autonomous Agents and Multiagent Systems, 2013, p. 1237-1238
Ding, Ning; Lin, Fangzhen Conference paper

2012 3

From Turner's logic of universal causation to the logic of GK
Lecture Notes in Computer Science, v. 7265, 2012, p. 380-385
Ji, J.; Lin, F. Article
Ordered completion for first-order logic programs on finite structures
Artificial intelligence, v. 177-179, 2012, Feb-Mar, p. 1-24
Asuncion, V.; Lin, F.; Zhang, Y.; Zhou, Y. Article
A well-founded semantics for basic logic programs with arbitrary abstract constraint atoms
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2012, p. 835-841
Wang, Y.; Lin, F.; Zhang, M.; You, J.H. Conference paper

2011 7

Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs
Artificial intelligence, v. 175, (14-15), 2011, Sep, p. 2010-2020
Tang, Pingzhong; Lin, Fangzhen Article
From answer set logic programming to circumscription via logic of GK
Artificial Intelligence, v. 175, (1), 2011, Jan, p. 264-277
Lin, Fangzhen; Zhou, Yi Article
Loop-separable programs and their first-order definability
Artificial intelligence, v. 175, (3-4), March 2011, p. 890-913
Chen, Yin; Lin, Fangzhen; Zhang, Yan; Zhou, Yi Article
Two equivalence results for two-person strict games
Games and economic behavior, v. 71, (2), March 2011, p. 479-486
Tang, Pingzhong; Lin, Fangzhen Article
Causal theories of actions revisited
AAAI Spring Symposium - Technical Report, v. 0, 2011, p. 69-75
Lin, F.; Soutchanski, M. Conference paper
Causal theories of actions revisited
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2011, p. 235-240
Lin, Fangzhen; Soutchanski, Mikhail Conference paper
On moving objects in dynamic domains
AAAI Spring Symposium - Technical Report, v. 0, 2011, p. 151-155
Lin, F. Conference paper

2010 4

Designing competitions between teams of individuals
Artificial intelligence, v. 174, (11), 2010, JUL, p. 749-766
Tang, Pingzhong; Shoham, Yoav; Lin, Fangzhen Article
Weight constraint programs with evaluable functions
Annals of mathematics and artificial intelligence, v. 60, December 2010, p. 341-380
Wang, Yisong; You, Jia-Huai; Lin, Fangzhen; Yuan, Li Yan; Zhang, Mingyi Article
KR proceedings, Twelfth International Conference on Principles of Knowledge Representation and Reasoning
KR proceedings, Twelfth International Conference on Principles of Knowledge Representation and Reasoning / Edited by Fangzhen Lin; Ulrike Sattler; Miroslaw Truszczynski. Menlo Park, Calif. : AAAI Press, 2010
Lin, Fangzhen; Sattler, Ulrike; Truszczynski, Miroslaw Book
Ordered completion for first-order logic programs on finite structures
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2010, p. 249-254
Asuncion, V.; Lin, F.; Zhang, Y.; Zhou, Y. Conference paper

2009 7

Computer-aided proofs of Arrow's and other impossibility theorems
Artificial intelligence, v. 173, (11), 2009, JUL, p. 1041-1053
Tang, Pingzhong; Lin, Fangzhen Article
General default logic
Annals of mathematics and artificial intelligence, v. 57, (2), 2009, OCT, p. 125-160
Zhou, Yi; Lin, Fangzhen; Zhang, Yan Article
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, Lpnmr 2009, Potsdam, Germany, September 14-18, 2009: Proceedings
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, Lpnmr 2009, Potsdam, Germany, September 14-18, 2009: Proceedings / Edited by Esra Erdem, Fangzhen Lin, Torsten Schaub. Berlin: Springer-Verlag, c2009
Erdem, Esra; Lin, Fangzhen; Schaub, Torsten Book
Computing loops with at most one external support rule for disjunctive logic programs
Lecture Notes in Computer Science, v. 5649, 2009, p. 130-144
Chen, X.; Ji, J.; Lin, F. Conference paper
Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs
21st International Joint Conference on Artificial Intelligence, Pasadena, United States, 11-17 July 2009, 2009, p. 312-317
Tang, Pingzhong; Lin, Fangzhen Conference paper
Team competition
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, v. 2, 2009, p. 934-941
Tang, Pingzhong; Shoham, Yoav; Lin, Fangzhen Conference paper
Two Applications of Computer-Aided Theorem Discovery and Verification
KSEM 2009
Lin, Fangzhen Conference paper

2008 5

Abductive logic programming by nonground rewrite systems
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2008, p. 480-485
Lin, F.; You, J.H. Conference paper
Answer Set Programming with Functions
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning, Sydney, Australia, September 16-19, 2008, 2008, p. 454-464
Lin, Fangzhen; Wang, Yisong Conference paper
Computer-aided proofs of arrow's and other impossibility theorems
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2008, p. 114-119
Lin, F.; Tang, P. Conference paper
Computing Loops with at Most One External Support Rule
Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, KR 2008, 2008, p. 401-410
Chen, Xiaoping; Ji, Jianmin; Lin, Fangzhen Conference paper
Proving Goal Achievability
Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, KR 2008, 2008, p. 621-628
Lin, Fangzhen Conference paper

2007 6

A characterization of answer sets for logic programs
Science in China Series f-information sciences, v. 50, (1), 2007, FEB, p. 46-62
Zhang, MingYi; Ying, Zhang; Lin, FangZhen Article
Discovering classes of strongly equivalent logic programs
Journal of artificial intelligence research, v. 28, 2007, p. 431-451
Lin, Fangzhen; Chen, Yin Article
Recycling computed answers in rewrite systems for abduction
ACM transactions on computational logic, v. 8, (2), 2007
Lin, Fangzhen; You, Jia-Huai Article
Forgetting and Update -- an exploration
Giacomo Bonanno, James P. Delgrande, Jerome Lang, Hans Rott (Eds.): Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007. Dagstuhl Seminar Proceedings, 26.08. - 30.08.2007
Nayak, Abhaya; Chen, Yin; Lin, Fangzhen Conference paper
From Answer Set Logic Programming to Circumscription via Logic of GK
20th International Joint Conference on Artificial Intelligence, Hyderabad, India, 6-12 January 2007, 2007, p. 441-446
Lin, Fangzhen; Zhou, Yi Conference paper
General default logic
9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007, Tempe, AZ, United States, 15-17 May 2007; Lecture Notes in Computer Science, v. 4483 LNAI, 2007, p. 241-253
Zhou, Yi; Lin, Fangzhen; Zhang, Yan Conference paper

2006 3

Loop formulas for circumscription
Artificial intelligence, v. 170, (2), 2006, FEB, p. 160-185
Lee, J.; Lin, FZ Article
First-Order Loop Formulas for Normal Logic Programs
10th International Conference on Principles of Knowledge Representation and Reasoning Lake District of the UK,, June 2 to 5, 2006
Chen, Yin; Lin, Fangzhen; Wang, Yisong; Zhang, Mingyi Conference paper
Forgetting and Knowledge Update
Australian Conference on Artificial Intelligence 2006, 131-140, December 2006
Nayak, Abhaya; Chen, Yin; Lin, Fangzhen Conference paper

2005 1

SELP - A system for studying strong equivalence between logic programs
Lecture Notes in Artificial Intelligence, v. 3662, 2005, p. 442-446
Chen, Y.; Lin, FZ; Li, L. Article

2004 4

ASSAT: computing answer sets of a logic program by SAT solvers
Artificial intelligence, v. 157, (1-2), 2004, AUG, p. 115-137
Lin, FZ; Zhao, YT Article
Discovering state invariants
International Conference on Principles of Knowledge Representation and Reasoning, June 2-5
Lin, Fangzhen Conference paper
Loop formulas for circumscription
Proceedings of the National Conference on Artificial Intelligence, 2004, p. 281-286
Lee, J.; Lin, F. Conference paper
On odd and even cycles in normal logic programs
Proceedings of the National Conference on Artificial Intelligence, 2004, p. 80-85
Lin, F.; Zhao, X. Conference paper

2003 5

Answer set programming phase transition: A study on randomly generated programs
Lecture Notes in Computer Science, v. 2916, 2003, p. 239-253
Zhao, YT; Lin, FZ Article
Compiling causal theories to successor state axioms and STRIPS-like systems
Journal of artificial intelligence research, v. 19, 2003, p. 279-314
Lin, FZ Article
Causal Theories of Action: A Computational Core
International Joint Conference on Artificial Intelligence, August
Lang, Jerome; Lin, Fangzhen; Marquis, Pierre Conference paper
On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic
International Joint Conference on Artificial Intelligence, August
Lin, Fangzhen; Zhao, Jicheng Conference paper
Recycling Computed Answers in Rewrite Systems for Abduction
International Joint Conference on Artificial Intelligence, August
Lin, Fangzhen; You, Jia-Huai Conference paper

2002 3

Abduction in logic programming: A new definition and an abductive procedure based on rewriting
Artificial intelligence, v. 140, (1-2), 2002, SEP, p. 175-205
Lin, Fangzhen; You, Jia-Huai Article
ASSAT: Computing answer sets of a logic program by sat solvers
Proceedings of the National Conference on Artificial Intelligence, 2002, p. 112-117
Lin, F.; Zhao, Y. Conference paper
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic
International Conference on Principles of Knowledge Representation and Reasoning, Toulouse, France, 170-176
Lin, Fangzhen Conference paper

2001 4

On strongest necessary and weakest sufficient conditions
Artificial intelligence, v. 128, (1-2), 2001, MAY, p. 143-159
Lin, FZ Article
A New Semantics For Logic Programs
Handbook of Defeasible Reasoning and Uncertainty Management Systems / Vol. 6/ Edited by Dov M. Gabbay, Philippe Smets. Dordrecht: Kluwer Academic Publishers, 2001, p. 217-248
Lin, Fangzhen; Reiter, Raymond Book chapter
A planner called R
AI Magazine, v. 22, (3), 2001, p. 73-76
Lin, F. Conference paper
Abduction in Logic Programming: A new Definition and an Abduction Procedure Based on Rewriting
International Joint Conference on Artificial Intelligence (IJCAI), Seattle, WA, USA, 655-666
Lin, Fangzhen; You, Jia-Huai Conference paper

2000 2

Alternating Fixpoint Theory for Logic Programs with Priority
Lecture Notes in Artificial Intelligence, v. 1861, 2000, p. 164-178
Wang, Kewen; Zhou, Lizhu; Lin, Fangzhen Article
From causal theories to successor state axioms and STRIPS-like systems
SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, p. 786-791
Lin, FZ Conference paper

1999 1

From Causal Theories to Logic Programs
Lecture Notes in Artificial Intelligence, v. 1730, 1999, p. 117-131
Lin, Fangzhen; Wang, Kewen Conference paper

1998 3

Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
Artificial intelligence, v. 103, (1-2), 1998, August, p. 273-294
Lin, FZ Article
What robots can do: robot programs and effective achievability
Artificial intelligence, v. 101, (1-2), 1998, MAY, p. 201-226
Lin, FZ; Levesque, HJ Article
On measuring plan quality
Proc. of the Sixth Int. Conf. on Principles of Knowledge Representation and Reasoning (KR"98), Trento, Italy, June 1998, p. 224-233
Lin, Fangzhen Conference paper

1997 5

An ordering on subgoals for planning
Annals of mathematics and artificial intelligence, v. 21, (2-4), 1997, p. 321-342
Lin, FZ Article
Golog: A logic programming language for dynamic domains
Journal of Logic Programming, v. 31, (1-3), 1997
Levesque, H.J.; Reiter, R.; Lespérance, Y.; Lin, F.; Scherl, R.B. Article
How to progress a database
Artificial Intelligence, v. 92, (1-2), 1997, p. 131-167
Lin, Fangzhen; Reiter, Raymond Article
Rules as Actions - a situation calculus semantics for logic programs
J. of Logic Programming, v. 31, 1997, p. 299-330
Lin, Fangzhen; Reiter, Raymond Article
Applications of the situation calculus to formalizing control and strategic information: The Prolog cut operator
IJCAI, 1997, p. 1412-1418
Lin, Fangzhen Conference paper

1996 2

Embracing causality in specifying the effects of indeterminate actions
Proceedings of AAAI"96, 1996, p. 670-676
Lin, Fangzhen Conference paper
Foundations of a Logical Approach to Agent Programming
Intelligent Agents, v. II, Edited by Michael Wooldridge, Joerg P. Mueller, and Milind Tambe. Springer-Verlag, 1996, p. 331-346
Lesp’erance, Yves; Levesque, Hector; Lin, Fangzhen; Marcu, Daniel; Reiter, Raymond; Scherl, Richard Conference paper

1995 4

Provably correct theories of action
J. of ACM, v. 42, (2), 1995, p. 293-320
Lin, Fangzhen; Shoham, Yoav Article
Distributed Software Agents and Communication in the Situation Calculus
Proc. of Intelligent Computer Communication Conf., Cluj-Napoca, Romania, June 1995
Marcu, Daniel; Lesp’erance, Yves; Levesque, Hector; Lin, Fangzhen; Reiter, Raymond; Scherl, Richard Conference paper
Embracing causality in specifying the indirect effects of actions
Proc. of the Fourteenth Int. Joint Conf. on AI (IJCAI"95), 1995, p. 1985–1993
Lin, Fangzhen Conference paper
How to progress a database II: The STRIPS connection
Proc. of the Fourteenth Int. Joint Conf. on AI (IJCAI"95), 1995, p. 2001–2007
Lin, Fangzhen; Reiter, Raymond Conference paper

1994 2

State Constraints Revisited
Journal of Logic and Computation Special Issue on Action and Processes, v. 4. (5), 1994, p. 655-678
Lin, Fangzhen; Reiter, Raymond Article
How to progress a database (and why) I: Formal foundations
Proc. of the Fourth Int. Conf. on Principles of Knowledge Representation and Reasoning (KR"94), Bonn, Germany, 1994, p. 425-436
Lin, Fangzhen; Reiter, Raymond Conference paper

1993 2

An argument-based approach to nonmonotonic reasoning
Computational Intelligence, v. 9, 1993, p. 224-267
Lin, Fangzhen Article
On non-forgetting and minimal learning
Proc. of the 1993 Int. Coll. on Cognitive Science, Edited by N. Asher, K. Korta, and J. Ezquerro. Kluwer Academic Publishers, 1993
Lin, Fangzhen; Shoham, Yoav Conference paper

1992 3

A logic of knowledge and justified assumptions
Artificial Intelligence, v. 57, 1992, p. 271-289
Lin, Fangzhen; Shoham, Yoav Article
Concurrent actions in the situation calculus
Proc. of the Tenth National Conf. on AI (AAAI"92), 1992, p. 590–595
Lin, Fangzhen; Shoham, Yoav Conference paper
Default reasoning as negation-as-failure
Proc. of the 2nd Pacific Rim Int. Conf. on AI, September 1992, p. 728–731
Lin, Fangzhen Conference paper

1991 2

Hyperfine structure of La I in a cathode discharge tube
Chinese Physics Letters, v. 8, 1991, p. 67-70
Luo, C.; Qu, Jianan; Zhu, L.; Lin, F. Article
Provably correct theories of action
Proc. of the Ninth National Conf. on AI (AAAI"91), 1991, p. 349–354
Lin, Fangzhen; Shoham, Yoav Conference paper

1990 2

Studies on the hyperfine structure of La I in a hollow cathode discharge tube
Journal of Physics D: Applied Physics, v. 23, 1990, 1327-1328
Luo, C.; Qu, Jianan; Zhu, L.; Lin, F. Article
Epistemic semantics for fixed-point nonmonotonic logics
Proc. of the Third Conf. on Theoretical Aspects of Reasoning about Knowledge, Asilomar, CA, March 1990, p. 111–120
Lin, Fangzhen; Shoham, Yoav Conference paper

1989 1

Argument systems: a uniform basis for nonmonotonic reasoning
Proc. of the First Int. Conf. on Knowledge Representation and Reasoning, 1989, p. 245–255
Lin, Fangzhen; Shoham, Yoav Conference paper

1988 1

Circumscription in a modal logic
Proc. of the Second Conf. on Theoretical Aspects of Reasoning about Knowledge, Asilomar, CA, March 1988, p. 113–128
Lin, Fangzhen Conference paper

1987 1

Reasoning in the presence of inconsistency
Proc. of the Sixth National Conf. on AI (AAAI"87), Seattle, WA, 1987, p. 139–143
Lin, Fangzhen Conference paper


Expand All Collapse All


Conference paper 2

Incorporating EDS Graph for AMR Parsing
10th Conference on Lexical and Computational Semantics (SEM), Online, 5-6 August 2021
Shou, Ziyi; Lin, Fangzhen
Parameterized Logical Theories
Proceedings of the AAAI Conference on Artificial Intelligence, v. 35, (7), 2021, article number 16794, p. 6402-6409
Lin, Fangzhen


Expand All Collapse All


Conference paper 2

Embedding High-Level Knowledge into DQNs to Learn Faster and More Safely
Proceedings of the AAAI Conference on Artificial Intelligence, v. 34, (9), 2020, p. 13608-13609
Gao, Zihang; Lin, Fangzhen; Zhou, Yi; Zhang, Hao; Wu, Kaishun; Zhang, Haodi
Nice invincible strategy for the average-payoff IPD
Proceedings of the AAAI Conference on Artificial Intelligence, v. 34, (2), 2020, p. 2268-2275
Wang, Shiheng; Lin, Fangzhen


Expand All Collapse All


Conference paper 5

Causal Theories of Actions Revisited
10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011 - Proceedings, 2019
Lin, Fangzhen; Soutchanski, Mikhail
Invincible Strategies of Iterated Prisoner's Dilemma
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, v. 4, 2019, p. 2256-2258
Wang, Shiheng; Lin, Fangzhen
On Moving Objects in Dynamic Domains
10th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2011 - Proceedings, 2019
Lin, Fangzhen
Translating classes to first-order logic: An example
Proceedings of the 21st Workshop on Formal Techniques for Java-Like Programs, FTfJP 2019 - Co-located with ECOOP 2019, July 2019
Lin, Fangzhen
VIAP 1.1 (Competition Contribution)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 11429 LNCS, April 2019, p. 250-255
Rajkhowa, Pritom; Lin, Fangzhen


Expand All Collapse All


Article 1

Machine Theorem Discovery
AI Magazine, v. 39, (2), June 2018, p. 53-59
Lin, Fangzhen

Conference paper 1

Extending VIAP to Handle Array Programs
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 11294 LNCS, 2018, p. 38-49
Rajkhowa, Pritom; Lin, Fangzhen


Expand All Collapse All


Article 1

Characterizing Causal Action Theories and their Implementations in Answer Set Programming
Artificial Intelligence, v. 248, July 2017, p. 1-8
Zhang, Haodi; Lin, Fangzhen

Book 1

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering: 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering: 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures / Edited by Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao. Switzerland: Springer, Cham, 2017. Lecture Notes in Computer Science, v. 9885.
Pan, Jeff; Calvanese, Diego; Eiter, Thomas; Horrocks, Ian; Kifer, Michael; Lin, Fangzhen; Zhao, Yuting

Conference paper 2

K-Memory Strategies in Repeated Games
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, v. 3, 2017, p. 1493-1495
Chen lijie; Lin, Fangzhen; Tang pingzhong; Wang kangning; Wang ruosong; Wang, Shiheng
VIAP - automated system for verifying integer assignment programs with loops
Proceedings - 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, 9 November 2018, article number 8531278, p. 137-144
Rajkhowa, Pritom; Lin, Fangzhen


Expand All Collapse All


Article 2

A formalization of programs in first-order logic with a discrete linear order
Artificial Intelligence, v. 235, June 2016, p. 1-25
Lin, Fangzhen
A Model for Phase Transition of Random Answer-Set Programs
ACM Transactions on Computational Logic, v. 17, (3), June 2016, article number 22
Wen, Lian; Wang, Kewen; Shen, Yi-Dong; Lin, Fangzhen

Conference paper 2

Mapping Action Language BC to Logic Programs: A Characterization by Postulates
Proceedings of the AAAI Conference on Artificial Intelligence, v. 30, (1), 2016, article number 10106, p. 1116-1122
Zhang, Haodi; Lin, Fangzhen
Multi-disciplinary Trends in Artificial Intelligence: 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10053 LNAI, 2016
Sombattheera, Chattrakul; Stolzenburg, Frieder; Lin, Fangzhen; Nayak, Abhaya


Expand All Collapse All


Article 1

Position Systems in Dynamic Domains
Journal of Philosophical Logic, v. 44, (2), April 2015, p. 147-161
Ji, Jianmin; Lin, Fangzhen

Conference paper 2

A Formalization of Programs in First-Order Logic with a Discrete Linear Order
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 9426, 2015
Lin, Fangzhen
Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C and Beyond
IJCAI International Joint Conference on Artificial Intelligence, v. 2015-January, 2015, p. 3285-3291
Zhang, Haodi; Lin, Fangzhen


Expand All Collapse All


Conference paper 4

A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations
14th International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria, 20-24 July 2014
Lin, Fangzhen
A First-order Semantics for Golog and ConGolog under a Second-order Induction Axiom on Situations
AAAI Spring Symposium - Technical Report, v. SS-14-05, 2014, p. 39-46
Lin, F.
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
14th International Conference on the Principles of Knowledge Representation and Reasoning, 2014, p. 338-347
Lin, Fangzhen
On Computing Optimal Strategies in Open List Proportional Representation: The Two Parties Case
Proceedings of the AAAI Conference on Artificial Intelligence, v. 28, (1), 2014, article number 8888, p. 1419-1425
Ding, Ning; Lin, Fangzhen


Expand All Collapse All


Article 2

Computing Loops with at Most One External Support Rule
ACM Transactions on Computational Logic, v. 14, (1), February 2013, article number 3
Chen, Xiaoping; Ji, Jianmin; Lin, Fangzhen
Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms
Theory and Practice of Logic Programming, v. 13, (4-5), July 2013
Ji, Jianming; Lin, Fangzhen; You, Jiahuai

Conference paper 2

Turner’s Logic of Universal Causation, Propositional Logic, and Logic Programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 8148 LNAI, 2013, p. 401-413
Ji, Jianming; Lin, Fangzhen
Voting with Partial Information: What Questions to Ask?
Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems, Richland, SC : International Foundation for Autonomous Agents and Multiagent Systems, 2013, p. 1237-1238
Ding, Ning; Lin, Fangzhen


Expand All Collapse All


Article 2

From Turner's logic of universal causation to the logic of GK
Lecture Notes in Computer Science, v. 7265, 2012, p. 380-385
Ji, J.; Lin, F.
Ordered completion for first-order logic programs on finite structures
Artificial intelligence, v. 177-179, 2012, Feb-Mar, p. 1-24
Asuncion, V.; Lin, F.; Zhang, Y.; Zhou, Y.

Conference paper 1

A well-founded semantics for basic logic programs with arbitrary abstract constraint atoms
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2012, p. 835-841
Wang, Y.; Lin, F.; Zhang, M.; You, J.H.


Expand All Collapse All


Article 4

Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs
Artificial intelligence, v. 175, (14-15), 2011, Sep, p. 2010-2020
Tang, Pingzhong; Lin, Fangzhen
From answer set logic programming to circumscription via logic of GK
Artificial Intelligence, v. 175, (1), 2011, Jan, p. 264-277
Lin, Fangzhen; Zhou, Yi
Loop-separable programs and their first-order definability
Artificial intelligence, v. 175, (3-4), March 2011, p. 890-913
Chen, Yin; Lin, Fangzhen; Zhang, Yan; Zhou, Yi
Two equivalence results for two-person strict games
Games and economic behavior, v. 71, (2), March 2011, p. 479-486
Tang, Pingzhong; Lin, Fangzhen

Conference paper 3

Causal theories of actions revisited
AAAI Spring Symposium - Technical Report, v. 0, 2011, p. 69-75
Lin, F.; Soutchanski, M.
Causal theories of actions revisited
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2011, p. 235-240
Lin, Fangzhen; Soutchanski, Mikhail
On moving objects in dynamic domains
AAAI Spring Symposium - Technical Report, v. 0, 2011, p. 151-155
Lin, F.


Expand All Collapse All


Article 2

Designing competitions between teams of individuals
Artificial intelligence, v. 174, (11), 2010, JUL, p. 749-766
Tang, Pingzhong; Shoham, Yoav; Lin, Fangzhen
Weight constraint programs with evaluable functions
Annals of mathematics and artificial intelligence, v. 60, December 2010, p. 341-380
Wang, Yisong; You, Jia-Huai; Lin, Fangzhen; Yuan, Li Yan; Zhang, Mingyi

Book 1

KR proceedings, Twelfth International Conference on Principles of Knowledge Representation and Reasoning
KR proceedings, Twelfth International Conference on Principles of Knowledge Representation and Reasoning / Edited by Fangzhen Lin; Ulrike Sattler; Miroslaw Truszczynski. Menlo Park, Calif. : AAAI Press, 2010
Lin, Fangzhen; Sattler, Ulrike; Truszczynski, Miroslaw

Conference paper 1

Ordered completion for first-order logic programs on finite structures
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2010, p. 249-254
Asuncion, V.; Lin, F.; Zhang, Y.; Zhou, Y.


Expand All Collapse All


Article 2

Computer-aided proofs of Arrow's and other impossibility theorems
Artificial intelligence, v. 173, (11), 2009, JUL, p. 1041-1053
Tang, Pingzhong; Lin, Fangzhen
General default logic
Annals of mathematics and artificial intelligence, v. 57, (2), 2009, OCT, p. 125-160
Zhou, Yi; Lin, Fangzhen; Zhang, Yan

Book 1

Logic Programming and Nonmonotonic Reasoning: 10th International Conference, Lpnmr 2009, Potsdam, Germany, September 14-18, 2009: Proceedings
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, Lpnmr 2009, Potsdam, Germany, September 14-18, 2009: Proceedings / Edited by Esra Erdem, Fangzhen Lin, Torsten Schaub. Berlin: Springer-Verlag, c2009
Erdem, Esra; Lin, Fangzhen; Schaub, Torsten

Conference paper 4

Computing loops with at most one external support rule for disjunctive logic programs
Lecture Notes in Computer Science, v. 5649, 2009, p. 130-144
Chen, X.; Ji, J.; Lin, F.
Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs
21st International Joint Conference on Artificial Intelligence, Pasadena, United States, 11-17 July 2009, 2009, p. 312-317
Tang, Pingzhong; Lin, Fangzhen
Team competition
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, v. 2, 2009, p. 934-941
Tang, Pingzhong; Shoham, Yoav; Lin, Fangzhen
Two Applications of Computer-Aided Theorem Discovery and Verification
KSEM 2009
Lin, Fangzhen


Expand All Collapse All


Conference paper 5

Abductive logic programming by nonground rewrite systems
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2008, p. 480-485
Lin, F.; You, J.H.
Answer Set Programming with Functions
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning, Sydney, Australia, September 16-19, 2008, 2008, p. 454-464
Lin, Fangzhen; Wang, Yisong
Computer-aided proofs of arrow's and other impossibility theorems
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2008, p. 114-119
Lin, F.; Tang, P.
Computing Loops with at Most One External Support Rule
Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, KR 2008, 2008, p. 401-410
Chen, Xiaoping; Ji, Jianmin; Lin, Fangzhen
Proving Goal Achievability
Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, KR 2008, 2008, p. 621-628
Lin, Fangzhen


Expand All Collapse All


Article 3

A characterization of answer sets for logic programs
Science in China Series f-information sciences, v. 50, (1), 2007, FEB, p. 46-62
Zhang, MingYi; Ying, Zhang; Lin, FangZhen
Discovering classes of strongly equivalent logic programs
Journal of artificial intelligence research, v. 28, 2007, p. 431-451
Lin, Fangzhen; Chen, Yin
Recycling computed answers in rewrite systems for abduction
ACM transactions on computational logic, v. 8, (2), 2007
Lin, Fangzhen; You, Jia-Huai

Conference paper 3

Forgetting and Update -- an exploration
Giacomo Bonanno, James P. Delgrande, Jerome Lang, Hans Rott (Eds.): Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007. Dagstuhl Seminar Proceedings, 26.08. - 30.08.2007
Nayak, Abhaya; Chen, Yin; Lin, Fangzhen
From Answer Set Logic Programming to Circumscription via Logic of GK
20th International Joint Conference on Artificial Intelligence, Hyderabad, India, 6-12 January 2007, 2007, p. 441-446
Lin, Fangzhen; Zhou, Yi
General default logic
9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007, Tempe, AZ, United States, 15-17 May 2007; Lecture Notes in Computer Science, v. 4483 LNAI, 2007, p. 241-253
Zhou, Yi; Lin, Fangzhen; Zhang, Yan


Expand All Collapse All


Article 1

Loop formulas for circumscription
Artificial intelligence, v. 170, (2), 2006, FEB, p. 160-185
Lee, J.; Lin, FZ

Conference paper 2

First-Order Loop Formulas for Normal Logic Programs
10th International Conference on Principles of Knowledge Representation and Reasoning Lake District of the UK,, June 2 to 5, 2006
Chen, Yin; Lin, Fangzhen; Wang, Yisong; Zhang, Mingyi
Forgetting and Knowledge Update
Australian Conference on Artificial Intelligence 2006, 131-140, December 2006
Nayak, Abhaya; Chen, Yin; Lin, Fangzhen


Expand All Collapse All


Article 1

SELP - A system for studying strong equivalence between logic programs
Lecture Notes in Artificial Intelligence, v. 3662, 2005, p. 442-446
Chen, Y.; Lin, FZ; Li, L.


Expand All Collapse All


Article 1

ASSAT: computing answer sets of a logic program by SAT solvers
Artificial intelligence, v. 157, (1-2), 2004, AUG, p. 115-137
Lin, FZ; Zhao, YT

Conference paper 3

Discovering state invariants
International Conference on Principles of Knowledge Representation and Reasoning, June 2-5
Lin, Fangzhen
Loop formulas for circumscription
Proceedings of the National Conference on Artificial Intelligence, 2004, p. 281-286
Lee, J.; Lin, F.
On odd and even cycles in normal logic programs
Proceedings of the National Conference on Artificial Intelligence, 2004, p. 80-85
Lin, F.; Zhao, X.


Expand All Collapse All


Article 2

Answer set programming phase transition: A study on randomly generated programs
Lecture Notes in Computer Science, v. 2916, 2003, p. 239-253
Zhao, YT; Lin, FZ
Compiling causal theories to successor state axioms and STRIPS-like systems
Journal of artificial intelligence research, v. 19, 2003, p. 279-314
Lin, FZ

Conference paper 3

Causal Theories of Action: A Computational Core
International Joint Conference on Artificial Intelligence, August
Lang, Jerome; Lin, Fangzhen; Marquis, Pierre
On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic
International Joint Conference on Artificial Intelligence, August
Lin, Fangzhen; Zhao, Jicheng
Recycling Computed Answers in Rewrite Systems for Abduction
International Joint Conference on Artificial Intelligence, August
Lin, Fangzhen; You, Jia-Huai


Expand All Collapse All


Article 1

Abduction in logic programming: A new definition and an abductive procedure based on rewriting
Artificial intelligence, v. 140, (1-2), 2002, SEP, p. 175-205
Lin, Fangzhen; You, Jia-Huai

Conference paper 2

ASSAT: Computing answer sets of a logic program by sat solvers
Proceedings of the National Conference on Artificial Intelligence, 2002, p. 112-117
Lin, F.; Zhao, Y.
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic
International Conference on Principles of Knowledge Representation and Reasoning, Toulouse, France, 170-176
Lin, Fangzhen


Expand All Collapse All


Article 1

On strongest necessary and weakest sufficient conditions
Artificial intelligence, v. 128, (1-2), 2001, MAY, p. 143-159
Lin, FZ

Book chapter 1

A New Semantics For Logic Programs
Handbook of Defeasible Reasoning and Uncertainty Management Systems / Vol. 6/ Edited by Dov M. Gabbay, Philippe Smets. Dordrecht: Kluwer Academic Publishers, 2001, p. 217-248
Lin, Fangzhen; Reiter, Raymond

Conference paper 2

A planner called R
AI Magazine, v. 22, (3), 2001, p. 73-76
Lin, F.
Abduction in Logic Programming: A new Definition and an Abduction Procedure Based on Rewriting
International Joint Conference on Artificial Intelligence (IJCAI), Seattle, WA, USA, 655-666
Lin, Fangzhen; You, Jia-Huai


Expand All Collapse All


Article 1

Alternating Fixpoint Theory for Logic Programs with Priority
Lecture Notes in Artificial Intelligence, v. 1861, 2000, p. 164-178
Wang, Kewen; Zhou, Lizhu; Lin, Fangzhen

Conference paper 1

From causal theories to successor state axioms and STRIPS-like systems
SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, p. 786-791
Lin, FZ


Expand All Collapse All


Conference paper 1

From Causal Theories to Logic Programs
Lecture Notes in Artificial Intelligence, v. 1730, 1999, p. 117-131
Lin, Fangzhen; Wang, Kewen


Expand All Collapse All


Article 2

Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
Artificial intelligence, v. 103, (1-2), 1998, August, p. 273-294
Lin, FZ
What robots can do: robot programs and effective achievability
Artificial intelligence, v. 101, (1-2), 1998, MAY, p. 201-226
Lin, FZ; Levesque, HJ

Conference paper 1

On measuring plan quality
Proc. of the Sixth Int. Conf. on Principles of Knowledge Representation and Reasoning (KR"98), Trento, Italy, June 1998, p. 224-233
Lin, Fangzhen


Expand All Collapse All


Article 4

An ordering on subgoals for planning
Annals of mathematics and artificial intelligence, v. 21, (2-4), 1997, p. 321-342
Lin, FZ
Golog: A logic programming language for dynamic domains
Journal of Logic Programming, v. 31, (1-3), 1997
Levesque, H.J.; Reiter, R.; Lespérance, Y.; Lin, F.; Scherl, R.B.
How to progress a database
Artificial Intelligence, v. 92, (1-2), 1997, p. 131-167
Lin, Fangzhen; Reiter, Raymond
Rules as Actions - a situation calculus semantics for logic programs
J. of Logic Programming, v. 31, 1997, p. 299-330
Lin, Fangzhen; Reiter, Raymond

Conference paper 1

Applications of the situation calculus to formalizing control and strategic information: The Prolog cut operator
IJCAI, 1997, p. 1412-1418
Lin, Fangzhen


Expand All Collapse All


Conference paper 2

Embracing causality in specifying the effects of indeterminate actions
Proceedings of AAAI"96, 1996, p. 670-676
Lin, Fangzhen
Foundations of a Logical Approach to Agent Programming
Intelligent Agents, v. II, Edited by Michael Wooldridge, Joerg P. Mueller, and Milind Tambe. Springer-Verlag, 1996, p. 331-346
Lesp’erance, Yves; Levesque, Hector; Lin, Fangzhen; Marcu, Daniel; Reiter, Raymond; Scherl, Richard


Expand All Collapse All


Article 1

Provably correct theories of action
J. of ACM, v. 42, (2), 1995, p. 293-320
Lin, Fangzhen; Shoham, Yoav

Conference paper 3

Distributed Software Agents and Communication in the Situation Calculus
Proc. of Intelligent Computer Communication Conf., Cluj-Napoca, Romania, June 1995
Marcu, Daniel; Lesp’erance, Yves; Levesque, Hector; Lin, Fangzhen; Reiter, Raymond; Scherl, Richard
Embracing causality in specifying the indirect effects of actions
Proc. of the Fourteenth Int. Joint Conf. on AI (IJCAI"95), 1995, p. 1985–1993
Lin, Fangzhen
How to progress a database II: The STRIPS connection
Proc. of the Fourteenth Int. Joint Conf. on AI (IJCAI"95), 1995, p. 2001–2007
Lin, Fangzhen; Reiter, Raymond


Expand All Collapse All


Article 1

State Constraints Revisited
Journal of Logic and Computation Special Issue on Action and Processes, v. 4. (5), 1994, p. 655-678
Lin, Fangzhen; Reiter, Raymond

Conference paper 1

How to progress a database (and why) I: Formal foundations
Proc. of the Fourth Int. Conf. on Principles of Knowledge Representation and Reasoning (KR"94), Bonn, Germany, 1994, p. 425-436
Lin, Fangzhen; Reiter, Raymond


Expand All Collapse All


Article 1

An argument-based approach to nonmonotonic reasoning
Computational Intelligence, v. 9, 1993, p. 224-267
Lin, Fangzhen

Conference paper 1

On non-forgetting and minimal learning
Proc. of the 1993 Int. Coll. on Cognitive Science, Edited by N. Asher, K. Korta, and J. Ezquerro. Kluwer Academic Publishers, 1993
Lin, Fangzhen; Shoham, Yoav


Expand All Collapse All


Article 1

A logic of knowledge and justified assumptions
Artificial Intelligence, v. 57, 1992, p. 271-289
Lin, Fangzhen; Shoham, Yoav

Conference paper 2

Concurrent actions in the situation calculus
Proc. of the Tenth National Conf. on AI (AAAI"92), 1992, p. 590–595
Lin, Fangzhen; Shoham, Yoav
Default reasoning as negation-as-failure
Proc. of the 2nd Pacific Rim Int. Conf. on AI, September 1992, p. 728–731
Lin, Fangzhen


Expand All Collapse All


Article 1

Hyperfine structure of La I in a cathode discharge tube
Chinese Physics Letters, v. 8, 1991, p. 67-70
Luo, C.; Qu, Jianan; Zhu, L.; Lin, F.

Conference paper 1

Provably correct theories of action
Proc. of the Ninth National Conf. on AI (AAAI"91), 1991, p. 349–354
Lin, Fangzhen; Shoham, Yoav


Expand All Collapse All


Article 1

Studies on the hyperfine structure of La I in a hollow cathode discharge tube
Journal of Physics D: Applied Physics, v. 23, 1990, 1327-1328
Luo, C.; Qu, Jianan; Zhu, L.; Lin, F.

Conference paper 1

Epistemic semantics for fixed-point nonmonotonic logics
Proc. of the Third Conf. on Theoretical Aspects of Reasoning about Knowledge, Asilomar, CA, March 1990, p. 111–120
Lin, Fangzhen; Shoham, Yoav


Expand All Collapse All


Conference paper 1

Argument systems: a uniform basis for nonmonotonic reasoning
Proc. of the First Int. Conf. on Knowledge Representation and Reasoning, 1989, p. 245–255
Lin, Fangzhen; Shoham, Yoav


Expand All Collapse All


Conference paper 1

Circumscription in a modal logic
Proc. of the Second Conf. on Theoretical Aspects of Reasoning about Knowledge, Asilomar, CA, March 1988, p. 113–128
Lin, Fangzhen


Expand All Collapse All


Conference paper 1

Reasoning in the presence of inconsistency
Proc. of the Sixth National Conf. on AI (AAAI"87), Seattle, WA, 1987, p. 139–143
Lin, Fangzhen


Expand All Collapse All


2016 4

A formalization of programs in first-order logic with a discrete linear order
Artificial Intelligence, v. 235, June 2016, p. 1-25
Lin, Fangzhen Article
A Model for Phase Transition of Random Answer-Set Programs
ACM Transactions on Computational Logic, v. 17, (3), June 2016, article number 22
Wen, Lian; Wang, Kewen; Shen, Yi-Dong; Lin, Fangzhen Article
Mapping Action Language BC to Logic Programs: A Characterization by Postulates
Proceedings of the AAAI Conference on Artificial Intelligence, v. 30, (1), 2016, article number 10106, p. 1116-1122
Zhang, Haodi; Lin, Fangzhen Conference paper
Multi-disciplinary Trends in Artificial Intelligence: 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 10053 LNAI, 2016
Sombattheera, Chattrakul; Stolzenburg, Frieder; Lin, Fangzhen; Nayak, Abhaya Conference paper

2015 3

Position Systems in Dynamic Domains
Journal of Philosophical Logic, v. 44, (2), April 2015, p. 147-161
Ji, Jianmin; Lin, Fangzhen Article
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 9426, 2015
Lin, Fangzhen Conference paper
Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C and Beyond
IJCAI International Joint Conference on Artificial Intelligence, v. 2015-January, 2015, p. 3285-3291
Zhang, Haodi; Lin, Fangzhen Conference paper

2014 4

A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations
14th International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria, 20-24 July 2014
Lin, Fangzhen Conference paper
A First-order Semantics for Golog and ConGolog under a Second-order Induction Axiom on Situations
AAAI Spring Symposium - Technical Report, v. SS-14-05, 2014, p. 39-46
Lin, F. Conference paper
A Formalization of Programs in First-Order Logic with a Discrete Linear Order
14th International Conference on the Principles of Knowledge Representation and Reasoning, 2014, p. 338-347
Lin, Fangzhen Conference paper
On Computing Optimal Strategies in Open List Proportional Representation: The Two Parties Case
Proceedings of the AAAI Conference on Artificial Intelligence, v. 28, (1), 2014, article number 8888, p. 1419-1425
Ding, Ning; Lin, Fangzhen Conference paper

2013 4

Computing Loops with at Most One External Support Rule
ACM Transactions on Computational Logic, v. 14, (1), February 2013, article number 3
Chen, Xiaoping; Ji, Jianmin; Lin, Fangzhen Article
Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms
Theory and Practice of Logic Programming, v. 13, (4-5), July 2013
Ji, Jianming; Lin, Fangzhen; You, Jiahuai Article
Turner’s Logic of Universal Causation, Propositional Logic, and Logic Programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 8148 LNAI, 2013, p. 401-413
Ji, Jianming; Lin, Fangzhen Conference paper
Voting with Partial Information: What Questions to Ask?
Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems, Richland, SC : International Foundation for Autonomous Agents and Multiagent Systems, 2013, p. 1237-1238
Ding, Ning; Lin, Fangzhen Conference paper

2012 3

From Turner's logic of universal causation to the logic of GK
Lecture Notes in Computer Science, v. 7265, 2012, p. 380-385
Ji, J.; Lin, F. Article
Ordered completion for first-order logic programs on finite structures
Artificial intelligence, v. 177-179, 2012, Feb-Mar, p. 1-24
Asuncion, V.; Lin, F.; Zhang, Y.; Zhou, Y. Article
A well-founded semantics for basic logic programs with arbitrary abstract constraint atoms
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2012, p. 835-841
Wang, Y.; Lin, F.; Zhang, M.; You, J.H. Conference paper

2011 7

Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs
Artificial intelligence, v. 175, (14-15), 2011, Sep, p. 2010-2020
Tang, Pingzhong; Lin, Fangzhen Article
From answer set logic programming to circumscription via logic of GK
Artificial Intelligence, v. 175, (1), 2011, Jan, p. 264-277
Lin, Fangzhen; Zhou, Yi Article
Loop-separable programs and their first-order definability
Artificial intelligence, v. 175, (3-4), March 2011, p. 890-913
Chen, Yin; Lin, Fangzhen; Zhang, Yan; Zhou, Yi Article
Two equivalence results for two-person strict games
Games and economic behavior, v. 71, (2), March 2011, p. 479-486
Tang, Pingzhong; Lin, Fangzhen Article
Causal theories of actions revisited
AAAI Spring Symposium - Technical Report, v. 0, 2011, p. 69-75
Lin, F.; Soutchanski, M. Conference paper
Causal theories of actions revisited
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2011, p. 235-240
Lin, Fangzhen; Soutchanski, Mikhail Conference paper
On moving objects in dynamic domains
AAAI Spring Symposium - Technical Report, v. 0, 2011, p. 151-155
Lin, F. Conference paper

2010 4

Designing competitions between teams of individuals
Artificial intelligence, v. 174, (11), 2010, JUL, p. 749-766
Tang, Pingzhong; Shoham, Yoav; Lin, Fangzhen Article
Weight constraint programs with evaluable functions
Annals of mathematics and artificial intelligence, v. 60, December 2010, p. 341-380
Wang, Yisong; You, Jia-Huai; Lin, Fangzhen; Yuan, Li Yan; Zhang, Mingyi Article
KR proceedings, Twelfth International Conference on Principles of Knowledge Representation and Reasoning
KR proceedings, Twelfth International Conference on Principles of Knowledge Representation and Reasoning / Edited by Fangzhen Lin; Ulrike Sattler; Miroslaw Truszczynski. Menlo Park, Calif. : AAAI Press, 2010
Lin, Fangzhen; Sattler, Ulrike; Truszczynski, Miroslaw Book
Ordered completion for first-order logic programs on finite structures
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2010, p. 249-254
Asuncion, V.; Lin, F.; Zhang, Y.; Zhou, Y. Conference paper

2009 7

Computer-aided proofs of Arrow's and other impossibility theorems
Artificial intelligence, v. 173, (11), 2009, JUL, p. 1041-1053
Tang, Pingzhong; Lin, Fangzhen Article
General default logic
Annals of mathematics and artificial intelligence, v. 57, (2), 2009, OCT, p. 125-160
Zhou, Yi; Lin, Fangzhen; Zhang, Yan Article
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, Lpnmr 2009, Potsdam, Germany, September 14-18, 2009: Proceedings
Logic Programming and Nonmonotonic Reasoning: 10th International Conference, Lpnmr 2009, Potsdam, Germany, September 14-18, 2009: Proceedings / Edited by Esra Erdem, Fangzhen Lin, Torsten Schaub. Berlin: Springer-Verlag, c2009
Erdem, Esra; Lin, Fangzhen; Schaub, Torsten Book
Computing loops with at most one external support rule for disjunctive logic programs
Lecture Notes in Computer Science, v. 5649, 2009, p. 130-144
Chen, X.; Ji, J.; Lin, F. Conference paper
Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs
21st International Joint Conference on Artificial Intelligence, Pasadena, United States, 11-17 July 2009, 2009, p. 312-317
Tang, Pingzhong; Lin, Fangzhen Conference paper
Team competition
Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, v. 2, 2009, p. 934-941
Tang, Pingzhong; Shoham, Yoav; Lin, Fangzhen Conference paper
Two Applications of Computer-Aided Theorem Discovery and Verification
KSEM 2009
Lin, Fangzhen Conference paper

2008 5

Abductive logic programming by nonground rewrite systems
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2008, p. 480-485
Lin, F.; You, J.H. Conference paper
Answer Set Programming with Functions
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning, Sydney, Australia, September 16-19, 2008, 2008, p. 454-464
Lin, Fangzhen; Wang, Yisong Conference paper
Computer-aided proofs of arrow's and other impossibility theorems
Proceedings of the National Conference on Artificial Intelligence, v. 1, 2008, p. 114-119
Lin, F.; Tang, P. Conference paper
Computing Loops with at Most One External Support Rule
Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, KR 2008, 2008, p. 401-410
Chen, Xiaoping; Ji, Jianmin; Lin, Fangzhen Conference paper
Proving Goal Achievability
Principles of Knowledge Representation and Reasoning: Proceedings of the 11th International Conference, KR 2008, 2008, p. 621-628
Lin, Fangzhen Conference paper

2007 6

A characterization of answer sets for logic programs
Science in China Series f-information sciences, v. 50, (1), 2007, FEB, p. 46-62
Zhang, MingYi; Ying, Zhang; Lin, FangZhen Article
Discovering classes of strongly equivalent logic programs
Journal of artificial intelligence research, v. 28, 2007, p. 431-451
Lin, Fangzhen; Chen, Yin Article
Recycling computed answers in rewrite systems for abduction
ACM transactions on computational logic, v. 8, (2), 2007
Lin, Fangzhen; You, Jia-Huai Article
Forgetting and Update -- an exploration
Giacomo Bonanno, James P. Delgrande, Jerome Lang, Hans Rott (Eds.): Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007. Dagstuhl Seminar Proceedings, 26.08. - 30.08.2007
Nayak, Abhaya; Chen, Yin; Lin, Fangzhen Conference paper
From Answer Set Logic Programming to Circumscription via Logic of GK
20th International Joint Conference on Artificial Intelligence, Hyderabad, India, 6-12 January 2007, 2007, p. 441-446
Lin, Fangzhen; Zhou, Yi Conference paper
General default logic
9th International Conference on Logic Programming and Nonmonotomic Reasoning, LPNMR 2007, Tempe, AZ, United States, 15-17 May 2007; Lecture Notes in Computer Science, v. 4483 LNAI, 2007, p. 241-253
Zhou, Yi; Lin, Fangzhen; Zhang, Yan Conference paper

2006 3

Loop formulas for circumscription
Artificial intelligence, v. 170, (2), 2006, FEB, p. 160-185
Lee, J.; Lin, FZ Article
First-Order Loop Formulas for Normal Logic Programs
10th International Conference on Principles of Knowledge Representation and Reasoning Lake District of the UK,, June 2 to 5, 2006
Chen, Yin; Lin, Fangzhen; Wang, Yisong; Zhang, Mingyi Conference paper
Forgetting and Knowledge Update
Australian Conference on Artificial Intelligence 2006, 131-140, December 2006
Nayak, Abhaya; Chen, Yin; Lin, Fangzhen Conference paper

2005 1

SELP - A system for studying strong equivalence between logic programs
Lecture Notes in Artificial Intelligence, v. 3662, 2005, p. 442-446
Chen, Y.; Lin, FZ; Li, L. Article

2004 4

ASSAT: computing answer sets of a logic program by SAT solvers
Artificial intelligence, v. 157, (1-2), 2004, AUG, p. 115-137
Lin, FZ; Zhao, YT Article
Discovering state invariants
International Conference on Principles of Knowledge Representation and Reasoning, June 2-5
Lin, Fangzhen Conference paper
Loop formulas for circumscription
Proceedings of the National Conference on Artificial Intelligence, 2004, p. 281-286
Lee, J.; Lin, F. Conference paper
On odd and even cycles in normal logic programs
Proceedings of the National Conference on Artificial Intelligence, 2004, p. 80-85
Lin, F.; Zhao, X. Conference paper

2003 5

Answer set programming phase transition: A study on randomly generated programs
Lecture Notes in Computer Science, v. 2916, 2003, p. 239-253
Zhao, YT; Lin, FZ Article
Compiling causal theories to successor state axioms and STRIPS-like systems
Journal of artificial intelligence research, v. 19, 2003, p. 279-314
Lin, FZ Article
Causal Theories of Action: A Computational Core
International Joint Conference on Artificial Intelligence, August
Lang, Jerome; Lin, Fangzhen; Marquis, Pierre Conference paper
On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic
International Joint Conference on Artificial Intelligence, August
Lin, Fangzhen; Zhao, Jicheng Conference paper
Recycling Computed Answers in Rewrite Systems for Abduction
International Joint Conference on Artificial Intelligence, August
Lin, Fangzhen; You, Jia-Huai Conference paper

2002 3

Abduction in logic programming: A new definition and an abductive procedure based on rewriting
Artificial intelligence, v. 140, (1-2), 2002, SEP, p. 175-205
Lin, Fangzhen; You, Jia-Huai Article
ASSAT: Computing answer sets of a logic program by sat solvers
Proceedings of the National Conference on Artificial Intelligence, 2002, p. 112-117
Lin, F.; Zhao, Y. Conference paper
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic
International Conference on Principles of Knowledge Representation and Reasoning, Toulouse, France, 170-176
Lin, Fangzhen Conference paper

2001 4

On strongest necessary and weakest sufficient conditions
Artificial intelligence, v. 128, (1-2), 2001, MAY, p. 143-159
Lin, FZ Article
A New Semantics For Logic Programs
Handbook of Defeasible Reasoning and Uncertainty Management Systems / Vol. 6/ Edited by Dov M. Gabbay, Philippe Smets. Dordrecht: Kluwer Academic Publishers, 2001, p. 217-248
Lin, Fangzhen; Reiter, Raymond Book chapter
A planner called R
AI Magazine, v. 22, (3), 2001, p. 73-76
Lin, F. Conference paper
Abduction in Logic Programming: A new Definition and an Abduction Procedure Based on Rewriting
International Joint Conference on Artificial Intelligence (IJCAI), Seattle, WA, USA, 655-666
Lin, Fangzhen; You, Jia-Huai Conference paper

2000 2

Alternating Fixpoint Theory for Logic Programs with Priority
Lecture Notes in Artificial Intelligence, v. 1861, 2000, p. 164-178
Wang, Kewen; Zhou, Lizhu; Lin, Fangzhen Article
From causal theories to successor state axioms and STRIPS-like systems
SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, p. 786-791
Lin, FZ Conference paper

1999 1

From Causal Theories to Logic Programs
Lecture Notes in Artificial Intelligence, v. 1730, 1999, p. 117-131
Lin, Fangzhen; Wang, Kewen Conference paper

1998 3

Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator
Artificial intelligence, v. 103, (1-2), 1998, August, p. 273-294
Lin, FZ Article
What robots can do: robot programs and effective achievability
Artificial intelligence, v. 101, (1-2), 1998, MAY, p. 201-226
Lin, FZ; Levesque, HJ Article
On measuring plan quality
Proc. of the Sixth Int. Conf. on Principles of Knowledge Representation and Reasoning (KR"98), Trento, Italy, June 1998, p. 224-233
Lin, Fangzhen Conference paper

1997 5

An ordering on subgoals for planning
Annals of mathematics and artificial intelligence, v. 21, (2-4), 1997, p. 321-342
Lin, FZ Article
Golog: A logic programming language for dynamic domains
Journal of Logic Programming, v. 31, (1-3), 1997
Levesque, H.J.; Reiter, R.; Lespérance, Y.; Lin, F.; Scherl, R.B. Article
How to progress a database
Artificial Intelligence, v. 92, (1-2), 1997, p. 131-167
Lin, Fangzhen; Reiter, Raymond Article
Rules as Actions - a situation calculus semantics for logic programs
J. of Logic Programming, v. 31, 1997, p. 299-330
Lin, Fangzhen; Reiter, Raymond Article
Applications of the situation calculus to formalizing control and strategic information: The Prolog cut operator
IJCAI, 1997, p. 1412-1418
Lin, Fangzhen Conference paper

1996 2

Embracing causality in specifying the effects of indeterminate actions
Proceedings of AAAI"96, 1996, p. 670-676
Lin, Fangzhen Conference paper
Foundations of a Logical Approach to Agent Programming
Intelligent Agents, v. II, Edited by Michael Wooldridge, Joerg P. Mueller, and Milind Tambe. Springer-Verlag, 1996, p. 331-346
Lesp’erance, Yves; Levesque, Hector; Lin, Fangzhen; Marcu, Daniel; Reiter, Raymond; Scherl, Richard Conference paper

1995 4

Provably correct theories of action
J. of ACM, v. 42, (2), 1995, p. 293-320
Lin, Fangzhen; Shoham, Yoav Article
Distributed Software Agents and Communication in the Situation Calculus
Proc. of Intelligent Computer Communication Conf., Cluj-Napoca, Romania, June 1995
Marcu, Daniel; Lesp’erance, Yves; Levesque, Hector; Lin, Fangzhen; Reiter, Raymond; Scherl, Richard Conference paper
Embracing causality in specifying the indirect effects of actions
Proc. of the Fourteenth Int. Joint Conf. on AI (IJCAI"95), 1995, p. 1985–1993
Lin, Fangzhen Conference paper
How to progress a database II: The STRIPS connection
Proc. of the Fourteenth Int. Joint Conf. on AI (IJCAI"95), 1995, p. 2001–2007
Lin, Fangzhen; Reiter, Raymond Conference paper

1994 2

State Constraints Revisited
Journal of Logic and Computation Special Issue on Action and Processes, v. 4. (5), 1994, p. 655-678
Lin, Fangzhen; Reiter, Raymond Article
How to progress a database (and why) I: Formal foundations
Proc. of the Fourth Int. Conf. on Principles of Knowledge Representation and Reasoning (KR"94), Bonn, Germany, 1994, p. 425-436
Lin, Fangzhen; Reiter, Raymond Conference paper

1993 2

An argument-based approach to nonmonotonic reasoning
Computational Intelligence, v. 9, 1993, p. 224-267
Lin, Fangzhen Article
On non-forgetting and minimal learning
Proc. of the 1993 Int. Coll. on Cognitive Science, Edited by N. Asher, K. Korta, and J. Ezquerro. Kluwer Academic Publishers, 1993
Lin, Fangzhen; Shoham, Yoav Conference paper

1992 3

A logic of knowledge and justified assumptions
Artificial Intelligence, v. 57, 1992, p. 271-289
Lin, Fangzhen; Shoham, Yoav Article
Concurrent actions in the situation calculus
Proc. of the Tenth National Conf. on AI (AAAI"92), 1992, p. 590–595
Lin, Fangzhen; Shoham, Yoav Conference paper
Default reasoning as negation-as-failure
Proc. of the 2nd Pacific Rim Int. Conf. on AI, September 1992, p. 728–731
Lin, Fangzhen Conference paper

1991 2

Hyperfine structure of La I in a cathode discharge tube
Chinese Physics Letters, v. 8, 1991, p. 67-70
Luo, C.; Qu, Jianan; Zhu, L.; Lin, F. Article
Provably correct theories of action
Proc. of the Ninth National Conf. on AI (AAAI"91), 1991, p. 349–354
Lin, Fangzhen; Shoham, Yoav Conference paper

1990 2

Studies on the hyperfine structure of La I in a hollow cathode discharge tube
Journal of Physics D: Applied Physics, v. 23, 1990, 1327-1328
Luo, C.; Qu, Jianan; Zhu, L.; Lin, F. Article
Epistemic semantics for fixed-point nonmonotonic logics
Proc. of the Third Conf. on Theoretical Aspects of Reasoning about Knowledge, Asilomar, CA, March 1990, p. 111–120
Lin, Fangzhen; Shoham, Yoav Conference paper

1989 1

Argument systems: a uniform basis for nonmonotonic reasoning
Proc. of the First Int. Conf. on Knowledge Representation and Reasoning, 1989, p. 245–255
Lin, Fangzhen; Shoham, Yoav Conference paper

1988 1

Circumscription in a modal logic
Proc. of the Second Conf. on Theoretical Aspects of Reasoning about Knowledge, Asilomar, CA, March 1988, p. 113–128
Lin, Fangzhen Conference paper

1987 1

Reasoning in the presence of inconsistency
Proc. of the Sixth National Conf. on AI (AAAI"87), Seattle, WA, 1987, p. 139–143
Lin, Fangzhen Conference paper


No Publications






Teaching Assignment

---

2021-22 Winter 0 2021-22 Fall 3 2020-21 Summer 1 2020-21 Spring 3 2020-21 Winter 0 2020-21 Fall 4

---

COMP4981 Final Year Project
COMP5211 Advanced Artificial Intelligence
MSBD5015 Artificial Intelligence


COMP4981 Final Year Project


COMP4910 Co-op Program
COMP4981 Final Year Project
CSIT5900 Artificial Intelligence


COMP3211 Fundamentals of Artificial Intelligence
COMP4981 Final Year Project
COMP5211 Advanced Artificial Intelligence
MSBD5015 Artificial Intelligence


No Teaching Assignments


No Teaching Assignments






Research Postgraduate (RPG) Supervision From January 2019 to December 2022 (As of 30 January 2022)

---

All Supervisions Current RPGs Graduated RPGs

---

Current RPGs

---

Doctor of Philosophy FANG, Biqing (co-supervision)
Artificial Intelligence( 2021 - )

JIANG, Yuxin (co-supervision)
Artificial Intelligence( 2021 - )

PAN, Yuxin (co-supervision)
Artificial Intelligence( 2021 - )

ZHU, Fengming
Computer Science and Engineering( 2020 - )

SHOU, Ziyi
Computer Science and Engineering( 2019 - )

WANG, Chenglin
Computer Science and Engineering( 2019 - )

SONG, Jaewoo
Computer Science and Engineering( 2011 - )

---

Master of Philosophy CHEN, Junming (co-supervision)
Artificial Intelligence( 2021 - )

KANG, Kai (co-supervision)
Artificial Intelligence( 2021 - )

KUANG, Liangyawei
Robotics and Autonomous Systems( 2021 - )

WU, Hao (co-supervision)
Artificial Intelligence( 2021 - )

WANG, Qijun (co-supervision)
Artificial Intelligence( 2020 - )

---

Graduated RPGs

---

Doctor of Philosophy WANG, Shiheng
Computer Science and Engineering( Completed in 2020 )

RAJKHOWA, Pritom
Computer Science and Engineering( Completed in 2019 )

---

Master of Philosophy HARA, Yuki
Computer Science and Engineering( Completed in 2020 )









ProjectsFrom January 2020 to December 2022

---

All Projects 1

---

No Projects.
Deep reinforcement learning in multi-agent incomplete information games


深度強化學習在非完全信息多智能體博弈中的應用 Leading


Tencent AI Lab


Project Team (HKUST)
LIN Fangzhen (Lead)


2019 - 2020