New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2006 Conference andWorkshops /

Awarded Papers -- Overview of Awarded Papers – The 20th Annual Conference of JSAI -- Translational Symmetry in Subsequence Time-Series Clustering -- Visualization of Contents Archive by Contour Map Representation -- Discussion Ontology: Knowledge Discovery from Human Activities in Meetings -- Predicting Types of Protein-Protein Interactions Using a Multiple-Instance Learning Model -- Lattice for Musical Structure and Its Arithmetics -- Viewlon: Visualizing Information on Semantic Sensor Network -- Cooperative Task Achievement System Between Humans and Robots Based on Stochastic Memory Model of Spatial Environment -- People Who Create Knowledge Sharing Communities -- Logic and Engineering of Natural Language Semantics -- Logic and Engineering of Natural Language Semantics (LENLS) 3 -- A Dynamic Semantics of Intentional Identity -- Prolegomena to General-Imaging-Based Probabilistic Dynamic Epistemic Logic -- Logical Dynamics of Commands and Obligations -- On Factive Islands: Pragmatic Anomaly vs. Pragmatic Infelicity -- Aspects of the Indefiniteness Effect -- Interpreting Metaphors in a New Semantic Theory of Concept -- Covert Emotive Modality Is a Monster -- Conversational Implicatures Via General Pragmatic Pressures -- Dake-wa: Exhaustifying Assertions -- Unembedded ‘Negative’ Quantifiers -- Learning with Logics and Logics for Learning -- The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006) -- Consistency Conditions for Inductive Inference of Recursive Functions -- Inferability of Closed Set Systems from Positive Data -- An Extended Branch and Bound Search Algorithm for Finding Top-N Formal Concepts of Documents -- N-Gram Analysis Based on Zero-Suppressed BDDs -- Risk Mining -- Risk Mining - Overview -- Analysis on a Relation Between Enterprise Profit and FinancialState by Using Data Mining Techniques -- Unusual Condition Detection of Bearing Vibration in Hydroelectric Power Plants for Risk Management -- Structural Health Assessing by Interactive Data Mining Approach in Nuclear Power Plant -- Developing Mining-Grid Centric e-Finance Portals for Risk Management -- Knowledge Discovery from Click Stream Data and Effective Site Management -- Sampling-Based Stream Mining for Network Risk Management -- Relation Between Abductive and Inductive Types of Nursing Risk Management.

The progress in information technology including arti?cial intelligence (AI) in the last few decades is remarkable, and has attracted many young researchers to this ?eld. This trend is now accelerated along with the recent rapid growth of computer communicationnetworksandthe worldwideincreaseinresearchers. In this context, we have observed many outstanding AI studies in Japanese dom- tic conferences. They have high technical originality, quality and signi?cance. The annual conference of JSAI (Japan Society for Arti?cial Intelligence) is one of the key and representative domestic meetings in the ?eld of intelligent inf- mation technology. Award papers in this conference have an excellent quality of internationalstandards. The annualconferenceofJSAIalsoorganizesco-located international workshops to provide excellent study reports. The objectives of this book are to present the award papers of the 20th annual conference of JSAI 2006 and selected papers from the three co-located international workshops and to promote the study exchange among researchers worldwide. Eight papers were awarded among more than 200 presentations in the conference, and 21 papers were selected from a total of 44 presentations in the workshops of Logic and Engineering of Natural Language Semantics 2006 (LENLS 2006), Learning with Logics and Logics for Learning (LLLL 2006) and Risk Mining (RM 2006). The award papers in the 20th annual conference of JSAI 2006 were selected from presentations covering the wide ?eld of art- cial intelligence through the processes of candidate recommendations, detailed open discussions and voting by ProgramCommittee members of the conference.