Awarded Papers -- Overview of Awarded Papers: The 21st Annual Conference of JSAI -- Modeling Human-Agent Interaction Using Bayesian Network Technique -- Analysis and Design Methodology for Product-Based Services -- Consideration of Infants’ Vocal Imitation Through Modeling Speech as Timbre-Based Melody -- Metrics for Evaluating the Serendipity of Recommendation Lists -- Moving Sound Source Extraction by Time-Variant Beamforming -- Video Scene Retrieval Using Online Video Annotation -- Spatio-temporal Semantic Map for Acquiring and Retargeting Knowledge on Everyday Life Behavior -- Logic and Engineering of Natural Language Semantics -- Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2007 -- Semantic Heterogeneity in Evidentials -- Acts of Promising in Dynamified Deontic Logic -- Dynamic Semantics of Quantified Modal Mu-Calculi and Its Applications to Modelling Public Referents, Speaker’s Referents, and Semantic Referents -- Inverse Scope as Metalinguistic Quotation in Operational Semantics -- A Multimodal Type Logical Grammar Analysis of Japanese: Word Order and Quantifier Scope -- Coordinating and Subordinating Dependencies -- Left-Peripheral and Sentence-Internal Topics in Japanese -- Incremental Processing and Design of a Parser for Japanese: A Dynamic Approach -- Breaking Quotations -- A Modifier Hypothesis on the Japanese Indeterminate Quantifier Phrase -- A Presuppositional Analysis of Definite Descriptions in Proof Theory -- Meaning Games -- Risk Informatics -- International Workshop on Risk Informatics (RI2007) -- Chance Discovery in Credit Risk Management -- Risk Bias Externalization for Offshore Software Outsourcing by Conjoint Analysis -- Extracting Failure Knowledge with Associative Search -- Data Mining Analysis of Relationship Between Blood Stream Infection and Clinical Background in Patients Undergoing Lactobacillus Therapy -- Discovery of Risky Cases in Chronic Diseases: An Approach Using Trajectory Grouping -- Learning with Logics and Logics for Learning -- The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007) -- Mining Maximal Flexible Patterns in a Sequence -- Computing Characteristic Sets of Bounded Unions of Polynomial Ideals -- Towards a Logical Reconstruction of CF-Induction -- Juris-Informatics -- First International Workshop on Juris-Informatics -- Towards Translation of Legal Sentences into Logical Forms -- Automatic Consolidation of Japanese Statutes Based on Formalization of Amendment Sentences -- Characterized Argument Agent for Training Partner -- Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning.

This book constitutes the thoroughly refereed joint post-workshop proceedings of four international workshops organized by the Japanese Society for Artificial Intelligence, held in Miyazaki, Japan, in June 2007 during the 21st Annual Conference JSAI 2007. The volume starts with 7 award winning papers of the JSAI 2007 main conference that are accompanied by 24 revised full workshop papers, carefully reviewed and selected from the following four co-located international workshops: Logic and Engineering of Natural Language Semantics (LENLS 2007), International Workshop on Risk Informatics (RI2007), Fifth Workshop on Learning with Logics and Logics for Learning (LLLL 2007), and First International Workshop on Juris-informatics (JURISIN 2007).