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.