STAIRS 2008 proceedings of the fourth Starting AI Researchers' Symposium (IOS Press, 2008)
Includes bibliographical references and index
Title page; Preface; Contents; Representing Case Variations for Learning General and Specific Adaptation Rules; A Theorem Prover with Dependent Types for Reasoning About Actions; Multi-Agent Collaboration: A Satellite Constellation Case; Probabilistic Association Rules for Item-Based Recommender Systems; Role Assertion Analysis: A Proposed Method for Ontology Refinement Through Assertion Learning; Semantics for Containment Belief Revision in the Case of Consistent Complete Theories; Learning Process Behavior with EDY: An Experimental Analysis
Contains a series of papers selected from the peer-reviewing process for STAIRS-08: the fourth European Starting Artificial Intelligence Researcher Symposium, an international meeting intended for AI researchers from all countries, at the beginning of their career - PhD students or people holding a PhD for less than one year