The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Fangzhen Lin" ( http://dblp.L3S.de/Authors/Fangzhen_Lin )

  Author page on DBLP  Author page in RDF  Community of Fangzhen Lin in ASPL-2

Publication years (Num. hits)
1987-1996 (15) 1997-2001 (17) 2002-2005 (16) 2006-2008 (17) 2009-2011 (19) 2012-2016 (17) 2017-2019 (11)
Publication types (Num. hits)
article(41) incollection(1) inproceedings(65) proceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 15 keywords

Results
Found 113 publication records. Showing 112 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Haodi Zhang, Zihang Gao, Yi Zhou, Hao Zhang 0025, Kaishun Wu, Fangzhen Lin Faster and Safer Training by Embedding High-Level Knowledge into Deep Reinforcement Learning. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Shiheng Wang, Fangzhen Lin Pure Strategy Best Responses to Mixed Strategies in Repeated Games. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pritom Rajkhowa, Fangzhen Lin VIAP 1.1 - (Competition Contribution). Search on Bibsonomy TACAS (3) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shiheng Wang, Fangzhen Lin Invincible Strategies of Iterated Prisoner's Dilemma. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Fangzhen Lin Machine Theorem Discovery. Search on Bibsonomy AI Magazine The full citation details ... 2018 DBLP  BibTeX  RDF
1Pritom Rajkhowa, Fangzhen Lin Extending VIAP to Handle Array Programs. Search on Bibsonomy VSTTE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Haodi Zhang, Fangzhen Lin Characterizing causal action theories and their implementations in answer set programming. Search on Bibsonomy Artif. Intell. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shiheng Wang, Fangzhen Lin Invincible Strategies of Iterated Prisoner's Dilemma. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Pritom Rajkhowa, Fangzhen Lin VIAP - Automated System for Verifying Integer Assignment Programs with Loops. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao (eds.) Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures Search on Bibsonomy Reasoning Web The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lijie Chen, Fangzhen Lin, Pingzhong Tang, Kangning Wang, Ruosong Wang, Shiheng Wang K-Memory Strategies in Repeated Games. Search on Bibsonomy AAMAS The full citation details ... 2017 DBLP  BibTeX  RDF
1Lian Wen, Kewen Wang, Yi-Dong Shen, Fangzhen Lin A Model for Phase Transition of Random Answer-Set Programs. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin A formalization of programs in first-order logic with a discrete linear order. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Chattrakul Sombattheera, Frieder Stolzenburg, Fangzhen Lin, Abhaya C. Nayak (eds.) Multi-disciplinary Trends in Artificial Intelligence - 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings Search on Bibsonomy MIWAI The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Haodi Zhang, Fangzhen Lin Mapping Action Language BC to Logic Programs: A Characterization by Postulates. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Jianmin Ji, Fangzhen Lin Position Systems in Dynamic Domains. Search on Bibsonomy J. Philosophical Logic The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Haodi Zhang, Fangzhen Lin Characterizing Causal Action Theories and Their Implementations in Answer Set Programming: Action Languages B, C, and Beyond. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Ning Ding, Fangzhen Lin On Computing Optimal Strategies in Open List Proportional Representation: The Two Parties Case. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Fangzhen Lin A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom on Situations. Search on Bibsonomy AAAI Spring Symposia The full citation details ... 2014 DBLP  BibTeX  RDF
1Fangzhen Lin A Formalization of Programs in First-Order Logic with a Discrete Linear Order. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Fangzhen Lin A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Xiaoping Chen, Jianmin Ji, Fangzhen Lin Computing Loops with at Most One External Support Rule. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Jianmin Ji, Fangzhen Lin, Jia-Huai You Computing Loops with at Most One External Support Rule for Basic Logic Programs with Arbitrary Constraint Atoms. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Jianmin Ji, Fangzhen Lin Turner's Logic of Universal Causation, Propositional Logic, and Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Ning Ding, Fangzhen Lin Voting with partial information: what questions to ask? Search on Bibsonomy AAMAS The full citation details ... 2013 DBLP  BibTeX  RDF
1Vernon Asuncion, Fangzhen Lin, Yan Zhang 0003, Yi Zhou Ordered completion for first-order logic programs on finite structures. Search on Bibsonomy Artif. Intell. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jianmin Ji, Fangzhen Lin From Turner's Logic of Universal Causation to the Logic of GK. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yisong Wang, Fangzhen Lin, Mingyi Zhang, Jia-Huai You A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract Constraint Atoms. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Fangzhen Lin, Yi Zhou From answer set logic programming to circumscription via logic of GK. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yin Chen, Fangzhen Lin, Yan Zhang 0003, Yi Zhou Loop-separable programs and their first-order definability. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Pingzhong Tang, Fangzhen Lin Discovering theorems in game theory: Two-person games with unique pure Nash equilibrium payoffs. Search on Bibsonomy Artif. Intell. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Pingzhong Tang, Fangzhen Lin Two equivalence results for two-person strict games. Search on Bibsonomy Games and Economic Behavior The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin, Mikhail Soutchanski Causal Theories of Actions Revisited. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Fangzhen Lin On Moving Objects in Dynamic Domains. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
1Fangzhen Lin, Mikhail Soutchanski Causal Theories of Actions Revisited. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2011 DBLP  BibTeX  RDF
1Yisong Wang, Jia-Huai You, Fangzhen Lin, Li-Yan Yuan, Mingyi Zhang Weight constraint programs with evaluable functions. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Pingzhong Tang, Yoav Shoham, Fangzhen Lin Designing competitions between teams of individuals. Search on Bibsonomy Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Vernon Asuncion, Fangzhen Lin, Yan Zhang 0003, Yi Zhou Ordered Completion for First-Order Logic Programs on Finite Structures. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Fangzhen 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 Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Yi Zhou, Fangzhen Lin, Yan Zhang General default logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pingzhong Tang, Fangzhen Lin Computer-aided proofs of Arrow's and other impossibility theorems. Search on Bibsonomy Artif. Intell. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin Two Applications of Computer-Aided Theorem Discovery and Verification. Search on Bibsonomy KSEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Xiaoping Chen, Jianmin Ji, Fangzhen Lin Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Esra Erdem 0001, Fangzhen Lin, Torsten Schaub (eds.) Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pingzhong Tang, Fangzhen Lin Discovering Theorems in Game Theory: Two-Person Games with Unique Pure Nash Equilibrium Payoffs. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Pingzhong Tang, Yoav Shoham, Fangzhen Lin Team competition. Search on Bibsonomy AAMAS (1) The full citation details ... 2009 DBLP  BibTeX  RDF dominant strategy implementation, team competition, mechanism design, truthfulness
1Fangzhen Lin Situation Calculus. Search on Bibsonomy Handbook of Knowledge Representation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin, Pingzhong Tang Computer-Aided Proofs of Arrow's and Other Impossibility Theorems. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Fangzhen Lin, Jia-Huai You Abductive Logic Programming by Nonground Rewrite Systems. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Fangzhen Lin, Yisong Wang Answer Set Programming with Functions. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Fangzhen Lin Proving Goal Achievability. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Xiaoping Chen, Jianmin Ji, Fangzhen Lin Computing Loops with at Most One External Support Rule. Search on Bibsonomy KR The full citation details ... 2008 DBLP  BibTeX  RDF
1Fangzhen Lin, Jia-Huai You Recycling computed answers in rewrite systems for abduction. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF partial stable model semantics, logic programming, abduction, rewrite systems, recycling, Stable model semantics
1Fangzhen Lin, Yin Chen Discovering Classes of Strongly Equivalent Logic Programs. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Mingyi Zhang, Ying Zhang, Fangzhen Lin A characterization of answer sets for logic programs. Search on Bibsonomy Science in China Series F: Information Sciences The full citation details ... 2007 DBLP  DOI  BibTeX  RDF nested logic programming, characterization of answer sets, completion semantics, tightness, loop formulas
1Abhaya C. Nayak, Yin Chen, Fangzhen Lin Forgetting and Update -- an exploration. Search on Bibsonomy Formal Models of Belief Change in Rational Agents The full citation details ... 2007 DBLP  BibTeX  RDF
1Yi Zhou, Fangzhen Lin, Yan Zhang General Default Logic. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin Finitely-Verifiable Classes of Sentences. Search on Bibsonomy AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning The full citation details ... 2007 DBLP  BibTeX  RDF
1Fangzhen Lin, Yi Zhou From Answer Set Logic Programming to Circumscription via Logic of GK. Search on Bibsonomy IJCAI The full citation details ... 2007 DBLP  BibTeX  RDF
1Joohyung Lee, Fangzhen Lin Loop formulas for circumscription. Search on Bibsonomy Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Jé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 Search on Bibsonomy KSEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yin Chen, Fangzhen Lin, Yisong Wang, Mingyi Zhang First-Order Loop Formulas for Normal Logic Programs. Search on Bibsonomy KR The full citation details ... 2006 DBLP  BibTeX  RDF
1Abhaya C. Nayak, Yin Chen, Fangzhen Lin Forgetting and Knowledge Update. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Knowledge Update, Dalal Distance, Forgetting
1Yin Chen, Fangzhen Lin, Lei Li SELP - A System for Studying Strong Equivalence Between Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Yin Chen, Fangzhen Lin, Lei Li SELP - A System for Studying Strong Equivalence between Logic Programs. Search on Bibsonomy Answer Set Programming The full citation details ... 2005 DBLP  BibTeX  RDF
1Fangzhen Lin, Yin Chen Discovering Classes of Strongly Equivalent Logic Programs. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Fangzhen Lin, Yuting Zhao ASSAT: computing answer sets of a logic program by SAT solvers. Search on Bibsonomy Artif. Intell. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin, Jia-Huai You Recycling Computed Answers in Rewrite Systems for Abduction Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Joohyung Lee, Fangzhen Lin Loop Formulas for Circumscription. Search on Bibsonomy AAAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Fangzhen Lin, Xishun Zhao On Odd and Even Cycles in Normal Logic Programs. Search on Bibsonomy AAAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Fangzhen Lin Discovering State Invariants. Search on Bibsonomy KR The full citation details ... 2004 DBLP  BibTeX  RDF
1Fangzhen Lin Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Yuting Zhao, Fangzhen Lin Answer Set Programming Phase Transition: A Study on Randomly Generated Programs. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Jérôme Lang, Fangzhen Lin, Pierre Marquis Causal Theories of Action: A Computational Core. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Fangzhen Lin, Jia-Huai You Recycling Computed Answers in Rewrite Systems for Abduction. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Fangzhen Lin, Jicheng Zhao On Tight Logic Programs and Yet Another Translation from Normal Logic Programs to Propositional Logic. Search on Bibsonomy IJCAI The full citation details ... 2003 DBLP  BibTeX  RDF
1Fangzhen Lin, Jia-Huai You Abduction in logic programming: A new definition and an abductive procedure based on rewriting. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin, Yuting Zhao ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers. Search on Bibsonomy AAAI/IAAI The full citation details ... 2002 DBLP  BibTeX  RDF
1Fangzhen Lin Reducing Strong Equivalence of Logic Programs to Entailment in Classical Propositional Logic. Search on Bibsonomy KR The full citation details ... 2002 DBLP  BibTeX  RDF
1Fangzhen Lin On strongest necessary and weakest sufficient conditions. Search on Bibsonomy Artif. Intell. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin A Planner Called R. Search on Bibsonomy AI Magazine The full citation details ... 2001 DBLP  BibTeX  RDF
1Fangzhen Lin, Jia-Huai You Abduction in Logic Programming: A New Definition and an Abductive Procedure Based on Rewriting. Search on Bibsonomy IJCAI The full citation details ... 2001 DBLP  BibTeX  RDF
1Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Richard B. Scherl Ability and Knowing How in the Situation Calculus. Search on Bibsonomy Studia Logica The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Kewen Wang, Lizhu Zhou, Fangzhen Lin Alternating Fixpoint Theory for Logic Programs with Priority. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  DOI  BibTeX  RDF alternating fixpoints, Logic programs, priority, answer sets, well-founded model
1Fangzhen Lin From Causal Theories to Successor State Axioms and STRIPS-Like Systems. Search on Bibsonomy AAAI/IAAI The full citation details ... 2000 DBLP  BibTeX  RDF
1Fangzhen Lin On Strongest Necessary and Weakest Sufficient Conditions. Search on Bibsonomy KR The full citation details ... 2000 DBLP  BibTeX  RDF
1Fangzhen Lin, Kewen Wang From Causal Theories to Logic Programs (Sometimes). Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF disjunctive logic programs with classical negation, causal theories of actions, situation calculus
1Fangzhen Lin, Hector J. Levesque What Robots Can Do: Robot Programs and Effective Achievability. Search on Bibsonomy Artif. Intell. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin Applications of the Situation Calculus to Formalizing Control and Strategic Information: The Prolog Cut Operator. Search on Bibsonomy Artif. Intell. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin On Measuring Plan Quality (A Preliminary Report). Search on Bibsonomy KR The full citation details ... 1998 DBLP  BibTeX  RDF
1Hector J. Levesque, Raymond Reiter, Yves Lespérance, Fangzhen Lin, Richard B. Scherl GOLOG: A Logic Programming Language for Dynamic Domains. Search on Bibsonomy J. Log. Program. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin, Raymond Reiter Rules as Actions: A Situation Calculus Semantics for Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin An Ordering on Subgoals for Planning. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin, Raymond Reiter How to Progress a Database. Search on Bibsonomy Artif. Intell. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin Applications of the Situation Calculus To Formalizing Control and Strategy Information: The Prolog Cut Operator. Search on Bibsonomy IJCAI The full citation details ... 1997 DBLP  BibTeX  RDF
1Kenneth Tam, J. Lloyd, Yves Lespérance, Hector J. Levesque, Fangzhen Lin, Daniel Marcu, Raymond Reiter, Michael R. M. Jenkin Controlling Autonomous Robots with GOLOG. Search on Bibsonomy Australian Joint Conference on Artificial Intelligence The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin Embracing Causality in Specifying the Indeterminate Effects of Actions. Search on Bibsonomy AAAI/IAAI, Vol. 1 The full citation details ... 1996 DBLP  BibTeX  RDF
1Fangzhen Lin, Yoav Shoham Provably Correct Theories of Action. Search on Bibsonomy J. ACM The full citation details ... 1995 DBLP  DOI  BibTeX  RDF concurrent actions, temporal reasoning, reasoning about actions, frame problem
1Fangzhen Lin, Raymond Reiter How to Progress a Database II: The STRIPS Connection. Search on Bibsonomy IJCAI The full citation details ... 1995 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 112 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license