Faculty Profiles - LIN Fangzhen | The Hong Kong University of Science and Technology

2024 1

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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 14681, July 2024, p. 409-430
Wang, Chenglin; Lin, Fangzhen
Conference paper

2023 7

Multi-Aspect co-Attentional Collaborative Filtering for Extreme Multi-Label Text Classification

Knowledge-Based Systems, v. 260, 25 January 2023, article number 110110
Wang, Jiyao; Chen, Zijie; Qin, Yang; He, Dengbo; Lin, Fangzhen
Article

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

Neurocomputing, v. 544, August 2023, article number 126299
Wang, Jiyao; Chen, Zijie; Zhang, Yijia; He, Dengbo; Lin, Fangzhen
Article

Solving Conditional Linear Recurrences for Program Verification: The Periodic Case

Proceedings of the ACM on Programming Languages, v. 7, (OOPSLA1), April 2023, article number 76, p. 28-55
Wang, Chenglin; Lin, Fangzhen
Article

Witnesses for Answer Sets of Logic Programs

ACM Transactions on Computational Logic, v. 24, (2), April 2023, article number 15, p. 1-46
Wang, Yisong; Eiter, Thomas; Zhang, Yuanlin; Lin, Fangzhen
Article

显式知识推理和深度强化学习结合的动态决策

软件学报=Journal of Software, v. 34, (8), August 2023, p. 3821-3835
张昊迪; 陈振浩; 陈俊扬; 周熠; 连德富; 伍楷舜; 林方真
Article

Adjustable Robust Reinforcement Learning for Online 3D Bin Packing

Pan, Yuxin; Chen, Yize; Lin, Fangzhen
Conference paper

Evaluate AMR Graph Similarity via Self-supervised Learning

Proceedings of the Annual Meeting of the Association for Computational Linguistics, v. 1, July 2023, p. 16112-16123
Shou, Ziyi; Lin, Fangzhen
Conference paper

2022 3

AMR-DA: Data Augmentation by Abstract Meaning Representation

Findings of the Association for Computational Linguistics: ACL 2022 / Edited by Smaranda Muresan, Preslav Nakov, Aline Villavicencio. Stroudsburg, USA : Association for Computational Linguistics, 2022, p. 3082-3098
Shou, Ziyi; Jiang, Yuxin; Lin, Fangzhen
Conference paper

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

Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems, v. 2022, October 2022, article number 9981869, p. 9040-9047
Pan, Yuxin; Lin, Fangzhen
Conference paper

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

Song, Jaewoo; Lin, Fangzhen
Conference paper

2021 3

Incorporating EDS Graph for AMR Parsing

*SEM 2021 - 10th Conference on Lexical and Computational Semantics, Proceedings of the Conference, 2021, p. 202-211
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

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

Proceedings of the 15th International Workshop on Semantic Evaluation (SemEval-2021) / Association for Computational Linguistics. Stroudsburg, USA : Association for Computational Linguistics, 2021, p. 793-798
Jiang, Yuxin; Shou, Ziyi; Wang, Qijun; Wu, Hao; 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

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

Multi-disciplinary Trends in Artificial Intelligence: 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings

Sombattheera, Chattrakul; Stolzenburg, Frieder; Lin, Fangzhen; Nayak, Abhaya
Book

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

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

Proceedings of the International Conference on Knowledge Representation and Reasoning, July 2014, p. 39-46
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, March 2014, p. 39-46
Lin, Fangzhen
Conference paper

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

Proceedings of the International Conference on Knowledge Representation and Reasoning, July 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
Lin, Fangzhen; Ding, Ning
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

Proceedings of the National Conference on Artificial Intelligence, v. 1, 2011, p. 235-240
Lin, Fangzhen; Soutchanski, Mikhail
Conference paper

Causal theories of actions revisited

AAAI Spring Symposium - Technical Report, v. 0, 2011, p. 69-75
Lin, F.; Soutchanski, M.
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

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

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

COMP5211	Advanced Artificial Intelligence
CSIT5900	Artificial Intelligence

COMP3211	Fundamentals of Artificial Intelligence
COMP4910	Co-op Program

COMP5211	Advanced Artificial Intelligence
CSIT5900	Artificial Intelligence

Research Interest

Publications

2024 1

2023 7

2022 3

2021 3

2020 2

2019 5

2018 2

2017 4

2016 4

2015 3

2014 4

2013 4

2012 3

2011 7

2010 4

2009 7

2008 5

2007 6

2006 3

2005 1

2004 4

2003 5

2002 3

2001 4

2000 2

1999 1

1998 3

1997 5

1996 2

1995 4

1994 2

1993 2

1992 3

1991 2

1990 2

1989 1

1988 1

1987 1

Conference paper 1

Article 5

Conference paper 2

Conference paper 3

Conference paper 3

Conference paper 2

Conference paper 5

Article 1

Conference paper 1

Article 1

Book 1

Conference paper 2

Article 2

Book 1

Conference paper 1

Article 1

Conference paper 2

Conference paper 4

Article 2

Conference paper 2

Article 2

Conference paper 1

Article 4

Conference paper 3

Article 2

Book 1

Conference paper 1

Article 2

Book 1

Conference paper 4

Conference paper 5

Article 3

Conference paper 3

Article 1

Conference paper 2

Article 1

Article 1

Conference paper 3

Article 2

Conference paper 3