@InProceedings{DBLP:conf/ijcai/LakemeyerL09,
  Title                    = {A Semantical Account of Progression in the Presence of Defaults},
  Author                   = {Gerhard Lakemeyer and
 Hector J. Levesque},
  Booktitle                = {IJCAI},
  Year                     = {2009},
  Pages                    = {842-847},

  Bibsource                = {DBLP, http://dblp.uni-trier.de},
  Ee                       = {http://ijcai.org/papers09/Papers/IJCAI09-144.pdf},
  Timestamp                = {2018.09.23}
}

{"_id":{"_str":"5342b4520e946d920a0032de"},"__v":47,"authorIDs":["54575ce32abc8e9f37000307","545aa113b43425b77200103d","5e3902b8dc5b8ade010000a6","5e3902f4dc5b8ade010000a9","RmQT3J2e7NKqkbbbe"],"author_short":["Lakemeyer, G.","Levesque, H. J."],"bibbaseid":"lakemeyer-levesque-asemanticalaccountofprogressioninthepresenceofdefaults-2009","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"A Semantical Account of Progression in the Presence of Defaults","author":[{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]}],"booktitle":"IJCAI","year":"2009","pages":"842-847","bibsource":"DBLP, http://dblp.uni-trier.de","ee":"http://ijcai.org/papers09/Papers/IJCAI09-144.pdf","timestamp":"2018.09.23","bibtex":"@InProceedings{DBLP:conf/ijcai/LakemeyerL09,\n Title = {A Semantical Account of Progression in the Presence of Defaults},\n Author = {Gerhard Lakemeyer and\n Hector J. Levesque},\n Booktitle = {IJCAI},\n Year = {2009},\n Pages = {842-847},\n\n Bibsource = {DBLP, http://dblp.uni-trier.de},\n Ee = {http://ijcai.org/papers09/Papers/IJCAI09-144.pdf},\n Timestamp = {2018.09.23}\n}\n\n","author_short":["Lakemeyer, G.","Levesque, H. J."],"key":"DBLP:conf/ijcai/LakemeyerL09","id":"DBLP:conf/ijcai/LakemeyerL09","bibbaseid":"lakemeyer-levesque-asemanticalaccountofprogressioninthepresenceofdefaults-2009","role":"author","urls":{"Link":"http://ijcai.org/papers09/Papers/IJCAI09-144.pdf"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"www.cs.toronto.edu/kr/publications/list.bib?group0=year","downloads":1,"keywords":[],"search_terms":["semantical","account","progression","presence","defaults","lakemeyer","levesque"],"title":"A Semantical Account of Progression in the Presence of Defaults","year":2009,"dataSources":["2LLKDfkxMDdABm58M","dqRQPSg6Hy3ZXQg7z","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha","oBXKkFav3HTcDZxua"]}