John McCarthy's contributions to computer science and artificial intelligence are legendary. He invented Lisp, made substantial contributions to early work in timesharing and the theory of computation, and was one of the founders of artificial intelligence and knowledge representation. This article, written in honor of McCarthy's 80th birthday, presents a brief biography, an overview of the major themes of his research, and a discussion of several of his major papers.

Led by David C. Wilson (University of of usages of generalization in from the University of Ulster. The workshop CBR in robotic soccer, a theme that is researchers and practitioners. The workshops in this year's program were Case-Based An introspective talk, given by David The technical program consisted of fifteen Reasoning and Context-Awareness, W. Aha (Naval Research Lab, USA) papers and eighteen posters. They Case-Based Reasoning in the Health kicked off the event, making attendees are all included in the proceedings Sciences, Textual Case-Based Reasoning: question how case-based reasoning published by Springer. Beyond Retrieval, Uncertainty is perceived by the outside world The first oral session included contributions and Fuzziness in Case-Based Reasoning, and the balance between theoretical in textual CBR, logic-based and Knowledge Discovery and foundations and applied research.

Horvitz noted two emerging trends at the conference and in the AI field. Second is the work in scaling AI to be more integrative. Instead of the ongoing great successes of AI researches on "wedges" of AI expertise and reasoning, there's increasing work on delivering more depth and breadth of capabilities such as sensing, learning, and reasoning. "This is very hard," notes Horvitz, "(but already) I see bits and pieces here and there." Game Playing Competition, the Poker AAI's Twenty-second Conference (AAAI-07) continued a longstanding the 1,025 attendees to choose Competition, and the Human Versus tradition of excellence.

The conference time was dominated by academic presentations. Attempts to solicit papers from industry were largely unsuccessful; most industry AI people do not have the time or experience to write papers that will survive a rigorous review process. AIIDE'07, we opted for 10 invited It featured 10 (!) invited The new format digital entertainment systems seems to have met with universal with an emphasis on commercial computer approval. Historically This year we added a collocated there has been a disconnect between workshop, the second annual Workshop the work done in academe and that on Optimizing Player Satisfaction. The interacting, so that the academics The invited talks are always the conference series began in 2005, but it can better understand the highlight of AIIDE, especially this year.

Multiagent Systems" was delivered by Mark W. Spong (University of Illinois (ICINCO 2007) "Toward Human-Machine Cooperation" was delivered by Patrick Millot (Université de Valenciennes, France), who is a renowned professor in Europe. ICINCO received 435 paper submissions, not including workshops, from more than 50 countries, in all continents. Sciences et Techniques de l'Ingénieur are researchers in one of the ICIN-and Robotics (ICINCO 2007) was The conference was also held in cooperation selected for poster presentation. The volume tracks: "Intelligent Control Systems will be published by Springer-Verlag. Autònoma de Barcelona, as a major international forum The two satellite workshops were Spain) and Janan Zaytoon (Centre de to debate technical and scientific the Third International Workshop on Recherche en Sciences et Technologies advances presented by researchers and Multiagent Robotic Systems (MARS de l'Information et de la Communication, developers both from academe and 2007), chaired by Joaquim Filipe, and Universite de Reims Champagne-industry.

Automated planning technology has become mature enough to be useful in applications that range from game-playing to control of space vehicles. In this article, Dana Nau discusses where automated-planning research has been, where it is likely to go, where he thinks it should go, and some major challenges in getting there. The article is an updated version of Nau's invited talk at AAAI-05 in Pittsburgh, Pennsylvania.

As a result, all sessions attracted significant interest and participation. After the success of this event, the OPS organizing committee plans to merge this event as a regular special session to the AIIDE conference including recognized keynotes, technical discussion, and, possibly, demo sessions. An additional (Maersk Institute, University of Southern aim of these events is to yield a better Denmark). To learn approaches for optimizing player satisfaction about the latest news about this series in interactive entertainment of events, subscribe to the Google systems. This was the second in parallel to the conference.

The AAAI-07 workshop program was held Sunday and Monday, July 22-23, in Vancouver, British Columbia, Canada. The program included the following thirteen workshops: (1) Acquiring Planning Knowledge via Demonstration; (2) Configuration; (3) Evaluating Architectures for Intelligence; (4) Evaluation Methods for Machine Learning; (5) Explanation-Aware Computing; (6) Human Implications of Human-Robot Interaction; (7) Intelligent Techniques for Web Personalization; (8) Plan, Activity, and Intent Recognition; (9) Preference Handling for Artificial Intelligence; (10) Semantic e-Science; (11) Spatial and Temporal Reasoning; (12) Trading Agent Design and Analysis; and (13) Information Integration on the Web.

In this note we suggest that difficulties encountered in natural language semantics are, for the most part, due to the use of mere symbol manipulation systems that are devoid of any content. In such systems, where there is hardly any link with our common-sense view of the world, and it is quite difficult to envision how one can formally account for the considerable amount of content that is often implicit, but almost never explicitly stated in our everyday discourse. The solution, in our opinion, is a compositional semantics grounded in an ontology that reflects our commonsense view of the world and the way we talk about it in ordinary language. In the compositional logic we envision there are ontological (or first-intension) concepts, and logical (or second-intension) concepts, and where the ontological concepts include not only Davidsonian events, but other abstract objects as well (e.g., states, processes, properties, activities, attributes, etc.) It will be demonstrated here that in such a framework, a number of challenges in the semantics of natural language (e.g., metonymy, intensionality, metaphor, etc.) can be properly and uniformly addressed.

Belief fusion is the principle of combining separate beliefs or bodies of evidence originating from different sources. Depending on the situation to be modelled, different belief fusion methods can be applied. Cumulative and averaging belief fusion is defined for fusing opinions in subjective logic, and for fusing belief functions in general. The principle of fission is the opposite of fusion, namely to eliminate the contribution of a specific belief from an already fused belief, with the purpose of deriving the remaining belief. This paper describes fission of cumulative belief as well as fission of averaging belief in subjective logic. These operators can for example be applied to belief revision in Bayesian belief networks, where the belief contribution of a given evidence source can be determined as a function of a given fused belief and its other contributing beliefs.