%0 Conference Proceedings %1 KR2010 %B Proceedings of KR2010: 12th International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada %C Menlo Park, CA %D 2010 %E Lin, Fangzhen %E Sattler, Ulrike %E Truszczynski, Miroslaw %I AAAI Press %K v1205 aaai book ai knowledge processing conference %T Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR2010), Toronto, Canada, May 9--13 %U http://www.aaai.org/Library/KR/kr10contents.php %X Knowledge representation and reasoning lies at the heart of artificial intelligence research and modern information technology. The highly ambitious goal of the field is to provide computational methods for effectively storing, retrieving, and exploiting human knowledge. It includes representing and reasoning about beliefs, goals, preferences, and actions; it includes models of argumentation, belief change, merging, inconsistency handling, and nonmonotonic reasoning; it also covers topics such as time, space, motion, ontologies, and building useful knowledge-based systems. The Knowledge Representation (KR) conferences have established themselves as the leading forum for timely, in-depth presentation of progress in the theory and principles underlying the representation and computational manipulation of knowledge. %@ 978-1-57735-451-2

@proceedings{KR2010, abstract = {Knowledge representation and reasoning lies at the heart of artificial intelligence research and modern information technology. The highly ambitious goal of the field is to provide computational methods for effectively storing, retrieving, and exploiting human knowledge. It includes representing and reasoning about beliefs, goals, preferences, and actions; it includes models of argumentation, belief change, merging, inconsistency handling, and nonmonotonic reasoning; it also covers topics such as time, space, motion, ontologies, and building useful knowledge-based systems. The Knowledge Representation (KR) conferences have established themselves as the leading forum for timely, in-depth presentation of progress in the theory and principles underlying the representation and computational manipulation of knowledge.}, added-at = {2012-05-30T11:06:19.000+0200}, address = {Menlo Park, CA}, biburl = {https://www.bibsonomy.org/bibtex/2a7f0ea0c3ab8df5994bd8889f1063f2d/flint63}, booktitle = {Proceedings of KR2010: 12th International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada}, editor = {Lin, Fangzhen and Sattler, Ulrike and Truszczynski, Miroslaw}, groups = {public}, interhash = {1a2cc385880a0fd359e6c1647772c9fd}, intrahash = {a7f0ea0c3ab8df5994bd8889f1063f2d}, isbn = {978-1-57735-451-2}, keywords = {v1205 aaai book ai knowledge processing conference}, publisher = {AAAI Press}, timestamp = {2018-04-16T11:38:46.000+0200}, title = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference (KR2010), Toronto, Canada, May 9--13}, url = {http://www.aaai.org/Library/KR/kr10contents.php}, username = {flint63}, year = 2010 }