دانلود کتاب New Frontiers in Artificial Intelligence: JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers

فهرست مطالب :

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 -