@inproceedings{DBLP:conf/ijcai/EiterEFS05,
  author    = {Thomas Eiter and
               Esra Erdem and
               Michael Fink and
               J{\'a}n Senko},
  title     = {Updating Action Domain Descriptions},
  booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint
               Conference on Artificial Intelligence, Edinburgh, Scotland,
               UK, July 30-August 5, 2005},
  year      = {2005},
  pages     = {418-423},
  ee        = {http://www.ijcai.org/papers/1167.pdf},
  abstract  = {How can an intelligent agent update her knowledge base about an action domain,
relative to some conditions (possibly obtained from earlier observations)? We
study this question in a formal framework for reasoning about actions and
change, in which the meaning of an action domain description can be represented
by a directed graph whose nodes correspond to states and whose edges correspond
to action occurrences. We define the update of an action domain description in
this framework, and show among other results that a solution to this problem can
be obtained by a divide-and-conquer approach in some cases. We also introduce
methods to compute a solution and an approximate solution to this problem, and
analyze the computational complexity of these problems. Finally, we discuss
techniques to improve the quality of solutions.},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

{"_id":{"_str":"53424e050e946d920a000688"},"__v":10,"authorIDs":["5456f0758b01c81930000081","5457257c2abc8e9f370000e3","546a3dcdbc7d6a460d001844","5df0b7a08367c8de010000ce","5df87bbedb7d9ddf01000044","5e4957a916841dde01000031","u493trvfaXuB4g9PZ"],"author_short":["Eiter, T.","Erdem, E.","Fink, M.","Senko, J."],"bibbaseid":"eiter-erdem-fink-senko-updatingactiondomaindescriptions-2005","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["Esra"],"propositions":[],"lastnames":["Erdem"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Fink"],"suffixes":[]},{"firstnames":["Ján"],"propositions":[],"lastnames":["Senko"],"suffixes":[]}],"title":"Updating Action Domain Descriptions","booktitle":"IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30-August 5, 2005","year":"2005","pages":"418-423","ee":"http://www.ijcai.org/papers/1167.pdf","abstract":"How can an intelligent agent update her knowledge base about an action domain, relative to some conditions (possibly obtained from earlier observations)? We study this question in a formal framework for reasoning about actions and change, in which the meaning of an action domain description can be represented by a directed graph whose nodes correspond to states and whose edges correspond to action occurrences. We define the update of an action domain description in this framework, and show among other results that a solution to this problem can be obtained by a divide-and-conquer approach in some cases. We also introduce methods to compute a solution and an approximate solution to this problem, and analyze the computational complexity of these problems. Finally, we discuss techniques to improve the quality of solutions.","bibsource":"DBLP, http://dblp.uni-trier.de","bibtex":"@inproceedings{DBLP:conf/ijcai/EiterEFS05,\n author = {Thomas Eiter and\n Esra Erdem and\n Michael Fink and\n J{\\'a}n Senko},\n title = {Updating Action Domain Descriptions},\n booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint\n Conference on Artificial Intelligence, Edinburgh, Scotland,\n UK, July 30-August 5, 2005},\n year = {2005},\n pages = {418-423},\n ee = {http://www.ijcai.org/papers/1167.pdf},\n abstract = {How can an intelligent agent update her knowledge base about an action domain,\nrelative to some conditions (possibly obtained from earlier observations)? We\nstudy this question in a formal framework for reasoning about actions and\nchange, in which the meaning of an action domain description can be represented\nby a directed graph whose nodes correspond to states and whose edges correspond\nto action occurrences. We define the update of an action domain description in\nthis framework, and show among other results that a solution to this problem can\nbe obtained by a divide-and-conquer approach in some cases. We also introduce\nmethods to compute a solution and an approximate solution to this problem, and\nanalyze the computational complexity of these problems. Finally, we discuss\ntechniques to improve the quality of solutions.},\n bibsource = {DBLP, http://dblp.uni-trier.de}\n}\n\n","author_short":["Eiter, T.","Erdem, E.","Fink, M.","Senko, J."],"key":"DBLP:conf/ijcai/EiterEFS05","id":"DBLP:conf/ijcai/EiterEFS05","bibbaseid":"eiter-erdem-fink-senko-updatingactiondomaindescriptions-2005","role":"author","urls":{"Link":"http://www.ijcai.org/papers/1167.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://193.255.135.175/papers/krrpublications.bib","downloads":0,"keywords":[],"search_terms":["updating","action","domain","descriptions","eiter","erdem","fink","senko"],"title":"Updating Action Domain Descriptions","year":2005,"dataSources":["WeBGfagwiP89ve7hM"]}