BEGIN:VCALENDAR VERSION:2.0 PRODID:-//Date iCal//NONSGML kigkonsult.se iCalcreator 2.20.2// METHOD:PUBLISH X-WR-CALNAME;VALUE=TEXT:Eventi DIAG BEGIN:VTIMEZONE TZID:Europe/Paris BEGIN:STANDARD DTSTART:20141026T030000 TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET END:STANDARD BEGIN:DAYLIGHT DTSTART:20150329T020000 TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST END:DAYLIGHT END:VTIMEZONE BEGIN:VEVENT UID:calendar.6965.field_data.0@www.glad.uniroma1.it DTSTAMP:20260404T173232Z CREATED:20141110T181533Z DESCRIPTION:What are new directions in action languages and frameworks for reasoning about actions? How does current research in knowledge representa tion and reasoning relate to robotic systems and device communities?You ar e invited to participate to the Knowledge Representation and Reasoning Rom e Symposium (KRRR) that brings together top researchers from the situation calculus research community to discuss current and future work in the are a.The symposium will start with an invited talk by Hector J. Levesque\, th e continue with a session of spotlight presentations about recent and curr ent research\, and finish with a more focused discussion on current and en visioned tools for reasoning about actions.10:00: Invited talk by Hector J . Levesque (Univ. of Toronto\, Canada)11:00: Spotlight talksGerhard Lakeme yer (RWTH Aachen Univ.\, Germany)Yongmei Liu (Sun Yat-sen Univ.\, China)Se bastian Sardina (RMIT Univ. in Melbourne\, Australia)Yves Lespérance (York Univ.\, Canada)14:00: Discussion on Golog-like action-based frameworks\, existing tools and beyondMore details and updates about the programme can be found here: http://tinyurl.com/KRRR-2014 Bio of Hector J. LevesqueHecto r Levesque received his BSc\, MSc and PhD all from the University of Toron to in 1975\, 1977\, and 1981\, respectively. After graduation\, he accepte d a position at the Fairchild Laboratory for Artificial Intelligence Resea rch in Palo Alto\, and then joined the faculty at the University of Toront o in 1984 where he remained until his retirement in 2014. His research is in the area of knowledge representation and reasoning in artificial intell igence. On the representation side\, he has worked on the formalization of a number of concepts pertaining to artificial and natural agents includin g belief\, goals\, intentions\, ability\, and the interaction between know ledge\, perception and action. On the reasoning side\, his research mainly concerns how automated reasoning can be kept computationally tractable\, including the use of greedy local search methods. Hector Levesque has publ ished over 70 research papers and three books. Four of these papers have w on best paper awards of the American Association of Artificial Intelligenc e (AAAI) in 1984\, 1984 again\, 1992\, and 2006\, and two other papers won similar awards at other conferences. Two of the AAAI papers went on to re ceive Classic Paper awards of the AAAI\, in 2004 and in 2011\, and another one was given an honourable mention. In 2006\, a paper written in 1990 wa s given the inaugural Influential Paper Award by the International Foundat ion of Autonomous Agents and Multi-Agent Systems. Hector Levesque was elec ted to the Executive Council of the AAAI\, was a co-founder of the Interna tional Conference on Principles of Knowledge Representation and Reasoning\ , and is on the editorial board of five journals\, including the journal A rtificial Intelligence. In 2001\, Hector Levesque was the Conference Chair of the International Joint Conference on Artificial Intelligence (IJCAI)\ , and served as President of the Board of Trustees of IJCAI from 2001 to 2 003. In 1985\, Hector Levesque became the first non-American to receive th e Computers and Thought Award given by IJCAI. He was the recipient of an E .W.R. Steacie Memorial Fellowship from the Natural Sciences and Engineerin g Research Council of Canada for 1990-91. He is a founding Fellow of the A AAI and was a Fellow of the Canadian Institute for Advanced Research from 1984 to 1995. He was elected to the Royal Society of Canada in 2006\, and to the American Association for the Advancement of Science in 2011. In 201 2\, Hector Levesque received the Lifetime Achievement Award of the Canadia n AI Association\, and in 2013\, the Research Excellence Award given by IJ CAI. DTSTART;TZID=Europe/Paris:20141118T100000 DTEND;TZID=Europe/Paris:20141118T173000 LAST-MODIFIED:20141117T150554Z LOCATION:DIAG Aula Magna SUMMARY:Knowledge Representation and Reasoning Rome Symposium (KRRR) -- Inv ited talk by Hector J. Levesque - URL;TYPE=URI:http://www.glad.uniroma1.it/node/6965 END:VEVENT END:VCALENDAR