| 2008 |
|---|
| 62 | | Fangzhen Lin,
Pingzhong Tang:
Computer-Aided Proofs of Arrow's and Other Impossibility Theorems.
AAAI 2008: 114-119 |
| 61 | | Fangzhen Lin,
Jia-Huai You:
Abductive Logic Programming by Nonground Rewrite Systems.
AAAI 2008: 480-485 |
| 60 | | Xiaoping Chen,
Jianmin Ji,
Fangzhen Lin:
Computing Loops with at Most One External Support Rule.
KR 2008: 401-410 |
| 59 | | Fangzhen Lin,
Yisong Wang:
Answer Set Programming with Functions.
KR 2008: 454-465 |
| 58 | | Fangzhen Lin:
Proving Goal Achievability.
KR 2008: 621-628 |
| 2007 |
|---|
| 57 | EE | Abhaya C. Nayak,
Yin Chen,
Fangzhen Lin:
Forgetting and Update -- an exploration.
Formal Models of Belief Change in Rational Agents 2007 |
| 56 | EE | Fangzhen Lin,
Yi Zhou:
From Answer Set Logic Programming to Circumscription via Logic of GK.
IJCAI 2007: 441-446 |
| 55 | EE | Yi Zhou,
Fangzhen Lin,
Yan Zhang:
General Default Logic.
LPNMR 2007: 241-253 |
| 54 | EE | Fangzhen Lin,
Jia-Huai You:
Recycling computed answers in rewrite systems for abduction.
ACM Trans. Comput. Log. 8(2): (2007) |
| 53 | EE | Fangzhen Lin,
Yin Chen:
Discovering Classes of Strongly Equivalent Logic Programs.
J. Artif. Intell. Res. (JAIR) 28: 431-451 (2007) |
| 2006 |
|---|
| 52 | | Jérôme Lang,
Fangzhen Lin,
Ju Wang:
Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings
Springer 2006 |
| 51 | EE | Abhaya C. Nayak,
Yin Chen,
Fangzhen Lin:
Forgetting and Knowledge Update.
Australian Conference on Artificial Intelligence 2006: 131-140 |
| 50 | | Yin Chen,
Fangzhen Lin,
Yisong Wang,
Mingyi Zhang:
First-Order Loop Formulas for Normal Logic Programs.
KR 2006: 298-307 |
| 49 | EE | Joohyung Lee,
Fangzhen Lin:
Loop formulas for circumscription.
Artif. Intell. 170(2): 160-185 (2006) |
| 2005 |
|---|
| 48 | EE | Yin Chen,
Fangzhen Lin,
Lei Li:
SELP - A System for Studying Strong Equivalence between Logic Programs.
Answer Set Programming 2005 |
| 47 | EE | Fangzhen Lin,
Yin Chen:
Discovering Classes of Strongly Equivalent Logic Programs.
IJCAI 2005: 516-521 |
| 46 | EE | Yin Chen,
Fangzhen Lin,
Lei Li:
SELP - A System for Studying Strong Equivalence Between Logic Programs.
LPNMR 2005: 442-446 |
| 2004 |
|---|
| 45 | | Joohyung Lee,
Fangzhen Lin:
Loop Formulas for Circumscription.
AAAI 2004: 281-286 |
| 44 | | Fangzhen Lin,
Xishun Zhao:
On Odd and Even Cycles in Normal Logic Programs.
AAAI 2004: 80-85 |
| 43 | | Fangzhen Lin:
Discovering State Invariants.
KR 2004: 536-544 |
| 42 | EE | Fangzhen Lin,
Yuting Zhao:
ASSAT: computing answer sets of a logic program by SAT solvers.
Artif. Intell. 157(1-2): 115-137 (2004) |
| 41 | EE | Fangzhen Lin,
Jia-Huai You:
Recycling Computed Answers in Rewrite Systems for Abduction
CoRR cs.AI/0402033: (2004) |
| 2003 |
|---|
| 40 | EE | Yuting Zhao,
Fangzhen Lin:
Answer Set Programming Phase Transition: A Study on Randomly Generated Programs.
ICLP 2003: 239-253 |
| 39 | | Jérôme Lang,
Fangzhen Lin,
Pierre Marquis:
Causal Theories of Action: A Computational Core.
IJCAI 2003: 1073-1078 |
| 38 | | Fangzhen Lin,
Jicheng Zhao:
On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic.
IJCAI 2003: 853-858 |
| 37 | | Fangzhen Lin,
Jia-Huai You:
Recycling Computed Answers in Rewrite Systems for Abduction.
IJCAI 2003: 879-886 |
| 36 | EE | Fangzhen Lin:
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems.
J. Artif. Intell. Res. (JAIR) 19: 279-314 (2003) |
| 2002 |
|---|
| 35 | | Fangzhen Lin,
Yuting Zhao:
ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers.
AAAI/IAAI 2002: 112- |
| 34 | | Fangzhen Lin:
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic.
KR 2002: 170-176 |
| 33 | EE | Fangzhen Lin,
Jia-Huai You:
Abduction in logic programming: A new definition and an abductive procedure based on rewriting.
Artif. Intell. 140(1/2): 175-205 (2002) |
| 2001 |
|---|
| 32 | | Fangzhen Lin,
Jia-Huai You:
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting.
IJCAI 2001: 655-666 |
| 31 | | Fangzhen Lin:
A Planner Called R.
AI Magazine 22(3): 73-76 (2001) |
| 30 | EE | Fangzhen Lin:
On strongest necessary and weakest sufficient conditions.
Artif. Intell. 128(1-2): 143-159 (2001) |
| 2000 |
|---|
| 29 | | Fangzhen Lin:
From Causal Theories to Successor State Axioms and STRIPS-Like Systems.
AAAI/IAAI 2000: 786-791 |
| 28 | EE | Kewen Wang,
Lizhu Zhou,
Fangzhen Lin:
Alternating Fixpoint Theory for Logic Programs with Priority.
Computational Logic 2000: 164-178 |
| 27 | | Fangzhen Lin:
On Strongest Necessary and Weakest Sufficient Conditions.
KR 2000: 167-175 |
| 26 | | Yves Lespérance,
Hector J. Levesque,
Fangzhen Lin,
Richard B. Scherl:
Ability and Knowing How in the Situation Calculus.
Studia Logica 66(1): 165-186 (2000) |
| 1999 |
|---|
| 25 | EE | Fangzhen Lin,
Kewen Wang:
From Causal Theories to Logic Programs (Sometimes).
LPNMR 1999: 117-131 |
| 1998 |
|---|
| 24 | | Fangzhen Lin:
On Measuring Plan Quality (A Preliminary Report).
KR 1998: 224-233 |
| 23 | EE | Fangzhen Lin,
Hector J. Levesque:
What Robots Can Do: Robot Programs and Effective Achievability.
Artif. Intell. 101(1-2): 201-226 (1998) |
| 22 | EE | Fangzhen Lin:
Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator.
Artif. Intell. 103(1-2): 273-294 (1998) |
| 1997 |
|---|
| 21 | | Kenneth Tam,
J. Lloyd,
Yves Lespérance,
Hector J. Levesque,
Fangzhen Lin,
Daniel Marcu,
Raymond Reiter,
Michael R. M. Jenkin:
Controlling Autonomous Robots with GOLOG.
Australian Joint Conference on Artificial Intelligence 1997: 1-12 |
| 20 | | Fangzhen Lin:
Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator.
IJCAI 1997: 1412-1419 |
| 19 | | Fangzhen Lin:
An Ordering on Subgoals for Planning.
Ann. Math. Artif. Intell. 21(2-4): 321-342 (1997) |
| 18 | EE | Fangzhen Lin,
Raymond Reiter:
How to Progress a Database.
Artif. Intell. 92(1-2): 131-167 (1997) |
| 17 | | Fangzhen Lin,
Raymond Reiter:
Rules as Actions: A Situation Calculus Semantics for Logic Programs.
J. Log. Program. 31(1-3): 299-330 (1997) |
| 16 | | Hector J. Levesque,
Raymond Reiter,
Yves Lespérance,
Fangzhen Lin,
Richard B. Scherl:
GOLOG: A Logic Programming Language for Dynamic Domains.
J. Log. Program. 31(1-3): 59-83 (1997) |
| 1996 |
|---|
| 15 | | Fangzhen Lin:
Embracing Causality in Specifying the Indeterminate Effects of Actions.
AAAI/IAAI, Vol. 1 1996: 670-676 |
| 1995 |
|---|
| 14 | | Yves Lespérance,
Hector J. Levesque,
Fangzhen Lin,
Daniel Marcu,
Raymond Reiter,
Richard B. Scherl:
Foundations of a Logical Approach to Agent Programming.
ATAL 1995: 331-346 |
| 13 | | Fangzhen Lin:
Embracing Causality in Specifying the Indirect Effects of Actions.
IJCAI 1995: 1985-1993 |
| 12 | | Fangzhen Lin,
Raymond Reiter:
How to Progress a Database II: The STRIPS Connection.
IJCAI 1995: 2001-2009 |
| 11 | EE | Fangzhen Lin,
Yoav Shoham:
Provably Correct Theories of Action.
J. ACM 42(2): 293-320 (1995) |
| 1994 |
|---|
| 10 | | Fangzhen Lin,
Raymond Reiter:
How to Progress a Database (and Why) I. Logical Foundations.
KR 1994: 425-436 |
| 9 | | Fangzhen Lin,
Raymond Reiter:
State Constraints Revisited.
J. Log. Comput. 4(5): 655-678 (1994) |
| 1993 |
|---|
| 8 | | Fangzhen Lin:
An Argument-Based Approach to Nonmonotonic Reasoning.
Computational Intelligence 9: 254-267 (1993) |
| 1992 |
|---|
| 7 | | Fangzhen Lin,
Yoav Shoham:
Concurrent Actions in the Situation Calculus.
AAAI 1992: 590-595 |
| 6 | | Fangzhen Lin,
Yoav Shoham:
A Logic of Knowledge and Justified Assumptions.
Artif. Intell. 57(2-3): 271-289 (1992) |
| 1991 |
|---|
| 5 | | Fangzhen Lin,
Yoav Shoham:
Provably Correct Theories of Action (Preliminary Report).
AAAI 1991: 349-354 |
| 1990 |
|---|
| 4 | | Fangzhen Lin,
Yoav Shoham:
Epistemic Semantics for Fixed-Points Non-Monotonic Logics.
TARK 1990: 111-120 |
| 1989 |
|---|
| 3 | | Fangzhen Lin,
Yoav Shoham:
Argument Systems: A Uniform Basis for Nonmonotonic Reasoning.
KR 1989: 245-255 |
| 1988 |
|---|
| 2 | | Fangzhen Lin:
Circumscription in a Modal Logic.
TARK 1988: 113-127 |
| 1987 |
|---|
| 1 | | Fangzhen Lin:
Reasoning in the Presence of Inconsistency.
AAAI 1987: 139-143 |
