@inproceedings{DBLP:conf/ecai/HerzigLP00,
  author    = {Andreas Herzig and
               J{\'{e}}r{\^{o}}me Lang and
               Thomas Polacsek},
  title     = {A modal logic for epistemic tests},
  booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
               Intelligence, Berlin, Germany, August 20-25, 2000},
  pages     = {553--557},
  year      = {2000},
  crossref  = {DBLP:conf/ecai/2000},
  timestamp = {Wed, 10 Apr 2013 01:00:00 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/ecai/HerzigLP00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"RP8wzdgqjpezLDAF9","bibbaseid":"herzig-lang-polacsek-amodallogicforepistemictests-2000","downloads":0,"creationDate":"2015-09-02T13:43:07.675Z","title":"A modal logic for epistemic tests","author_short":["Herzig, A.","Lang, J.","Polacsek, T."],"year":2000,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/p/Polacsek:Thomas","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Andreas"],"propositions":[],"lastnames":["Herzig"],"suffixes":[]},{"firstnames":["Jér\\^ome"],"propositions":[],"lastnames":["Lang"],"suffixes":[]},{"firstnames":["Thomas"],"propositions":[],"lastnames":["Polacsek"],"suffixes":[]}],"title":"A modal logic for epistemic tests","booktitle":"ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000","pages":"553--557","year":"2000","crossref":"DBLP:conf/ecai/2000","timestamp":"Wed, 10 Apr 2013 01:00:00 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/ecai/HerzigLP00","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/ecai/HerzigLP00,\n author = {Andreas Herzig and\n J{\\'{e}}r{\\^{o}}me Lang and\n Thomas Polacsek},\n title = {A modal logic for epistemic tests},\n booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial\n Intelligence, Berlin, Germany, August 20-25, 2000},\n pages = {553--557},\n year = {2000},\n crossref = {DBLP:conf/ecai/2000},\n timestamp = {Wed, 10 Apr 2013 01:00:00 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/ecai/HerzigLP00},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Herzig, A.","Lang, J.","Polacsek, T."],"key":"DBLP:conf/ecai/HerzigLP00","id":"DBLP:conf/ecai/HerzigLP00","bibbaseid":"herzig-lang-polacsek-amodallogicforepistemictests-2000","role":"author","urls":{},"downloads":0},"search_terms":["modal","logic","epistemic","tests","herzig","lang","polacsek"],"keywords":[],"authorIDs":[],"dataSources":["7ngoTqZAkDPRRjKbp"]}