Wyniki wyszukiwania:

This book gives an in-depth treatment of the latest results in a selection of core topics of AI. Its aim is to make available to students and practitioners active in AI those results in a form suitable for people who are already informed about the basics of AI. The treatment is in tutorial form, and the material originates from the series of Advanced Courses in AI that are regularly offered by the European Coordinating Committee for AI. The topics treated are Learning Systems, Planning, Automated Deduction, Qualitative Reasoning, Knowledge Engineering, Natural Language Understanding, and AI...

We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi- cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents...

We welcome Volume 20, Formal Aspects of Context. Context has always been recognised as strongly relevant to models in language, philosophy, logic and artifi- cial intelligence. In recent years theoretical advances in these areas and especially in logic have accelerated the study of context in the international community. An annual conference is held and many researchers have come to realise that many of the old puzzles should be reconsidered with proper attention to context. The volume editors and contributors are from among the most active front-line researchers in the area and the contents...