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

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).

---

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).
Content:
Front Matter....Pages -
Front Matter....Pages 1-1
Third International Workshop on Juris-Informatics....Pages 3-4
Using BATNAs and WATNAs in Online Dispute Resolution....Pages 5-18
Thai Succession and Family Law Ontology Building Using Ant Colony Algorithm....Pages 19-32
Reflective Visualization of the Agreement Quality in Mediation....Pages 33-44
Implementing Temporal Defeasible Logic for Modeling Legal Reasoning....Pages 45-58
Evaluating Cases in Legal Disputes as Rival Theories....Pages 59-72
Law-Aware Access Control: About Modeling Context and Transforming Legislation....Pages 73-86
Front Matter....Pages 87-87
3rd International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2009)....Pages 89-90
On the Central Role of Mailing Lists in Open Source Projects: An Exploratory Study....Pages 91-103
A Proposal of TIE Model for Communication in Software Development Process....Pages 104-115
Identifying the Concepts That Are Searchable with Keywords in Code Search Engines....Pages 116-123
On the Use of Emerging Design as a Basis for Knowledge Collaboration....Pages 124-134
A Time-Lag Analysis for Improving Communication among OSS Developers....Pages 135-146
Comparison of Coordination Communication and Expertise Communication in Software Development: Motives, Characteristics, and Needs....Pages 147-155
Front Matter....Pages 157-157
6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6)....Pages 159-160
Representing Covert Movements by Delimited Continuations....Pages 161-180
Problems with Intervention and Binding into Relations....Pages 181-196
A Translation from Logic to English with Dynamic Semantics....Pages 197-216
Semantics of Possibility Suffix “(Rar)e”....Pages 217-234
An Adaptive Logic for the Formal Explication of Scalar Implicatures....Pages 235-251
Front Matter....Pages 157-157
Two Kinds of Procedural Semantics for Privative Modification....Pages 252-271
On the Nature and Formal Analysis of Indexical Presuppositions....Pages 272-291
Non-standard Uses of German 1st Person Singular Pronouns....Pages 292-311
Front Matter....Pages 313-313
The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009)....Pages 315-316
Inferability of Unbounded Unions of Certain Closed Set Systems....Pages 317-330
Mining Frequent k-Partite Episodes from Event Sequences....Pages 331-344
Learning from Positive Data Based on the MINL Strategy with Refinement Operators....Pages 345-357
Computing Minimal Models by Positively Minimal Disjuncts....Pages 358-371
Back Matter....Pages -

---

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).
Content:
Front Matter....Pages -
Front Matter....Pages 1-1
Third International Workshop on Juris-Informatics....Pages 3-4
Using BATNAs and WATNAs in Online Dispute Resolution....Pages 5-18
Thai Succession and Family Law Ontology Building Using Ant Colony Algorithm....Pages 19-32
Reflective Visualization of the Agreement Quality in Mediation....Pages 33-44
Implementing Temporal Defeasible Logic for Modeling Legal Reasoning....Pages 45-58
Evaluating Cases in Legal Disputes as Rival Theories....Pages 59-72
Law-Aware Access Control: About Modeling Context and Transforming Legislation....Pages 73-86
Front Matter....Pages 87-87
3rd International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2009)....Pages 89-90
On the Central Role of Mailing Lists in Open Source Projects: An Exploratory Study....Pages 91-103
A Proposal of TIE Model for Communication in Software Development Process....Pages 104-115
Identifying the Concepts That Are Searchable with Keywords in Code Search Engines....Pages 116-123
On the Use of Emerging Design as a Basis for Knowledge Collaboration....Pages 124-134
A Time-Lag Analysis for Improving Communication among OSS Developers....Pages 135-146
Comparison of Coordination Communication and Expertise Communication in Software Development: Motives, Characteristics, and Needs....Pages 147-155
Front Matter....Pages 157-157
6th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS 6)....Pages 159-160
Representing Covert Movements by Delimited Continuations....Pages 161-180
Problems with Intervention and Binding into Relations....Pages 181-196
A Translation from Logic to English with Dynamic Semantics....Pages 197-216
Semantics of Possibility Suffix “(Rar)e”....Pages 217-234
An Adaptive Logic for the Formal Explication of Scalar Implicatures....Pages 235-251
Front Matter....Pages 157-157
Two Kinds of Procedural Semantics for Privative Modification....Pages 252-271
On the Nature and Formal Analysis of Indexical Presuppositions....Pages 272-291
Non-standard Uses of German 1st Person Singular Pronouns....Pages 292-311
Front Matter....Pages 313-313
The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009)....Pages 315-316
Inferability of Unbounded Unions of Certain Closed Set Systems....Pages 317-330
Mining Frequent k-Partite Episodes from Event Sequences....Pages 331-344
Learning from Positive Data Based on the MINL Strategy with Refinement Operators....Pages 345-357
Computing Minimal Models by Positively Minimal Disjuncts....Pages 358-371
Back Matter....Pages -
....