New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers

by Elin McCready, Kumiyo Nakakoji (Editor), Yohei Murakami (Editor)

Overview

This book constitutes the refereed proceedings of 4 workshops held at the JSAI International Symposia on Artificial Intelligence 2010, in Tokyo, Japan, in November 2009.

The 24 revised full papers presented were carefully reviewed and selected from 61 submissions. The papers are organized in the workshop sections Logic and Engineering of Natural Language Semantics (LENLS), Juris-Informatics (JURISIN), Knowledge Collaboration in Software Development (KCSD), and Learning with Logics and Logics for Learning (LLLL).

Product Details

ISBN-13:	9783642148873
Publisher:	Springer Berlin Heidelberg
Publication date:	10/14/2010
Series:	Lecture Notes in Computer Science , #6284
Edition description:	2010
Pages:	376
Product dimensions:	6.10(w) x 9.10(h) x 0.70(d)

Table of Contents

Part I Juris-Informatics

Third International Workshop on Juris-Informatics Seiichiro Sakurai 3

Using BATNAs and WANTAs in Online Dispute Resolution Francisco Andrade Paulo Novais Davide Carneiro John Zeleznikow José Neves 5

Thai Succession and Family Law Ontology Building Using Ant Colony Algorithm Vi-sit Boonchom Nuanwan Soonthornphisaj 19

Reflective Visualization of the Agreement Quality in Mediation Yoshiharu Maeno Katsumi Nitta Yukio Ohsawa 33

Implementing Temporal Defeasible Logic for Modeling Legal Reasoning Guido Governatori Antonino Rotolo Rossella Rubino 45

Evaluating Cases in Legal Disputes as Rival Theories Pontus Stenetorp Jason Jingshi Li 59

Law-Aware Access Control: About Modeling Context and Transforming Legislation Michael Stieghahn Thomas Engel 73

Part II Knowledge Collaboration in Software Development

3rd International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2009) Masao Ohira Yunwen Ye 89

On the Central Role of Mailing Lists in Open Source Projects: An Exploratory Study Emad Shihab Nicolas Bettenburg Bram Adams Ahmed E. Hassan 91

A Proposal of TIE Model for Communication in Software Development Process Masakazu Kanbe Shuichiro Yamamoto Toshizumi Ohta 104

Identifying the Concepts That Are Searchable with Keywords in Code Search Engines Toshihiro Kamiya 116

On the Use of Emerging Design as a Basis for Knowledge Collaboration Tiago Proenca Nilmax Teones Moura André van der Hoek 124

A Time-Lag Analysis for Improving Communication among OSS Developers Masao Ohira Kiwako Koyama Akinori Ihara Shinsuke Matsumoto Yasutaka Kamei Ken-ichi Matsumoto 135

Comparison of Coordination Communication and Expertise Communication in Software Development: Motives, Characteristics, and Needs Kumiyo Nakakoji Yunwen Ye Yasuhiro Yamamoto 147

Part III Logic and Engineering of Natural Language Semantics

6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6) Daisuke Bekki 159

Representing Covert Movements by Delimited Continuations Daisuke Bekki Kenichi Asai 161

Problems with Intervention and Binding into Relations Alastair Butler Kei Yoshimoto 181

A Translation from Logic to English with Dynamic Semantics Elizabeth Coppock David Baxter 197

Semantics of Possibility Suffix "(Rar)e" Takashi lida 217

An Adaptive Logic for the Formal Explication of Scalar Implicatures Hans Lycke 235

Two Kinds of Procedural Semantics for Privative Modification Giuseppe Primiero Bjørn Jespersen 252

On the Nature and Formal Analysis of Indexical Presuppositions Igor Yanovich 272

Non-standard Uses of German 1st Person Singular Pronouns Sarah Zobel 292

Part IV Learning with Logics and Logics for Learning

The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009) Akihiro Yamamoto Kauichi Hirata Shin-ichi Minato 315

Inferability of Unbounded Unions of Certain Closed Set Systems Yuichi Kameda Hiroo Tokunaga 317

Mining Frequent k-Partite Episodes from Event Sequences Takashi Katoh Hiroki Arimura Kouichi Hirata 331

Learning from Positive Data Based on the MINL Strategy with Refinement Operators Seishi Ouchi Akihiro Yamamoto 345

Computing Minimal Models by Positively Minimal Disjuncts Ken Satoh 358

Author Index 373