Note: Title page -- ECCAI Member Societies -- Conference Organization -- ECAI Programme Committee -- Additional Reviewers -- Preface -- Contents -- Invited Talks -- Socially Intelligent Robots -- Managing Diversity in Knowledge -- The Truth About Defaults -- SmartWeb: Getting Answers on the Go -- Papers -- Cognitive Modelling -- Background Default Knowledge and Causality Ascriptions -- Comparing Sets of Positive and Negative Arguments: Empirical Assessment of Seven Qualitative Rules -- A Similarity and Fuzzy Logic-Based Approach to Cerebral Categorisation -- Imitation of Intentional Behaviour -- Dramatization Meets Narrative Presentations -- MAMA: An Architecture for Interactive Musical Agents -- Bayesian Modelling of Colour's Usage Impact to Web Credibility -- Evaluating Perception of Interaction Initiation in Virtual Environments Using Humanoid Agents -- Cognitive Situated Agents Learn to Name Actions -- Tracking the Lexical Zeitgeist with WordNet and Wikipedia -- Constraints and Search -- Enhancing Constraints Manipulation in Semiring-Based Formalisms -- Evaluating ASP and Commercial Solvers on the CSPLib -- Automatic Generation of Implied Constraints -- Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints -- A Study on the Short-Term Prohibition Mechanisms in Tabu Search -- Random Subset Optimization -- Search for Compromise Solutions in Multiobjective State Space Graphs -- Minion: A Fast Scalable Constraint Solver -- Asynchronous Forward-Bounding for Distributed Constraints Optimization -- Distributed Log-Based Reconciliation -- Extracting MUCs from Constraint Networks -- Preference-Based Inconsistency Proving: When the Failure of the Best Is Sufficient -- Return of the JTMS: Preferences Orchestrate Conflict Learning and Solution Synthesis -- Multi-Objective Propagation in Constraint Programming. , Last Conflict Based Reasoning -- Dynamic Orderings for AND/OR Branch-and-Bound Search in Graphical Models -- Compact Representation of Sets of Binary Constraints -- Pessimistic Heuristics Beat Optimistic Ones in Real-Time Search -- Inverse Consistencies for Non-Binary Constraints -- Guiding Search Using Constraint-Level Advice -- Beyond Singleton Arc Consistency -- Symmetry Breaking Using Value Precedence -- Distributed AI/Agents -- Coordination Through Inductive Meaning Negotiation -- Reaching Agreements for Coalition Formation Through Derivation of Agents' Intentions -- Cheating Is Not Playing: Methodological Issues of Computational Game Theory -- Mediation in the Framework of Morpho-Logic -- Strengthening Admissible Coalitions -- Advanced Policy Explanations on the Web -- Prevention of Harmful Behaviors Within Cognitive and Autonomous Agents -- Coalition Structure Generation in Task-Based Settings -- Programming Agents with Emotions -- Goal Types in Agent Programming -- Alternating-Offers Bargaining Under One-Sided Uncertainty on Deadlines -- A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation -- Towards ACL Semantics Based on Commitments and Penalties -- Computational Opinions -- A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes -- Contouring of Knowledge for Intelligent Searching for Arguments -- On the Inability of Gathering by Asynchronous Mobile Robots with Initial Movements -- Testing the Limits of Emergent Behavior in MAS Using Learning of Cooperative Behavior -- Boolean Games Revisited -- An Automated Agent for Bilateral Negotiation with Bounded Rational Agents with Incomplete Information -- Self-Organizing Multiagent Approach to Optimization in Positioning Problems -- Arguing with Confidential Information. , Auction Mechanisms for Efficient Advertisement Selection on Public Displays -- Verifying Interlevel Relations Within Multi-Agent Systems -- Flexible Provisioning of Service Workflows -- Heuristic Bidding Strategies for Multiple Heterogeneous Auctions -- Are Parallel BDI Agents Really Better? -- Dynamic Control of Intention Priorities of Human-Like Agents -- Knowledge Representation and Reasoning -- Knowing Minimum/Maximum n Formulae -- Modal Logics for Communicating Rule-Based Agents -- Causation as Production -- Merging Possibilistic Networks -- Compiling Possibilistic Knowledge Bases -- Improving Bound Propagation -- Logic Programs with Multiple Chances -- Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems -- Conceptual Hierarchies Matching: An Approach Based on Discovery of Implication Rules Between -- Concepts -- CTL Model Update: Semantics, Computations and Implementation -- Resolving Conflicts in Action Descriptions -- Possibilistic Influence Diagrams -- Solving Optimization Problems with DLL -- Discovering Missing Background Knowledge in Ontology Matching -- Extracting MUSes -- On Probing and Multi-Threading in Platypus -- Elaborating Domain Descriptions -- On the Logic of Theory Change: Relations Between Incision and Selection Functions -- Representing Relative Direction as a Binary Relation of Oriented Points -- Modular Equivalence for Normal Logic Programs -- Preference Representation with 3-Points Intervals -- Reference-Dependent Qualitative Models for Decision Making Under Uncertainty -- Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework -- Using Occlusion Calculi to Interpret Digital Images -- Abductive Logic Programming in the Clinical Management of HIV/AIDS -- Interleaving Belief Updating and Reasoning in Abductive Logic Programming. , Bridging the Gap Between Informal and Formal Guideline Representations -- Boolean Propagation Based on Literals for Quantified Boolean Formulae -- General Concept Inclusions in Fuzzy Description Logics -- Approximating Extended Answer Sets -- An Axiomatic Approach in Qualitative Decision Theory with Binary Possibilistic Utility -- An Efficient Upper Approximation for Conditional Preference -- A Solver for QBFs in Nonprenex Form -- Knowledge Engineering for Bayesian Networks: How Common Are Noisy-MAX Distributions in Practice? -- Machine Learning -- A Unified Model for Multilabel Classification and Ranking -- Learning by Automatic Option Discovery from Conditionally Terminating Sequences -- Least Squares SVM for Least Squares TD Learning -- Argument Based Rule Learning -- A Real Generalization of Discrete AdaBoost -- Discovery of Entailment Relations from Event Co-Occurrences -- Efficient Knowledge Acquisition for Extracting Temporal Relations -- Efficient Learning from Massive Spatial-Temporal Data Through Selective Support Vector Propagation -- Automatic Term Categorization by Extracting Knowledge from the Web -- Strategic Foresighted Learning in Competitive Multi-Agent Games -- Natural Language Processing -- MSDA: Wordsense Discrimination Using Context Vectors and Attributes -- Integrating Domain and Paradigmatic Similarity for Unsupervised Sense Tagging -- Disambiguating Personal Names on the Web Using Automatically Extracted Key Phrases -- History-Based Inside-Outside Algorithm -- Shallow Semantic Parsing Based on FrameNet, VerbNet and PropBank -- Semantic Tree Kernels to Classify Predicate Argument Structures -- Planning and Scheduling -- A Multivalued Logic Model of Planning -- Strong Cyclic Planning Under Partial Observability -- Approximation Properties of Planning Benchmarks. , Approximate Linear-Programming Algorithms for Graph-Based Markov Decision Processes -- Mean Field Approximation of the Policy Iteration Algorithm for Graph-Based Markov Decision Processes -- Unified Definition of Heuristics for Classical Planning -- PAIS -- Applying Trip@dvice Recommendation Technology to www.visiteurope.com -- Natural and Intuitive Multimodal Dialogue for In-Car Applications: The SAMMIE System -- A Client/Server User-Based Collaborative Filtering Algorithm: Model and Implementation -- Software Companion: The Mexar2 Support to Space Mission Planners -- ECUE: A Spam Filter that Uses Machine Learning to Track Concept Drift -- Knowledge-Based Recommendation: Technologies and Experiences from Projects -- Diagnosing Highly Configurable Products: Troubleshooting Support for Airbus Final Assembly Line -- Web-Based Tools for Codification with Medical Ontologies in Switzerland -- Model-Based Failure Analysis with RODON -- Perception -- A Learning Classifier Approach to Tomography -- Depth Ordering and Figure-Ground Segregation in Monocular Images Derived from Illusory Contour -- Perception -- Graph Neural Networks for Object Localization -- Robotics -- Situation Assessment for Sensor-Based Recovery Planning -- Learning Behaviors Models for Robot Execution Control -- Plan-Based Configuration of a Group of Robots -- Posters -- Cognitive Modeling -- Agents with Anticipatory Behaviors: To Be Cautious in a Risky Environment -- AI and Music: Toward a Taxonomy of Problem Classes -- Using Emotions for Behaviour-Selection Learning -- Constraints and Search -- Efficient Handling of Complex Local Problems in Distributed Constraint Optimization -- Visualization for Analyzing Trajectory-Based Metaheuristic Search Algorithms -- Bipolar Preference Problems -- A Connectivity Constraint Using Bridges -- Distributed AI/Agents. , Search Better and Gain More: Investigating New Graph Structures for Multi-Agent Negotiations.