BibTeX records: Fangzhen Lin

download as .bib file

@article{DBLP:journals/corr/abs-1902-09066,
  author    = {Shiheng Wang and
               Fangzhen Lin},
  title     = {Pure Strategy Best Responses to Mixed Strategies in Repeated Games},
  journal   = {CoRR},
  volume    = {abs/1902.09066},
  year      = {2019},
  url       = {http://arxiv.org/abs/1902.09066},
  archivePrefix = {arXiv},
  eprint    = {1902.09066},
  timestamp = {Mon, 04 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1902-09066},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Lin18,
  author    = {Fangzhen Lin},
  title     = {Machine Theorem Discovery},
  journal   = {{AI} Magazine},
  volume    = {39},
  number    = {2},
  pages     = {53--59},
  year      = {2018},
  url       = {https://www.aaai.org/ojs/index.php/aimagazine/article/view/2794},
  timestamp = {Tue, 17 Jul 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/aim/Lin18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/RajkhowaL18,
  author    = {Pritom Rajkhowa and
               Fangzhen Lin},
  title     = {Extending {VIAP} to Handle Array Programs},
  booktitle = {Verified Software. Theories, Tools, and Experiments - 10th International
               Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
               Papers},
  pages     = {38--49},
  year      = {2018},
  crossref  = {DBLP:conf/vstte/2018},
  url       = {https://doi.org/10.1007/978-3-030-03592-1\_3},
  doi       = {10.1007/978-3-030-03592-1\_3},
  timestamp = {Tue, 27 Nov 2018 14:42:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/RajkhowaL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ZhangL17,
  author    = {Haodi Zhang and
               Fangzhen Lin},
  title     = {Characterizing causal action theories and their implementations in
               answer set programming},
  journal   = {Artif. Intell.},
  volume    = {248},
  pages     = {1--8},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.artint.2017.02.008},
  doi       = {10.1016/j.artint.2017.02.008},
  timestamp = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ai/ZhangL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ChenLTWWW17,
  author    = {Lijie Chen and
               Fangzhen Lin and
               Pingzhong Tang and
               Kangning Wang and
               Ruosong Wang and
               Shiheng Wang},
  title     = {K-Memory Strategies in Repeated Games},
  booktitle = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
               Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
  pages     = {1493--1498},
  year      = {2017},
  crossref  = {DBLP:conf/atal/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3091340},
  timestamp = {Wed, 27 Sep 2017 07:24:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/ChenLTWWW17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/RajkhowaL17,
  author    = {Pritom Rajkhowa and
               Fangzhen Lin},
  title     = {{VIAP} - Automated System for Verifying Integer Assignment Programs
               with Loops},
  booktitle = {19th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
               21-24, 2017},
  pages     = {137--144},
  year      = {2017},
  crossref  = {DBLP:conf/synasc/2017},
  url       = {https://doi.org/10.1109/SYNASC.2017.00032},
  doi       = {10.1109/SYNASC.2017.00032},
  timestamp = {Thu, 14 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/RajkhowaL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rweb/2016,
  editor    = {Jeff Z. Pan and
               Diego Calvanese and
               Thomas Eiter and
               Ian Horrocks and
               Michael Kifer and
               Fangzhen Lin and
               Yuting Zhao},
  title     = {Reasoning Web: Logical Foundation of Knowledge Graph Construction
               and Query Answering - 12th International Summer School 2016, Aberdeen,
               UK, September 5-9, 2016, Tutorial Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {9885},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-49493-7},
  doi       = {10.1007/978-3-319-49493-7},
  isbn      = {978-3-319-49492-0},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rweb/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-06488,
  author    = {Shiheng Wang and
               Fangzhen Lin},
  title     = {Invincible Strategies of Iterated Prisoner's Dilemma},
  journal   = {CoRR},
  volume    = {abs/1712.06488},
  year      = {2017},
  url       = {http://arxiv.org/abs/1712.06488},
  archivePrefix = {arXiv},
  eprint    = {1712.06488},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1712-06488},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lin16,
  author    = {Fangzhen Lin},
  title     = {A formalization of programs in first-order logic with a discrete linear
               order},
  journal   = {Artif. Intell.},
  volume    = {235},
  pages     = {1--25},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.artint.2016.01.014},
  doi       = {10.1016/j.artint.2016.01.014},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/Lin16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/WenWSL16,
  author    = {Lian Wen and
               Kewen Wang and
               Yi{-}Dong Shen and
               Fangzhen Lin},
  title     = {A Model for Phase Transition of Random Answer-Set Programs},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {17},
  number    = {3},
  pages     = {22:1--22:34},
  year      = {2016},
  url       = {https://doi.org/10.1145/2926791},
  doi       = {10.1145/2926791},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/WenWSL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ZhangL16,
  author    = {Haodi Zhang and
               Fangzhen Lin},
  title     = {Mapping Action Language {BC} to Logic Programs: {A} Characterization
               by Postulates},
  booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
               February 12-17, 2016, Phoenix, Arizona, {USA.}},
  pages     = {1116--1123},
  year      = {2016},
  crossref  = {DBLP:conf/aaai/2016},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12255},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/ZhangL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/miwai/2016,
  editor    = {Chattrakul Sombattheera and
               Frieder Stolzenburg and
               Fangzhen Lin and
               Abhaya C. Nayak},
  title     = {Multi-disciplinary Trends in Artificial Intelligence - 10th International
               Workshop, {MIWAI} 2016, Chiang Mai, Thailand, December 7-9, 2016,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10053},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-49397-8},
  doi       = {10.1007/978-3-319-49397-8},
  isbn      = {978-3-319-49396-1},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/miwai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jphil/JiL15,
  author    = {Jianmin Ji and
               Fangzhen Lin},
  title     = {Position Systems in Dynamic Domains},
  journal   = {J. Philosophical Logic},
  volume    = {44},
  number    = {2},
  pages     = {147--161},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10992-014-9331-9},
  doi       = {10.1007/s10992-014-9331-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jphil/JiL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ZhangL15,
  author    = {Haodi Zhang and
               Fangzhen Lin},
  title     = {Characterizing Causal Action Theories and Their Implementations in
               Answer Set Programming: Action Languages B, C, and Beyond},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  pages     = {3285--3291},
  year      = {2015},
  crossref  = {DBLP:conf/ijcai/2015},
  url       = {http://ijcai.org/Abstract/15/463},
  timestamp = {Wed, 20 Jul 2016 15:18:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/ZhangL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DingL14,
  author    = {Ning Ding and
               Fangzhen Lin},
  title     = {On Computing Optimal Strategies in Open List Proportional Representation:
               The Two Parties Case},
  booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
               July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada.},
  pages     = {1419--1425},
  year      = {2014},
  crossref  = {DBLP:conf/aaai/2014},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8452},
  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/DingL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Lin14,
  author    = {Fangzhen Lin},
  title     = {A First-Order Semantics for Golog and ConGolog under a Second-Order
               Induction Axiom on Situations},
  booktitle = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
               USA, March 24-26, 2014},
  year      = {2014},
  crossref  = {DBLP:conf/aaaiss/2014},
  url       = {http://www.aaai.org/ocs/index.php/SSS/SSS14/paper/view/7732},
  timestamp = {Wed, 14 Nov 2018 14:23:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaaiss/Lin14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lin14,
  author    = {Fangzhen Lin},
  title     = {A Formalization of Programs in First-Order Logic with a Discrete Linear
               Order},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
               July 20-24, 2014},
  year      = {2014},
  crossref  = {DBLP:conf/kr/2014},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7970},
  timestamp = {Thu, 31 Jul 2014 10:24:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/Lin14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lin14a,
  author    = {Fangzhen Lin},
  title     = {A First-Order Semantics for Golog and ConGolog under a Second-Order
               Induction Axiom for Situations},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
               July 20-24, 2014},
  year      = {2014},
  crossref  = {DBLP:conf/kr/2014},
  url       = {http://www.aaai.org/ocs/index.php/KR/KR14/paper/view/7971},
  timestamp = {Thu, 31 Jul 2014 10:24:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/Lin14a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ChenJL13,
  author    = {Xiaoping Chen and
               Jianmin Ji and
               Fangzhen Lin},
  title     = {Computing Loops with at Most One External Support Rule},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {14},
  number    = {1},
  pages     = {3:1--3:34},
  year      = {2013},
  url       = {https://doi.org/10.1145/2422085.2422088},
  doi       = {10.1145/2422085.2422088},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/ChenJL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/JiLY13,
  author    = {Jianmin Ji and
               Fangzhen Lin and
               Jia{-}Huai You},
  title     = {Computing Loops with at Most One External Support Rule for Basic Logic
               Programs with Arbitrary Constraint Atoms},
  journal   = {{TPLP}},
  volume    = {13},
  number    = {4-5-Online-Supplement},
  year      = {2013},
  url       = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013015.pdf},
  timestamp = {Mon, 21 Aug 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/JiLY13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/DingL13,
  author    = {Ning Ding and
               Fangzhen Lin},
  title     = {Voting with partial information: what questions to ask?},
  booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
               {AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013},
  pages     = {1237--1238},
  year      = {2013},
  crossref  = {DBLP:conf/atal/2013},
  url       = {http://dl.acm.org/citation.cfm?id=2485161},
  timestamp = {Fri, 28 Jun 2013 12:19:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/DingL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/JiL13,
  author    = {Jianmin Ji and
               Fangzhen Lin},
  title     = {Turner's Logic of Universal Causation, Propositional Logic, and Logic
               Programming},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
               {LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
  pages     = {401--413},
  year      = {2013},
  crossref  = {DBLP:conf/lpnmr/2013},
  url       = {https://doi.org/10.1007/978-3-642-40564-8\_40},
  doi       = {10.1007/978-3-642-40564-8\_40},
  timestamp = {Tue, 23 May 2017 01:06:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/JiL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AsuncionLZZ12,
  author    = {Vernon Asuncion and
               Fangzhen Lin and
               Yan Zhang and
               Yi Zhou},
  title     = {Ordered completion for first-order logic programs on finite structures},
  journal   = {Artif. Intell.},
  volume    = {177-179},
  pages     = {1--24},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.artint.2011.11.001},
  doi       = {10.1016/j.artint.2011.11.001},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/AsuncionLZZ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WangLZY12,
  author    = {Yisong Wang and
               Fangzhen Lin and
               Mingyi Zhang and
               Jia{-}Huai You},
  title     = {A Well-Founded Semantics for Basic Logic Programs with Arbitrary Abstract
               Constraint Atoms},
  booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2012, Toronto, Ontario, Canada.},
  year      = {2012},
  crossref  = {DBLP:conf/aaai/2012},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI12/paper/view/4858},
  timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/WangLZY12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/JiL12,
  author    = {Jianmin Ji and
               Fangzhen Lin},
  title     = {From Turner's Logic of Universal Causation to the Logic of {GK}},
  booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
               Lifschitz},
  pages     = {380--385},
  year      = {2012},
  crossref  = {DBLP:conf/birthday/2012lifschitz},
  url       = {https://doi.org/10.1007/978-3-642-30743-0\_25},
  doi       = {10.1007/978-3-642-30743-0\_25},
  timestamp = {Wed, 14 Mar 2018 14:09:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/JiL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LinZ11,
  author    = {Fangzhen Lin and
               Yi Zhou},
  title     = {From answer set logic programming to circumscription via logic of
               {GK}},
  journal   = {Artif. Intell.},
  volume    = {175},
  number    = {1},
  pages     = {264--277},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.artint.2010.04.001},
  doi       = {10.1016/j.artint.2010.04.001},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/LinZ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ChenLZZ11,
  author    = {Yin Chen and
               Fangzhen Lin and
               Yan Zhang and
               Yi Zhou},
  title     = {Loop-separable programs and their first-order definability},
  journal   = {Artif. Intell.},
  volume    = {175},
  number    = {3-4},
  pages     = {890--913},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.artint.2010.12.001},
  doi       = {10.1016/j.artint.2010.12.001},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/ChenLZZ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/TangL11,
  author    = {Pingzhong Tang and
               Fangzhen Lin},
  title     = {Discovering theorems in game theory: Two-person games with unique
               pure Nash equilibrium payoffs},
  journal   = {Artif. Intell.},
  volume    = {175},
  number    = {14-15},
  pages     = {2010--2020},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.artint.2011.07.001},
  doi       = {10.1016/j.artint.2011.07.001},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/TangL11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/geb/TangL11,
  author    = {Pingzhong Tang and
               Fangzhen Lin},
  title     = {Two equivalence results for two-person strict games},
  journal   = {Games and Economic Behavior},
  volume    = {71},
  number    = {2},
  pages     = {479--486},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.geb.2010.04.007},
  doi       = {10.1016/j.geb.2010.04.007},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/geb/TangL11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LinS11,
  author    = {Fangzhen Lin and
               Mikhail Soutchanski},
  title     = {Causal Theories of Actions Revisited},
  booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/aaai/2011},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI11/paper/view/3674},
  timestamp = {Tue, 09 Aug 2011 07:56:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/LinS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Lin11,
  author    = {Fangzhen Lin},
  title     = {On Moving Objects in Dynamic Domains},
  booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
               {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
               USA, March 21-23, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/aaaiss/2011-6},
  url       = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2409},
  timestamp = {Mon, 13 Feb 2012 17:07:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaaiss/Lin11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/LinS11,
  author    = {Fangzhen Lin and
               Mikhail Soutchanski},
  title     = {Causal Theories of Actions Revisited},
  booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
               {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
               USA, March 21-23, 2011},
  year      = {2011},
  crossref  = {DBLP:conf/aaaiss/2011-6},
  url       = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2410},
  timestamp = {Mon, 13 Feb 2012 17:07:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaaiss/LinS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-4867,
  author    = {Fangzhen Lin},
  title     = {Compiling Causal Theories to Successor State Axioms and STRIPS-Like
               Systems},
  journal   = {CoRR},
  volume    = {abs/1106.4867},
  year      = {2011},
  url       = {http://arxiv.org/abs/1106.4867},
  archivePrefix = {arXiv},
  eprint    = {1106.4867},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1106-4867},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/TangSL10,
  author    = {Pingzhong Tang and
               Yoav Shoham and
               Fangzhen Lin},
  title     = {Designing competitions between teams of individuals},
  journal   = {Artif. Intell.},
  volume    = {174},
  number    = {11},
  pages     = {749--766},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.artint.2010.04.025},
  doi       = {10.1016/j.artint.2010.04.025},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/TangSL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/WangYLYZ10,
  author    = {Yisong Wang and
               Jia{-}Huai You and
               Fangzhen Lin and
               Li{-}Yan Yuan and
               Mingyi Zhang},
  title     = {Weight constraint programs with evaluable functions},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {60},
  number    = {3-4},
  pages     = {341--380},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10472-011-9237-y},
  doi       = {10.1007/s10472-011-9237-y},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/amai/WangYLYZ10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AsuncionLZZ10,
  author    = {Vernon Asuncion and
               Fangzhen Lin and
               Yan Zhang and
               Yi Zhou},
  title     = {Ordered Completion for First-Order Logic Programs on Finite Structures},
  booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
  year      = {2010},
  crossref  = {DBLP:conf/aaai/2010},
  url       = {http://www.aaai.org/ocs/index.php/AAAI/AAAI10/paper/view/1796},
  timestamp = {Mon, 06 Nov 2017 17:26:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/AsuncionLZZ10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2010,
  editor    = {Fangzhen Lin and
               Ulrike Sattler and
               Miroslaw Truszczynski},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Twelfth International Conference, {KR} 2010, Toronto, Ontario,
               Canada, May 9-13, 2010},
  publisher = {{AAAI} Press},
  year      = {2010},
  timestamp = {Wed, 23 Jun 2010 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/TangL09,
  author    = {Pingzhong Tang and
               Fangzhen Lin},
  title     = {Computer-aided proofs of Arrow's and other impossibility theorems},
  journal   = {Artif. Intell.},
  volume    = {173},
  number    = {11},
  pages     = {1041--1053},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.artint.2009.02.005},
  doi       = {10.1016/j.artint.2009.02.005},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/ai/TangL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/ZhouLZ09,
  author    = {Yi Zhou and
               Fangzhen Lin and
               Yan Zhang},
  title     = {General default logic},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {57},
  number    = {2},
  pages     = {125--160},
  year      = {2009},
  url       = {https://doi.org/10.1007/s10472-009-9161-6},
  doi       = {10.1007/s10472-009-9161-6},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/amai/ZhouLZ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/TangSL09,
  author    = {Pingzhong Tang and
               Yoav Shoham and
               Fangzhen Lin},
  title     = {Team competition},
  booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
               1},
  pages     = {241--248},
  year      = {2009},
  crossref  = {DBLP:conf/atal/2009-1},
  url       = {https://dl.acm.org/citation.cfm?id=1558046},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atal/TangSL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChenJL09,
  author    = {Xiaoping Chen and
               Jianmin Ji and
               Fangzhen Lin},
  title     = {Computing Loops with at Most One External Support Rule for Disjunctive
               Logic Programs},
  booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
               CA, USA, July 14-17, 2009. Proceedings},
  pages     = {130--144},
  year      = {2009},
  crossref  = {DBLP:conf/iclp/2009},
  url       = {https://doi.org/10.1007/978-3-642-02846-5\_15},
  doi       = {10.1007/978-3-642-02846-5\_15},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/ChenJL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/TangL09,
  author    = {Pingzhong Tang and
               Fangzhen Lin},
  title     = {Discovering Theorems in Game Theory: Two-Person Games with Unique
               Pure Nash Equilibrium Payoffs},
  booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  pages     = {312--317},
  year      = {2009},
  crossref  = {DBLP:conf/ijcai/2009},
  url       = {http://ijcai.org/Proceedings/09/Papers/060.pdf},
  timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/TangL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ksem/Lin09,
  author    = {Fangzhen Lin},
  title     = {Two Applications of Computer-Aided Theorem Discovery and Verification},
  booktitle = {Knowledge Science, Engineering and Management, Third International
               Conference, {KSEM} 2009, Vienna, Austria, November 25-27, 2009. Proceedings},
  pages     = {2},
  year      = {2009},
  crossref  = {DBLP:conf/ksem/2009},
  url       = {https://doi.org/10.1007/978-3-642-10488-6\_2},
  doi       = {10.1007/978-3-642-10488-6\_2},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ksem/Lin09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2009,
  editor    = {Esra Erdem and
               Fangzhen Lin and
               Torsten Schaub},
  title     = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
               {LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5753},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04238-6},
  doi       = {10.1007/978-3-642-04238-6},
  isbn      = {978-3-642-04237-9},
  timestamp = {Tue, 19 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LinT08,
  author    = {Fangzhen Lin and
               Pingzhong Tang},
  title     = {Computer-Aided Proofs of Arrow's and Other Impossibility Theorems},
  booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages     = {114--119},
  year      = {2008},
  crossref  = {DBLP:conf/aaai/2008},
  url       = {http://www.aaai.org/Library/AAAI/2008/aaai08-018.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/LinT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LinY08,
  author    = {Fangzhen Lin and
               Jia{-}Huai You},
  title     = {Abductive Logic Programming by Nonground Rewrite Systems},
  booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages     = {480--485},
  year      = {2008},
  crossref  = {DBLP:conf/aaai/2008},
  url       = {http://www.aaai.org/Library/AAAI/2008/aaai08-076.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/LinY08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ChenJL08,
  author    = {Xiaoping Chen and
               Jianmin Ji and
               Fangzhen Lin},
  title     = {Computing Loops with at Most One External Support Rule},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
               September 16-19, 2008},
  pages     = {401--410},
  year      = {2008},
  crossref  = {DBLP:conf/kr/2008},
  url       = {http://www.aaai.org/Library/KR/2008/kr08-039.php},
  timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kr/ChenJL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LinW08,
  author    = {Fangzhen Lin and
               Yisong Wang},
  title     = {Answer Set Programming with Functions},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
               September 16-19, 2008},
  pages     = {454--465},
  year      = {2008},
  crossref  = {DBLP:conf/kr/2008},
  url       = {http://www.aaai.org/Library/KR/2008/kr08-044.php},
  timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kr/LinW08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lin08,
  author    = {Fangzhen Lin},
  title     = {Proving Goal Achievability},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
               September 16-19, 2008},
  pages     = {621--628},
  year      = {2008},
  crossref  = {DBLP:conf/kr/2008},
  url       = {http://www.aaai.org/Library/KR/2008/kr08-061.php},
  timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kr/Lin08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/fai/Lin08,
  author    = {Fangzhen Lin},
  title     = {Situation Calculus},
  booktitle = {Handbook of Knowledge Representation},
  pages     = {649--669},
  year      = {2008},
  crossref  = {DBLP:reference/fai/3},
  url       = {https://doi.org/10.1016/S1574-6526(07)03016-7},
  doi       = {10.1016/S1574-6526(07)03016-7},
  timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/fai/Lin08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/chinaf/ZhangZL07,
  author    = {Mingyi Zhang and
               Ying Zhang and
               Fangzhen Lin},
  title     = {A characterization of answer sets for logic programs},
  journal   = {Science in China Series {F:} Information Sciences},
  volume    = {50},
  number    = {1},
  pages     = {46--62},
  year      = {2007},
  url       = {https://doi.org/10.1007/s11432-007-0001-1},
  doi       = {10.1007/s11432-007-0001-1},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/chinaf/ZhangZL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/LinC07,
  author    = {Fangzhen Lin and
               Yin Chen},
  title     = {Discovering Classes of Strongly Equivalent Logic Programs},
  journal   = {J. Artif. Intell. Res.},
  volume    = {28},
  pages     = {431--451},
  year      = {2007},
  url       = {https://doi.org/10.1613/jair.2131},
  doi       = {10.1613/jair.2131},
  timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jair/LinC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/LinY07,
  author    = {Fangzhen Lin and
               Jia{-}Huai You},
  title     = {Recycling computed answers in rewrite systems for abduction},
  journal   = {{ACM} Trans. Comput. Log.},
  volume    = {8},
  number    = {2},
  pages     = {9},
  year      = {2007},
  url       = {https://doi.org/10.1145/1227839.1227841},
  doi       = {10.1145/1227839.1227841},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocl/LinY07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/Lin07,
  author    = {Fangzhen Lin},
  title     = {Finitely-Verifiable Classes of Sentences},
  booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007
               {AAAI} Spring Symposium, Technical Report SS-07-05, Stanford, California,
               USA, March 26-28, 2007},
  pages     = {89--94},
  year      = {2007},
  crossref  = {DBLP:conf/aaaiss/2007-5},
  url       = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-016.php},
  timestamp = {Fri, 17 Feb 2012 14:14:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaaiss/Lin07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LinZ07,
  author    = {Fangzhen Lin and
               Yi Zhou},
  title     = {From Answer Set Logic Programming to Circumscription via Logic of
               {GK}},
  booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
               on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  pages     = {441--446},
  year      = {2007},
  crossref  = {DBLP:conf/ijcai/2007},
  url       = {http://ijcai.org/Proceedings/07/Papers/069.pdf},
  timestamp = {Wed, 20 Jul 2016 13:58:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/LinZ07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ZhouLZ07,
  author    = {Yi Zhou and
               Fangzhen Lin and
               Yan Zhang},
  title     = {General Default Logic},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
               {LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
  pages     = {241--253},
  year      = {2007},
  crossref  = {DBLP:conf/lpnmr/2007},
  url       = {https://doi.org/10.1007/978-3-540-72200-7\_21},
  doi       = {10.1007/978-3-540-72200-7\_21},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/ZhouLZ07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/NayakCL07,
  author    = {Abhaya C. Nayak and
               Yin Chen and
               Fangzhen Lin},
  title     = {Forgetting and Update -- an exploration},
  booktitle = {Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007},
  year      = {2007},
  crossref  = {DBLP:conf/dagstuhl/2007P7351},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2007/1213},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/NayakCL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LeeL06,
  author    = {Joohyung Lee and
               Fangzhen Lin},
  title     = {Loop formulas for circumscription},
  journal   = {Artif. Intell.},
  volume    = {170},
  number    = {2},
  pages     = {160--185},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.artint.2005.09.003},
  doi       = {10.1016/j.artint.2005.09.003},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/LeeL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/NayakCL06,
  author    = {Abhaya C. Nayak and
               Yin Chen and
               Fangzhen Lin},
  title     = {Forgetting and Knowledge Update},
  booktitle = {{AI} 2006: Advances in Artificial Intelligence, 19th Australian Joint
               Conference on Artificial Intelligence, Hobart, Australia, December
               4-8, 2006, Proceedings},
  pages     = {131--140},
  year      = {2006},
  crossref  = {DBLP:conf/ausai/2006},
  url       = {https://doi.org/10.1007/11941439\_17},
  doi       = {10.1007/11941439\_17},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ausai/NayakCL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ChenLWZ06,
  author    = {Yin Chen and
               Fangzhen Lin and
               Yisong Wang and
               Mingyi Zhang},
  title     = {First-Order Loop Formulas for Normal Logic Programs},
  booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
               Representation and Reasoning, Lake District of the United Kingdom,
               June 2-5, 2006},
  pages     = {298--307},
  year      = {2006},
  crossref  = {DBLP:conf/kr/2006},
  url       = {http://www.aaai.org/Library/KR/2006/kr06-032.php},
  timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kr/ChenLWZ06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ksem/2006,
  editor    = {J{\'{e}}r{\^{o}}me Lang and
               Fangzhen Lin and
               Ju Wang},
  title     = {Knowledge Science, Engineering and Management, First International
               Conference, {KSEM} 2006, Guilin, China, August 5-8, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4092},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11811220},
  doi       = {10.1007/11811220},
  isbn      = {3-540-37033-1},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ksem/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/ChenLL05,
  author    = {Yin Chen and
               Fangzhen Lin and
               Lei Li},
  title     = {{SELP} - {A} System for Studying Strong Equivalence between Logic
               Programs},
  booktitle = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
               of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  year      = {2005},
  crossref  = {DBLP:conf/asp/2005},
  url       = {http://ceur-ws.org/Vol-142/page130.pdf},
  timestamp = {Mon, 30 May 2016 17:03:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asp/ChenLL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LinC05,
  author    = {Fangzhen Lin and
               Yin Chen},
  title     = {Discovering Classes of Strongly Equivalent Logic Programs},
  booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
               on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
               5, 2005},
  pages     = {516--521},
  year      = {2005},
  crossref  = {DBLP:conf/ijcai/2005},
  url       = {http://ijcai.org/Proceedings/05/Papers/0601.pdf},
  timestamp = {Wed, 20 Jul 2016 09:10:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/LinC05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ChenLL05,
  author    = {Yin Chen and
               Fangzhen Lin and
               Lei Li},
  title     = {{SELP} - {A} System for Studying Strong Equivalence Between Logic
               Programs},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
               {LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
  pages     = {442--446},
  year      = {2005},
  crossref  = {DBLP:conf/lpnmr/2005},
  url       = {https://doi.org/10.1007/11546207\_43},
  doi       = {10.1007/11546207\_43},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/ChenLL05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LinZ04,
  author    = {Fangzhen Lin and
               Yuting Zhao},
  title     = {{ASSAT:} computing answer sets of a logic program by {SAT} solvers},
  journal   = {Artif. Intell.},
  volume    = {157},
  number    = {1-2},
  pages     = {115--137},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.artint.2004.04.004},
  doi       = {10.1016/j.artint.2004.04.004},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/LinZ04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LinZ04,
  author    = {Fangzhen Lin and
               Xishun Zhao},
  title     = {On Odd and Even Cycles in Normal Logic Programs},
  booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
               Sixteenth Conference on Innovative Applications of Artificial Intelligence,
               July 25-29, 2004, San Jose, California, {USA}},
  pages     = {80--85},
  year      = {2004},
  crossref  = {DBLP:conf/aaai/2004},
  url       = {http://www.aaai.org/Library/AAAI/2004/aaai04-013.php},
  timestamp = {Tue, 11 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/LinZ04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeeL04,
  author    = {Joohyung Lee and
               Fangzhen Lin},
  title     = {Loop Formulas for Circumscription},
  booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
               Sixteenth Conference on Innovative Applications of Artificial Intelligence,
               July 25-29, 2004, San Jose, California, {USA}},
  pages     = {281--286},
  year      = {2004},
  crossref  = {DBLP:conf/aaai/2004},
  url       = {http://www.aaai.org/Library/AAAI/2004/aaai04-045.php},
  timestamp = {Tue, 11 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/LeeL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lin04,
  author    = {Fangzhen Lin},
  title     = {Discovering State Invariants},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Ninth International Conference (KR2004), Whistler, Canada,
               June 2-5, 2004},
  pages     = {536--544},
  year      = {2004},
  crossref  = {DBLP:conf/kr/2004},
  url       = {http://www.aaai.org/Library/KR/2004/kr04-056.php},
  timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kr/Lin04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0402033,
  author    = {Fangzhen Lin and
               Jia{-}Huai You},
  title     = {Recycling Computed Answers in Rewrite Systems for Abduction},
  journal   = {CoRR},
  volume    = {cs.AI/0402033},
  year      = {2004},
  url       = {http://arxiv.org/abs/cs.AI/0402033},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-AI-0402033},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Lin03,
  author    = {Fangzhen Lin},
  title     = {Compiling Causal Theories to Successor State Axioms and STRIPS-Like
               Systems},
  journal   = {J. Artif. Intell. Res.},
  volume    = {19},
  pages     = {279--314},
  year      = {2003},
  url       = {https://doi.org/10.1613/jair.1135},
  doi       = {10.1613/jair.1135},
  timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jair/Lin03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ZhaoL03,
  author    = {Yuting Zhao and
               Fangzhen Lin},
  title     = {Answer Set Programming Phase Transition: {A} Study on Randomly Generated
               Programs},
  booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
               India, December 9-13, 2003, Proceedings},
  pages     = {239--253},
  year      = {2003},
  crossref  = {DBLP:conf/iclp/2003},
  url       = {https://doi.org/10.1007/978-3-540-24599-5\_17},
  doi       = {10.1007/978-3-540-24599-5\_17},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/ZhaoL03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LinZ03,
  author    = {Fangzhen Lin and
               Jicheng Zhao},
  title     = {On Tight Logic Programs and Yet Another Translation from Normal Logic
               Programs to Propositional Logic},
  booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
               on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  pages     = {853--858},
  year      = {2003},
  crossref  = {DBLP:conf/ijcai/2003},
  url       = {http://ijcai.org/Proceedings/03/Papers/123.pdf},
  timestamp = {Thu, 25 Aug 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/LinZ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LinY03,
  author    = {Fangzhen Lin and
               Jia{-}Huai You},
  title     = {Recycling Computed Answers in Rewrite Systems for Abduction},
  booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
               on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  pages     = {879--886},
  year      = {2003},
  crossref  = {DBLP:conf/ijcai/2003},
  url       = {http://ijcai.org/Proceedings/03/Papers/127.pdf},
  timestamp = {Thu, 25 Aug 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/LinY03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LangLM03,
  author    = {J{\'{e}}r{\^{o}}me Lang and
               Fangzhen Lin and
               Pierre Marquis},
  title     = {Causal Theories of Action: {A} Computational Core},
  booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
               on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  pages     = {1073--1078},
  year      = {2003},
  crossref  = {DBLP:conf/ijcai/2003},
  url       = {http://ijcai.org/Proceedings/03/Papers/154.pdf},
  timestamp = {Thu, 25 Aug 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/LangLM03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LinY02,
  author    = {Fangzhen Lin and
               Jia{-}Huai You},
  title     = {Abduction in logic programming: {A} new definition and an abductive
               procedure based on rewriting},
  journal   = {Artif. Intell.},
  volume    = {140},
  number    = {1/2},
  pages     = {175--205},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0004-3702(02)00227-8},
  doi       = {10.1016/S0004-3702(02)00227-8},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/LinY02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LinZ02,
  author    = {Fangzhen Lin and
               Yuting Zhao},
  title     = {{ASSAT:} Computing Answer Sets of a Logic Program by {SAT} Solvers},
  booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence
               and Fourteenth Conference on Innovative Applications of Artificial
               Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada.},
  pages     = {112--118},
  year      = {2002},
  crossref  = {DBLP:conf/aaai/2002},
  url       = {http://www.aaai.org/Library/AAAI/2002/aaai02-018.php},
  timestamp = {Mon, 26 Feb 2018 07:08:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/LinZ02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lin02,
  author    = {Fangzhen Lin},
  title     = {Reducing Strong Equivalence of Logic Programs to Entailment in Classical
               Propositional Logic},
  booktitle = {Proceedings of the Eights International Conference on Principles and
               Knowledge Representation and Reasoning (KR-02), Toulouse, France,
               April 22-25, 2002},
  pages     = {170--176},
  year      = {2002},
  crossref  = {DBLP:conf/kr/2002},
  timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/Lin02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lin01,
  author    = {Fangzhen Lin},
  title     = {On strongest necessary and weakest sufficient conditions},
  journal   = {Artif. Intell.},
  volume    = {128},
  number    = {1-2},
  pages     = {143--159},
  year      = {2001},
  url       = {https://doi.org/10.1016/S0004-3702(01)00070-4},
  doi       = {10.1016/S0004-3702(01)00070-4},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/Lin01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/Lin01,
  author    = {Fangzhen Lin},
  title     = {A Planner Called {R}},
  journal   = {{AI} Magazine},
  volume    = {22},
  number    = {3},
  pages     = {73--76},
  year      = {2001},
  url       = {http://www.aaai.org/ojs/index.php/aimagazine/article/view/1575},
  timestamp = {Wed, 29 Dec 2010 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/aim/Lin01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LinY01,
  author    = {Fangzhen Lin and
               Jia{-}Huai You},
  title     = {Abduction in Logic Programming: {A} New Definition and an Abductive
               Procedure Based on Rewriting},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
               2001},
  pages     = {655--666},
  year      = {2001},
  crossref  = {DBLP:conf/ijcai/2001},
  timestamp = {Tue, 19 Jul 2016 16:01:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/LinY01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/LesperanceLLS00,
  author    = {Yves Lesp{\'{e}}rance and
               Hector J. Levesque and
               Fangzhen Lin and
               Richard B. Scherl},
  title     = {Ability and Knowing How in the Situation Calculus},
  journal   = {Studia Logica},
  volume    = {66},
  number    = {1},
  pages     = {165--186},
  year      = {2000},
  url       = {https://doi.org/10.1023/A:1026761331498},
  doi       = {10.1023/A:1026761331498},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sLogica/LesperanceLLS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lin00,
  author    = {Fangzhen Lin},
  title     = {From Causal Theories to Successor State Axioms and STRIPS-Like Systems},
  booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
               and Twelfth Conference on on Innovative Applications of Artificial
               Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA.}},
  pages     = {786--791},
  year      = {2000},
  crossref  = {DBLP:conf/aaai/2000},
  url       = {http://www.aaai.org/Library/AAAI/2000/aaai00-121.php},
  timestamp = {Tue, 11 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/Lin00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/WangZL00,
  author    = {Kewen Wang and
               Lizhu Zhou and
               Fangzhen Lin},
  title     = {Alternating Fixpoint Theory for Logic Programs with Priority},
  booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
               UK, 24-28 July, 2000, Proceedings},
  pages     = {164--178},
  year      = {2000},
  crossref  = {DBLP:conf/cl/2000},
  url       = {https://doi.org/10.1007/3-540-44957-4\_11},
  doi       = {10.1007/3-540-44957-4\_11},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cl/WangZL00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lin00,
  author    = {Fangzhen Lin},
  title     = {On Strongest Necessary and Weakest Sufficient Conditions},
  booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
               of the Seventh International Conference, Breckenridge, Colorado, USA,
               April 11-15, 2000.},
  pages     = {167--175},
  year      = {2000},
  crossref  = {DBLP:conf/kr/2000},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/Lin00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/LinW99,
  author    = {Fangzhen Lin and
               Kewen Wang},
  title     = {From Causal Theories to Logic Programs (Sometimes)},
  booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
               LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
  pages     = {117--131},
  year      = {1999},
  crossref  = {DBLP:conf/lpnmr/1999},
  url       = {https://doi.org/10.1007/3-540-46767-X\_9},
  doi       = {10.1007/3-540-46767-X\_9},
  timestamp = {Fri, 02 Nov 2018 09:46:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/LinW99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LinD98,
  author    = {Fangzhen Lin and
               Hector J. Levesque},
  title     = {What Robots Can Do: Robot Programs and Effective Achievability},
  journal   = {Artif. Intell.},
  volume    = {101},
  number    = {1-2},
  pages     = {201--226},
  year      = {1998},
  url       = {https://doi.org/10.1016/S0004-3702(98)00041-1},
  doi       = {10.1016/S0004-3702(98)00041-1},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/LinD98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Lin98,
  author    = {Fangzhen Lin},
  title     = {Applications of the Situation Calculus to Formalizing Control and
               Strategic Information: The Prolog Cut Operator},
  journal   = {Artif. Intell.},
  volume    = {103},
  number    = {1-2},
  pages     = {273--294},
  year      = {1998},
  url       = {https://doi.org/10.1016/S0004-3702(98)00054-X},
  doi       = {10.1016/S0004-3702(98)00054-X},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/Lin98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Lin98,
  author    = {Fangzhen Lin},
  title     = {On Measuring Plan Quality {(A} Preliminary Report)},
  booktitle = {Proceedings of the Sixth International Conference on Principles of
               Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
               2-5, 1998.},
  pages     = {224--233},
  year      = {1998},
  crossref  = {DBLP:conf/kr/1998},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/Lin98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LinR97,
  author    = {Fangzhen Lin and
               Raymond Reiter},
  title     = {How to Progress a Database},
  journal   = {Artif. Intell.},
  volume    = {92},
  number    = {1-2},
  pages     = {131--167},
  year      = {1997},
  url       = {https://doi.org/10.1016/S0004-3702(96)00044-6},
  doi       = {10.1016/S0004-3702(96)00044-6},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/LinR97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/Lin97,
  author    = {Fangzhen Lin},
  title     = {An Ordering on Subgoals for Planning},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {21},
  number    = {2-4},
  pages     = {321--342},
  year      = {1997},
  url       = {https://doi.org/10.1023/A:1018925704786},
  doi       = {10.1023/A:1018925704786},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/amai/Lin97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LevesqueRLLS97,
  author    = {Hector J. Levesque and
               Raymond Reiter and
               Yves Lesp{\'{e}}rance and
               Fangzhen Lin and
               Richard B. Scherl},
  title     = {{GOLOG:} {A} Logic Programming Language for Dynamic Domains},
  journal   = {J. Log. Program.},
  volume    = {31},
  number    = {1-3},
  pages     = {59--83},
  year      = {1997},
  url       = {https://doi.org/10.1016/S0743-1066(96)00121-5},
  doi       = {10.1016/S0743-1066(96)00121-5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/LevesqueRLLS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LinR97,
  author    = {Fangzhen Lin and
               Raymond Reiter},
  title     = {Rules as Actions: {A} Situation Calculus Semantics for Logic Programs},
  journal   = {J. Log. Program.},
  volume    = {31},
  number    = {1-3},
  pages     = {299--330},
  year      = {1997},
  url       = {https://doi.org/10.1016/S0743-1066(96)00122-7},
  doi       = {10.1016/S0743-1066(96)00122-7},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/LinR97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/TamLLLLMRJ97,
  author    = {Kenneth Tam and
               J. Lloyd and
               Yves Lesp{\'{e}}rance and
               Hector J. Levesque and
               Fangzhen Lin and
               Daniel Marcu and
               Raymond Reiter and
               Michael R. M. Jenkin},
  title     = {Controlling Autonomous Robots with \emph{GOLOG}},
  booktitle = {Advanced Topics in Artificial Intelligence, 10th Australian Joint
               Conference on Artificial Intelligence, {AI} '97, Perth, Australia,
               November 30 - December 4, 1997, Proceedings},
  pages     = {1--12},
  year      = {1997},
  crossref  = {DBLP:conf/ausai/1997},
  url       = {https://doi.org/10.1007/3-540-63797-4\_53},
  doi       = {10.1007/3-540-63797-4\_53},
  timestamp = {Mon, 06 Nov 2017 02:05:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ausai/TamLLLLMRJ97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lin97,
  author    = {Fangzhen Lin},
  title     = {Applications of the Situation Calculus To Formalizing Control and
               Strategy Information: The Prolog Cut Operator},
  booktitle = {Proceedings of the Fifteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
  pages     = {1412--1419},
  year      = {1997},
  crossref  = {DBLP:conf/ijcai/1997},
  url       = {http://ijcai.org/Proceedings/97-2/Papers/089.pdf},
  timestamp = {Tue, 19 Jul 2016 15:27:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/Lin97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lin96,
  author    = {Fangzhen Lin},
  title     = {Embracing Causality in Specifying the Indeterminate Effects of Actions},
  booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
               and Eighth Innovative Applications of Artificial Intelligence Conference,
               {AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
               1.},
  pages     = {670--676},
  year      = {1996},
  crossref  = {DBLP:conf/aaai/1996-1},
  url       = {http://www.aaai.org/Library/AAAI/1996/aaai96-100.php},
  timestamp = {Tue, 19 Jun 2018 18:21:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/Lin96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/LinS95,
  author    = {Fangzhen Lin and
               Yoav Shoham},
  title     = {Provably Correct Theories of Action},
  journal   = {J. {ACM}},
  volume    = {42},
  number    = {2},
  pages     = {293--320},
  year      = {1995},
  url       = {https://doi.org/10.1145/201019.201021},
  doi       = {10.1145/201019.201021},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jacm/LinS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LesperanceLLMRS95,
  author    = {Yves Lesp{\'{e}}rance and
               Hector J. Levesque and
               Fangzhen Lin and
               Daniel Marcu and
               Raymond Reiter and
               Richard B. Scherl},
  title     = {Foundations of a Logical Approach to Agent Programming},
  booktitle = {Intelligent Agents II, Agent Theories, Architectures, and Languages,
               {IJCAI} '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995,
               Proceedings},
  pages     = {331--346},
  year      = {1995},
  crossref  = {DBLP:conf/atal/1995},
  url       = {https://doi.org/10.1007/3540608052\_76},
  doi       = {10.1007/3540608052\_76},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/LesperanceLLMRS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Lin95a,
  author    = {Fangzhen Lin},
  title     = {Embracing Causality in Specifying the Indirect Effects of Actions},
  booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
               August 20-25 1995, 2 Volumes},
  pages     = {1985--1993},
  year      = {1995},
  crossref  = {DBLP:conf/ijcai/1995},
  url       = {http://ijcai.org/Proceedings/95-2/Papers/123.pdf},
  timestamp = {Tue, 19 Jul 2016 15:06:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/Lin95a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LinR95,
  author    = {Fangzhen Lin and
               Raymond Reiter},
  title     = {How to Progress a Database {II:} The {STRIPS} Connection},
  booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
               August 20-25 1995, 2 Volumes},
  pages     = {2001--2009},
  year      = {1995},
  crossref  = {DBLP:conf/ijcai/1995},
  url       = {http://ijcai.org/Proceedings/95-2/Papers/125.pdf},
  timestamp = {Tue, 19 Jul 2016 15:06:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/LinR95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LinR94,
  author    = {Fangzhen Lin and
               Raymond Reiter},
  title     = {State Constraints Revisited},
  journal   = {J. Log. Comput.},
  volume    = {4},
  number    = {5},
  pages     = {655--678},
  year      = {1994},
  url       = {https://doi.org/10.1093/logcom/4.5.655},
  doi       = {10.1093/logcom/4.5.655},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/logcom/LinR94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LinR94,
  author    = {Fangzhen Lin and
               Raymond Reiter},
  title     = {How to Progress a Database (and Why) I. Logical Foundations},
  booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
               Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994.},
  pages     = {425--436},
  year      = {1994},
  crossref  = {DBLP:conf/kr/1994},
  timestamp = {Fri, 18 May 2012 15:02:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/LinR94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/Lin93,
  author    = {Fangzhen Lin},
  title     = {An Argument-Based Approach to Nonmonotonic Reasoning},
  journal   = {Computational Intelligence},
  volume    = {9},
  pages     = {254--267},
  year      = {1993},
  url       = {https://doi.org/10.1111/j.1467-8640.1993.tb00309.x},
  doi       = {10.1111/j.1467-8640.1993.tb00309.x},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ci/Lin93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LinS92,
  author    = {Fangzhen Lin and
               Yoav Shoham},
  title     = {A Logic of Knowledge and Justified Assumptions},
  journal   = {Artif. Intell.},
  volume    = {57},
  number    = {2-3},
  pages     = {271--289},
  year      = {1992},
  url       = {https://doi.org/10.1016/0004-3702(92)90019-T},
  doi       = {10.1016/0004-3702(92)90019-T},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ai/LinS92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LinS92,
  author    = {Fangzhen Lin and
               Yoav Shoham},
  title     = {Concurrent Actions in the Situation Calculus},
  booktitle = {Proceedings of the 10th National Conference on Artificial Intelligence,
               San Jose, CA, USA, July 12-16, 1992.},
  pages     = {590--595},
  year      = {1992},
  crossref  = {DBLP:conf/aaai/1992},
  url       = {http://www.aaai.org/Library/AAAI/1992/aaai92-091.php},
  timestamp = {Tue, 19 Jun 2018 18:21:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/LinS92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LinS91,
  author    = {Fangzhen Lin and
               Yoav Shoham},
  title     = {Provably Correct Theories of Action (Preliminary Report)},
  booktitle = {Proceedings of the 9th National Conference on Artificial Intelligence,
               Anaheim, CA, USA, July 14-19, 1991, Volume 1.},
  pages     = {349--354},
  year      = {1991},
  crossref  = {DBLP:conf/aaai/1991-1},
  url       = {http://www.aaai.org/Library/AAAI/1991/aaai91-054.php},
  timestamp = {Fri, 18 May 2018 15:15:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/LinS91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/LinS90,
  author    = {Fangzhen Lin and
               Yoav Shoham},
  title     = {Epistemic Semantics for Fixed-Points Non-Monotonic Logics},
  booktitle = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, USA, March 1990},
  pages     = {111--120},
  year      = {1990},
  crossref  = {DBLP:conf/tark/1990},
  timestamp = {Thu, 21 Jun 2018 07:50:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tark/LinS90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/LinS89,
  author    = {Fangzhen Lin and
               Yoav Shoham},
  title     = {Argument Systems: {A} Uniform Basis for Nonmonotonic Reasoning},
  booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
               Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989.},
  pages     = {245--255},
  year      = {1989},
  crossref  = {DBLP:conf/kr/1989},
  timestamp = {Fri, 18 May 2012 15:03:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/LinS89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tark/Lin88,
  author    = {Fangzhen Lin},
  title     = {Circumscription in a Modal Logic},
  booktitle = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, USA, March 1988},
  pages     = {113--127},
  year      = {1988},
  crossref  = {DBLP:conf/tark/1988},
  timestamp = {Thu, 21 Jun 2018 07:50:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tark/Lin88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Lin87,
  author    = {Fangzhen Lin},
  title     = {Reasoning in the Presence of Inconsistency},
  booktitle = {Proceedings of the 6th National Conference on Artificial Intelligence.
               Seattle, WA, USA, July 1987.},
  pages     = {139--143},
  year      = {1987},
  crossref  = {DBLP:conf/aaai/1987},
  url       = {http://www.aaai.org/Library/AAAI/1987/aaai87-025.php},
  timestamp = {Wed, 20 Jun 2018 08:08:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/Lin87},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vstte/2018,
  editor    = {Ruzica Piskac and
               Philipp R{\"{u}}mmer},
  title     = {Verified Software. Theories, Tools, and Experiments - 10th International
               Conference, {VSTTE} 2018, Oxford, UK, July 18-19, 2018, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {11294},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-030-03592-1},
  doi       = {10.1007/978-3-030-03592-1},
  isbn      = {978-3-030-03591-4},
  timestamp = {Tue, 27 Nov 2018 14:42:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vstte/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2017,
  editor    = {Kate Larson and
               Michael Winikoff and
               Sanmay Das and
               Edmund H. Durfee},
  title     = {Proceedings of the 16th Conference on Autonomous Agents and MultiAgent
               Systems, {AAMAS} 2017, S{\~{a}}o Paulo, Brazil, May 8-12, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3091125},
  timestamp = {Wed, 27 Sep 2017 07:24:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2017,
  editor    = {Tudor Jebelean and
               Viorel Negru and
               Dana Petcu and
               Daniela Zaharie and
               Tetsuo Ida and
               Stephen M. Watt},
  title     = {19th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2017, Timisoara, Romania, September
               21-24, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8528958},
  isbn      = {978-1-5386-2626-9},
  timestamp = {Mon, 19 Nov 2018 08:04:11 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2016,
  editor    = {Dale Schuurmans and
               Michael P. Wellman},
  title     = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
               February 12-17, 2016, Phoenix, Arizona, {USA}},
  publisher = {{AAAI} Press},
  year      = {2016},
  url       = {http://www.aaai.org/Library/AAAI/aaai16contents.php},
  isbn      = {978-1-57735-760-5},
  timestamp = {Wed, 05 Apr 2017 12:53:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2015,
  editor    = {Qiang Yang and
               Michael Wooldridge},
  title     = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  publisher = {{AAAI} Press},
  year      = {2015},
  url       = {http://ijcai.org/proceedings/2015},
  isbn      = {978-1-57735-738-4},
  timestamp = {Wed, 20 Jul 2016 15:18:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2014,
  editor    = {Carla E. Brodley and
               Peter Stone},
  title     = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
               July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {http://www.aaai.org/Library/AAAI/aaai14contents.php},
  isbn      = {978-1-57735-661-5},
  timestamp = {Thu, 31 Jul 2014 08:59:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaaiss/2014,
  title     = {2014 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
               USA, March 24-26, 2014},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {https://aaai.org/Library/Symposia/springsymposia-library.php},
  timestamp = {Wed, 14 Nov 2018 14:23:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaaiss/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2014,
  editor    = {Chitta Baral and
               Giuseppe {De Giacomo} and
               Thomas Eiter},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Fourteenth International Conference, {KR} 2014, Vienna, Austria,
               July 20-24, 2014},
  publisher = {{AAAI} Press},
  year      = {2014},
  url       = {http://www.aaai.org/Library/KR/kr14contents.php},
  isbn      = {978-1-57735-657-8},
  timestamp = {Thu, 31 Jul 2014 10:24:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2013,
  editor    = {Maria L. Gini and
               Onn Shehory and
               Takayuki Ito and
               Catholijn M. Jonker},
  title     = {International conference on Autonomous Agents and Multi-Agent Systems,
               {AAMAS} '13, Saint Paul, MN, USA, May 6-10, 2013},
  publisher = {{IFAAMAS}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2484920},
  isbn      = {978-1-4503-1993-5},
  timestamp = {Fri, 28 Jun 2013 12:19:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2013,
  editor    = {Pedro Cabalar and
               Tran Cao Son},
  title     = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
               {LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8148},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40564-8},
  doi       = {10.1007/978-3-642-40564-8},
  isbn      = {978-3-642-40563-1},
  timestamp = {Tue, 23 May 2017 01:06:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2012,
  editor    = {J{\"{o}}rg Hoffmann and
               Bart Selman},
  title     = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
               July 22-26, 2012, Toronto, Ontario, Canada},
  publisher = {{AAAI} Press},
  year      = {2012},
  timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2012lifschitz,
  editor    = {Esra Erdem and
               Joohyung Lee and
               Yuliya Lierler and
               David Pearce},
  title     = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
               Lifschitz},
  series    = {Lecture Notes in Computer Science},
  volume    = {7265},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30743-0},
  doi       = {10.1007/978-3-642-30743-0},
  isbn      = {978-3-642-30742-3},
  timestamp = {Wed, 14 Mar 2018 14:09:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2012lifschitz},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2011,
  editor    = {Wolfram Burgard and
               Dan Roth},
  title     = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
  publisher = {{AAAI} Press},
  year      = {2011},
  timestamp = {Tue, 09 Aug 2011 07:56:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaaiss/2011-6,
  title     = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
               {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
               USA, March 21-23, 2011},
  publisher = {{AAAI}},
  year      = {2011},
  url       = {http://www.aaai.org/Library/Symposia/Spring/ss11-06.php},
  timestamp = {Mon, 13 Feb 2012 17:07:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaaiss/2011-6},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2010,
  editor    = {Maria Fox and
               David Poole},
  title     = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
  publisher = {{AAAI} Press},
  year      = {2010},
  timestamp = {Mon, 06 Nov 2017 17:26:30 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2009-1,
  editor    = {Carles Sierra and
               Cristiano Castelfranchi and
               Keith S. Decker and
               Jaime Sim{\~{a}}o Sichman},
  title     = {8th International Joint Conference on Autonomous Agents and Multiagent
               Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
               1},
  publisher = {{IFAAMAS}},
  year      = {2009},
  isbn      = {978-0-9817381-6-1},
  timestamp = {Wed, 01 Jul 2009 08:35:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/2009-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2009,
  editor    = {Patricia M. Hill and
               David Scott Warren},
  title     = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
               CA, USA, July 14-17, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5649},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02846-5},
  doi       = {10.1007/978-3-642-02846-5},
  isbn      = {978-3-642-02845-8},
  timestamp = {Fri, 26 May 2017 00:49:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2009,
  editor    = {Craig Boutilier},
  title     = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
               on Artificial Intelligence, Pasadena, California, USA, July 11-17,
               2009},
  year      = {2009},
  url       = {http://ijcai.org/proceedings/2009},
  timestamp = {Wed, 20 Jul 2016 14:02:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ksem/2009,
  editor    = {Dimitris Karagiannis and
               Zhi Jin},
  title     = {Knowledge Science, Engineering and Management, Third International
               Conference, {KSEM} 2009, Vienna, Austria, November 25-27, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5914},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10488-6},
  doi       = {10.1007/978-3-642-10488-6},
  isbn      = {978-3-642-10487-9},
  timestamp = {Thu, 25 May 2017 00:37:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ksem/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2008,
  editor    = {Dieter Fox and
               Carla P. Gomes},
  title     = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  publisher = {{AAAI} Press},
  year      = {2008},
  isbn      = {978-1-57735-368-3},
  timestamp = {Fri, 15 Aug 2008 11:13:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2008,
  editor    = {Gerhard Brewka and
               J{\'{e}}r{\^{o}}me Lang},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
               September 16-19, 2008},
  publisher = {{AAAI} Press},
  year      = {2008},
  isbn      = {978-1-57735-384-3},
  timestamp = {Fri, 21 Nov 2008 12:14:41 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:reference/fai/3,
  editor    = {Frank van Harmelen and
               Vladimir Lifschitz and
               Bruce W. Porter},
  title     = {Handbook of Knowledge Representation},
  series    = {Foundations of Artificial Intelligence},
  volume    = {3},
  publisher = {Elsevier},
  year      = {2008},
  url       = {http://www.sciencedirect.com/science/bookseries/15746526/3},
  isbn      = {978-0-444-52211-5},
  timestamp = {Fri, 16 Oct 2015 09:55:56 +0200},
  biburl    = {https://dblp.org/rec/bib/reference/fai/3},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaaiss/2007-5,
  title     = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007
               {AAAI} Spring Symposium, Technical Report SS-07-05, Stanford, California,
               USA, March 26-28, 2007},
  publisher = {{AAAI}},
  year      = {2007},
  url       = {http://www.aaai.org/Library/Symposia/Spring/ss07-05.php},
  timestamp = {Fri, 17 Feb 2012 14:14:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaaiss/2007-5},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2007,
  editor    = {Manuela M. Veloso},
  title     = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
               on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  year      = {2007},
  url       = {http://ijcai.org/proceedings/2007},
  timestamp = {Wed, 20 Jul 2016 13:58:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2007,
  editor    = {Chitta Baral and
               Gerhard Brewka and
               John S. Schlipf},
  title     = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
               {LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4483},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-72200-7},
  doi       = {10.1007/978-3-540-72200-7},
  isbn      = {978-3-540-72199-4},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2007P7351,
  editor    = {Giacomo Bonanno and
               James P. Delgrande and
               J{\'{e}}r{\^{o}}me Lang and
               Hans Rott},
  title     = {Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {07351},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
               (IBFI), Schloss Dagstuhl, Germany},
  year      = {2007},
  url       = {http://drops.dagstuhl.de/portals/07351/},
  timestamp = {Wed, 19 Jun 2013 12:19:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2007P7351},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ausai/2006,
  editor    = {Abdul Sattar and
               Byeong Ho Kang},
  title     = {{AI} 2006: Advances in Artificial Intelligence, 19th Australian Joint
               Conference on Artificial Intelligence, Hobart, Australia, December
               4-8, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4304},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11941439},
  doi       = {10.1007/11941439},
  isbn      = {3-540-49787-0},
  timestamp = {Mon, 06 Nov 2017 02:05:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ausai/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2006,
  editor    = {Patrick Doherty and
               John Mylopoulos and
               Christopher A. Welty},
  title     = {Proceedings, Tenth International Conference on Principles of Knowledge
               Representation and Reasoning, Lake District of the United Kingdom,
               June 2-5, 2006},
  publisher = {{AAAI} Press},
  year      = {2006},
  isbn      = {978-1-57735-271-6},
  timestamp = {Fri, 09 Jun 2006 11:56:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asp/2005,
  editor    = {Marina De Vos and
               Alessandro Provetti},
  title     = {Answer Set Programming, Advances in Theory and Implementation, Proceedings
               of the 3rd Intl. ASP'05 Workshop, Bath, UK, September 27-29, 2005},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {142},
  publisher = {CEUR-WS.org},
  year      = {2005},
  url       = {http://ceur-ws.org/Vol-142},
  urn       = {urn:nbn:de:0074-142-5},
  timestamp = {Mon, 30 May 2016 17:03:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asp/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2005,
  editor    = {Leslie Pack Kaelbling and
               Alessandro Saffiotti},
  title     = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
               on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
               5, 2005},
  publisher = {Professional Book Center},
  year      = {2005},
  url       = {http://ijcai.org/proceedings/2005},
  isbn      = {0938075934},
  timestamp = {Wed, 20 Jul 2016 09:10:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2005,
  editor    = {Chitta Baral and
               Gianluigi Greco and
               Nicola Leone and
               Giorgio Terracina},
  title     = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
               {LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3662},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11546207},
  doi       = {10.1007/11546207},
  isbn      = {3-540-28538-5},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2004,
  editor    = {Deborah L. McGuinness and
               George Ferguson},
  title     = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
               Sixteenth Conference on Innovative Applications of Artificial Intelligence,
               July 25-29, 2004, San Jose, California, {USA}},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {2004},
  isbn      = {0-262-51183-5},
  timestamp = {Wed, 21 Jul 2004 09:49:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2004,
  editor    = {Didier Dubois and
               Christopher A. Welty and
               Mary{-}Anne Williams},
  title     = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Ninth International Conference (KR2004), Whistler, Canada,
               June 2-5, 2004},
  publisher = {{AAAI} Press},
  year      = {2004},
  isbn      = {1-57735-199-1},
  timestamp = {Mon, 21 Jun 2004 09:48:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2003,
  editor    = {Catuscia Palamidessi},
  title     = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
               India, December 9-13, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2916},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94619},
  doi       = {10.1007/b94619},
  isbn      = {3-540-20642-6},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2003,
  editor    = {Georg Gottlob and
               Toby Walsh},
  title     = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
               on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
  publisher = {Morgan Kaufmann},
  year      = {2003},
  url       = {http://ijcai.org/proceedings/2003},
  timestamp = {Tue, 19 Jul 2016 16:02:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2002,
  editor    = {Rina Dechter and
               Michael J. Kearns and
               Richard S. Sutton},
  title     = {Proceedings of the Eighteenth National Conference on Artificial Intelligence
               and Fourteenth Conference on Innovative Applications of Artificial
               Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {2002},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai02.php},
  timestamp = {Mon, 26 Feb 2018 07:08:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2002,
  editor    = {Dieter Fensel and
               Fausto Giunchiglia and
               Deborah L. McGuinness and
               Mary{-}Anne Williams},
  title     = {Proceedings of the Eights International Conference on Principles and
               Knowledge Representation and Reasoning (KR-02), Toulouse, France,
               April 22-25, 2002},
  publisher = {Morgan Kaufmann},
  year      = {2002},
  isbn      = {1-55860-554-1},
  timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2001,
  editor    = {Bernhard Nebel},
  title     = {Proceedings of the Seventeenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
               2001},
  publisher = {Morgan Kaufmann},
  year      = {2001},
  url       = {http://ijcai.org/proceedings/2001-1},
  isbn      = {1-55860-777-3},
  timestamp = {Tue, 19 Jul 2016 16:01:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2000,
  editor    = {Henry A. Kautz and
               Bruce W. Porter},
  title     = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
               and Twelfth Conference on on Innovative Applications of Artificial
               Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {2000},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai00.php},
  isbn      = {0-262-51112-6},
  timestamp = {Thu, 01 Dec 2011 17:16:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cl/2000,
  editor    = {John W. Lloyd and
               Ver{\'{o}}nica Dahl and
               Ulrich Furbach and
               Manfred Kerber and
               Kung{-}Kiu Lau and
               Catuscia Palamidessi and
               Lu{\'{\i}}s Moniz Pereira and
               Yehoshua Sagiv and
               Peter J. Stuckey},
  title     = {Computational Logic - {CL} 2000, First International Conference, London,
               UK, 24-28 July, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1861},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44957-4},
  doi       = {10.1007/3-540-44957-4},
  isbn      = {3-540-67797-6},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cl/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2000,
  editor    = {Anthony G. Cohn and
               Fausto Giunchiglia and
               Bart Selman},
  title     = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
               of the Seventh International Conference, Breckenridge, Colorado, USA,
               April 11-15, 2000},
  publisher = {Morgan Kaufmann},
  year      = {2000},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/1999,
  editor    = {Michael Gelfond and
               Nicola Leone and
               Gerald Pfeifer},
  title     = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
               LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1730},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-46767-X},
  doi       = {10.1007/3-540-46767-X},
  isbn      = {3-540-66749-0},
  timestamp = {Fri, 02 Nov 2018 09:46:22 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpnmr/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/1998,
  editor    = {Anthony G. Cohn and
               Lenhart K. Schubert and
               Stuart C. Shapiro},
  title     = {Proceedings of the Sixth International Conference on Principles of
               Knowledge Representation and Reasoning (KR'98), Trento, Italy, June
               2-5, 1998},
  publisher = {Morgan Kaufmann},
  year      = {1998},
  timestamp = {Fri, 18 May 2012 15:03:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ausai/1997,
  editor    = {Abdul Sattar},
  title     = {Advanced Topics in Artificial Intelligence, 10th Australian Joint
               Conference on Artificial Intelligence, {AI} '97, Perth, Australia,
               November 30 - December 4, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1342},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63797-4},
  doi       = {10.1007/3-540-63797-4},
  isbn      = {3-540-63797-4},
  timestamp = {Mon, 06 Nov 2017 02:05:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ausai/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1997,
  title     = {Proceedings of the Fifteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 97, Nagoya, Japan, August 23-29, 1997, 2 Volumes},
  publisher = {Morgan Kaufmann},
  year      = {1997},
  url       = {http://ijcai.org/proceedings/1997-1},
  timestamp = {Tue, 19 Jul 2016 15:27:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1996-1,
  editor    = {William J. Clancey and
               Daniel S. Weld},
  title     = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
               and Eighth Innovative Applications of Artificial Intelligence Conference,
               {AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
               1},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1996},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai96.php},
  isbn      = {0-262-51091-X},
  timestamp = {Tue, 19 Jun 2018 18:21:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/1996-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/1995,
  editor    = {Michael Wooldridge and
               J{\"{o}}rg P. M{\"{u}}ller and
               Milind Tambe},
  title     = {Intelligent Agents II, Agent Theories, Architectures, and Languages,
               {IJCAI} '95, Workshop (ATAL), Montreal, Canada, August 19-20, 1995,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1037},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-60805-2},
  doi       = {10.1007/3-540-60805-2},
  isbn      = {3-540-60805-2},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atal/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1995,
  title     = {Proceedings of the Fourteenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
               August 20-25 1995, 2 Volumes},
  publisher = {Morgan Kaufmann},
  year      = {1995},
  url       = {http://ijcai.org/proceedings/1995-1},
  timestamp = {Tue, 19 Jul 2016 15:06:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/1994,
  editor    = {Jon Doyle and
               Erik Sandewall and
               Pietro Torasso},
  title     = {Proceedings of the 4th International Conference on Principles of Knowledge
               Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
  publisher = {Morgan Kaufmann},
  year      = {1994},
  isbn      = {1-55860-328-X},
  timestamp = {Fri, 18 May 2012 15:02:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1992,
  editor    = {William R. Swartout},
  title     = {Proceedings of the 10th National Conference on Artificial Intelligence,
               San Jose, CA, USA, July 12-16, 1992},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1992},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai92.php},
  isbn      = {0-262-51063-4},
  timestamp = {Tue, 19 Jun 2018 18:21:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1991-1,
  editor    = {Thomas L. Dean and
               Kathleen R. McKeown},
  title     = {Proceedings of the 9th National Conference on Artificial Intelligence,
               Anaheim, CA, USA, July 14-19, 1991, Volume 1},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {1991},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai91.php},
  isbn      = {0-262-51059-6},
  timestamp = {Fri, 18 May 2018 15:15:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/1991-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tark/1990,
  editor    = {Rohit Parikh},
  title     = {Proceedings of the 3rd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, USA, March 1990},
  publisher = {Morgan Kaufmann},
  year      = {1990},
  isbn      = {1-55860-105-8},
  timestamp = {Thu, 21 Jun 2018 07:50:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tark/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/1989,
  editor    = {Ronald J. Brachman and
               Hector J. Levesque and
               Raymond Reiter},
  title     = {Proceedings of the 1st International Conference on Principles of Knowledge
               Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
  publisher = {Morgan Kaufmann},
  year      = {1989},
  isbn      = {1-55860-032-9},
  timestamp = {Fri, 18 May 2012 15:03:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kr/1989},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tark/1988,
  editor    = {Moshe Y. Vardi},
  title     = {Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning
               about Knowledge, Pacific Grove, CA, USA, March 1988},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  isbn      = {0-934613-66-4},
  timestamp = {Thu, 21 Jun 2018 07:50:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tark/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/1987,
  editor    = {Kenneth D. Forbus and
               Howard E. Shrobe},
  title     = {Proceedings of the 6th National Conference on Artificial Intelligence.
               Seattle, WA, USA, July 1987},
  publisher = {Morgan Kaufmann},
  year      = {1987},
  url       = {http://www.aaai.org/Conferences/AAAI/aaai87.php},
  timestamp = {Wed, 20 Jun 2018 08:08:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/1987},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier