دانلود کتاب New Frontiers in Artificial Intelligence: JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers

فهرست مطالب :

Front Matter....Pages -
Front Matter....Pages 1-1
Overview of Awarded Papers: The 21st Annual Conference of JSAI....Pages 3-4
Modeling Human-Agent Interaction Using Bayesian Network Technique....Pages 5-12
Analysis and Design Methodology for Product-Based Services....Pages 13-25
Consideration of Infants’ Vocal Imitation Through Modeling Speech as Timbre-Based Melody....Pages 26-39
Metrics for Evaluating the Serendipity of Recommendation Lists....Pages 40-46
Moving Sound Source Extraction by Time-Variant Beamforming....Pages 47-53
Video Scene Retrieval Using Online Video Annotation....Pages 54-62
Spatio-temporal Semantic Map for Acquiring and Retargeting Knowledge on Everyday Life Behavior....Pages 63-75
Front Matter....Pages 77-77
Overview of Logic and Engineering of Natural Language Semantics (LENLS) 2007....Pages 79-80
Semantic Heterogeneity in Evidentials....Pages 81-94
Acts of Promising in Dynamified Deontic Logic....Pages 95-108
Dynamic Semantics of Quantified Modal Mu-Calculi and Its Applications to Modelling Public Referents, Speaker’s Referents, and Semantic Referents....Pages 109-122
Inverse Scope as Metalinguistic Quotation in Operational Semantics....Pages 123-134
A Multimodal Type Logical Grammar Analysis of Japanese: Word Order and Quantifier Scope....Pages 135-148
Coordinating and Subordinating Dependencies....Pages 149-159
Left-Peripheral and Sentence-Internal Topics in Japanese....Pages 160-173
Incremental Processing and Design of a Parser for Japanese: A Dynamic Approach....Pages 174-186
Breaking Quotations....Pages 187-200
A Modifier Hypothesis on the Japanese Indeterminate Quantifier Phrase....Pages 201-213
A Presuppositional Analysis of Definite Descriptions in Proof Theory....Pages 214-227
Front Matter....Pages 77-77
Meaning Games....Pages 228-241
Front Matter....Pages 243-243
International Workshop on Risk Informatics (RI2007)....Pages 245-246
Chance Discovery in Credit Risk Management....Pages 247-254
Risk Bias Externalization for Offshore Software Outsourcing by Conjoint Analysis....Pages 255-268
Extracting Failure Knowledge with Associative Search....Pages 269-276
Data Mining Analysis of Relationship Between Blood Stream Infection and Clinical Background in Patients Undergoing Lactobacillus Therapy....Pages 277-288
Discovery of Risky Cases in Chronic Diseases: An Approach Using Trajectory Grouping....Pages 289-302
Front Matter....Pages 303-303
The Fifth Workshop on Learning with Logics and Logics for Learning (LLLL2007)....Pages 305-306
Mining Maximal Flexible Patterns in a Sequence....Pages 307-317
Computing Characteristic Sets of Bounded Unions of Polynomial Ideals....Pages 318-329
Towards a Logical Reconstruction of CF-Induction....Pages 330-343
Front Matter....Pages 345-345
First International Workshop on Juris-Informatics....Pages 347-348
Towards Translation of Legal Sentences into Logical Forms....Pages 349-362
Automatic Consolidation of Japanese Statutes Based on Formalization of Amendment Sentences....Pages 363-376
Characterized Argument Agent for Training Partner....Pages 377-389
Assumption-Based Argumentation for Closed and Consistent Defeasible Reasoning....Pages 390-402
Back Matter....Pages -