| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou |
Ordered completion for first-order logic programs on finite structures.  |
Artif. Intell.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pingzhong Tang, Fangzhen Lin |
Two equivalence results for two-person strict games. |
Games and Economic Behavior |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin |
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yin Chen, Fangzhen Lin, Yan Zhang, Yi Zhou |
Loop-separable programs and their first-order definability. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pingzhong Tang, Fangzhen Lin |
Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Yi Zhou |
From answer set logic programming to circumscription via logic of GK. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin |
On Moving Objects in Dynamic Domains. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Mikhail Soutchanski |
Causal Theories of Actions Revisited. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2011 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Mikhail Soutchanski |
Causal Theories of Actions Revisited. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Pingzhong Tang, Yoav Shoham, Fangzhen Lin |
Designing competitions between teams of individuals. |
Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang |
Weight constraint programs with evaluable functions. |
Ann. Math. Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski (eds.) |
Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou |
Ordered Completion for First-Order Logic Programs on Finite Structures. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pingzhong Tang, Fangzhen Lin |
Computer-aided proofs of Arrow's and other impossibility theorems. |
Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Zhou, Fangzhen Lin, Yan Zhang |
General default logic. |
Ann. Math. Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pingzhong Tang, Fangzhen Lin |
Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Xiaoping Chen, Jianmin Ji, Fangzhen Lin |
Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin |
Two Applications of Computer-Aided Theorem Discovery and Verification. |
KSEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Esra Erdem, Fangzhen Lin, Torsten Schaub (eds.) |
Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pingzhong Tang, Yoav Shoham, Fangzhen Lin |
Team competition. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
dominant strategy implementation, team competition, mechanism design, truthfulness |
| 1 | Xiaoping Chen, Jianmin Ji, Fangzhen Lin |
Computing Loops with at Most One External Support Rule. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Yisong Wang |
Answer Set Programming with Functions. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
Proving Goal Achievability. |
KR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Jia-Huai You |
Abductive Logic Programming by Nonground Rewrite Systems. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Pingzhong Tang |
Computer-Aided Proofs of Arrow's and Other Impossibility Theorems. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Mingyi Zhang, Ying Zhang, Fangzhen Lin |
A characterization of answer sets for logic programs. |
Science in China Series F: Information Sciences |
2007 |
DBLP DOI BibTeX RDF |
nested logic programming, characterization of answer sets, completion semantics, tightness, loop formulas |
| 1 | Fangzhen Lin, Yin Chen |
Discovering Classes of Strongly Equivalent Logic Programs. |
J. Artif. Intell. Res. (JAIR) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Jia-Huai You |
Recycling computed answers in rewrite systems for abduction. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
partial stable model semantics, logic programming, abduction, rewrite systems, recycling, Stable model semantics |
| 1 | Fangzhen Lin, Yi Zhou |
From Answer Set Logic Programming to Circumscription via Logic of GK. |
IJCAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Abhaya C. Nayak, Yin Chen, Fangzhen Lin |
Forgetting and Update -- an exploration. |
Formal Models of Belief Change in Rational Agents |
2007 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
Finitely-Verifiable Classes of Sentences. |
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning |
2007 |
DBLP BibTeX RDF |
|
| 1 | Yi Zhou, Fangzhen Lin, Yan Zhang |
General Default Logic. |
LPNMR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joohyung Lee, Fangzhen Lin |
Loop formulas for circumscription. |
Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhaya C. Nayak, Yin Chen, Fangzhen Lin |
Forgetting and Knowledge Update. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
Knowledge Update, Dalal Distance, Forgetting |
| 1 | Jérôme Lang, Fangzhen Lin, Ju Wang (eds.) |
Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings |
KSEM |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang |
First-Order Loop Formulas for Normal Logic Programs. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Yin Chen |
Discovering Classes of Strongly Equivalent Logic Programs. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Yin Chen, Fangzhen Lin, Lei Li |
SELP - A System for Studying Strong Equivalence Between Logic Programs. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Yin Chen, Fangzhen Lin, Lei Li |
SELP - A System for Studying Strong Equivalence between Logic Programs. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Jia-Huai You |
Recycling Computed Answers in Rewrite Systems for Abduction |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Yuting Zhao |
ASSAT: computing answer sets of a logic program by SAT solvers. |
Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin |
Discovering State Invariants. |
KR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Xishun Zhao |
On Odd and Even Cycles in Normal Logic Programs. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Joohyung Lee, Fangzhen Lin |
Loop Formulas for Circumscription. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems. |
J. Artif. Intell. Res. (JAIR) |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Jia-Huai You |
Recycling Computed Answers in Rewrite Systems for Abduction. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jérôme Lang, Fangzhen Lin, Pierre Marquis |
Causal Theories of Action: A Computational Core. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Jicheng Zhao |
On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Yuting Zhao, Fangzhen Lin |
Answer Set Programming Phase Transition: A Study on Randomly Generated Programs. |
ICLP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Jia-Huai You |
Abduction in logic programming: A new definition and an abductive procedure based on rewriting. |
Artif. Intell. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin |
Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic. |
KR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Yuting Zhao |
ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. |
AAAI/IAAI |
2002 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
On strongest necessary and weakest sufficient conditions. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin |
A Planner Called R. |
AI Magazine |
2001 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Jia-Huai You |
Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. |
IJCAI |
2001 |
DBLP BibTeX RDF |
|
| 1 | Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl |
Ability and Knowing How in the Situation Calculus. |
Studia Logica |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin |
On Strongest Necessary and Weakest Sufficient Conditions. |
KR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
From Causal Theories to Successor State Axioms and STRIPS-Like Systems. |
AAAI/IAAI |
2000 |
DBLP BibTeX RDF |
|
| 1 | Kewen Wang, Lizhu Zhou, Fangzhen Lin |
Alternating Fixpoint Theory for Logic Programs with Priority. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
alternating fixpoints, Logic programs, priority, answer sets, well-founded model |
| 1 | Fangzhen Lin, Kewen Wang |
From Causal Theories to Logic Programs (Sometimes). |
LPNMR |
1999 |
DBLP DOI BibTeX RDF |
disjunctive logic programs with classical negation, causal theories of actions, situation calculus |
| 1 | Fangzhen Lin, Hector J. Levesque |
What Robots Can Do: Robot Programs and Effective Achievability. |
Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin |
Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator. |
Artif. Intell. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin |
On Measuring Plan Quality (A Preliminary Report). |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Raymond Reiter |
Rules as Actions: A Situation Calculus Semantics for Logic Programs. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl |
GOLOG: A Logic Programming Language for Dynamic Domains. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Raymond Reiter |
How to Progress a Database. |
Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin |
An Ordering on Subgoals for Planning. |
Ann. Math. Artif. Intell. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin |
Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator. |
IJCAI |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin |
Embracing Causality in Specifying the Indeterminate Effects of Actions. |
AAAI/IAAI, Vol. 1 |
1996 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Yoav Shoham |
Provably Correct Theories of Action. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
concurrent actions, temporal reasoning, reasoning about actions, frame problem |
| 1 | Fangzhen Lin, Raymond Reiter |
How to Progress a Database II: The STRIPS Connection. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
Embracing Causality in Specifying the Indirect Effects of Actions. |
IJCAI |
1995 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Raymond Reiter |
State Constraints Revisited. |
J. Log. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Raymond Reiter |
How to Progress a Database (and Why) I. Logical Foundations. |
KR |
1994 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
An Argument-Based Approach to Nonmonotonic Reasoning. |
Computational Intelligence |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Yoav Shoham |
A Logic of Knowledge and Justified Assumptions. |
Artif. Intell. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Fangzhen Lin, Yoav Shoham |
Concurrent Actions in the Situation Calculus. |
AAAI |
1992 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Yoav Shoham |
Provably Correct Theories of Action (Preliminary Report). |
AAAI |
1991 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Yoav Shoham |
Epistemic Semantics for Fixed-Points Non-Monotonic Logics. |
TARK |
1990 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin, Yoav Shoham |
Argument Systems: A Uniform Basis for Nonmonotonic Reasoning. |
KR |
1989 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
Circumscription in a Modal Logic. |
TARK |
1988 |
DBLP BibTeX RDF |
|
| 1 | Fangzhen Lin |
Reasoning in the Presence of Inconsistency. |
AAAI |
1987 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")