JSAI-isAI 2013


The fifth JSAI International Symposia on AI (JSAI-isAI) will take place
at Keio University, Kanagawa on October 27th – 28th, 2013. JSAI-isAI is
an event that hosts several international workshops at the same location.

JSAI-isAI brings together a set of workshops at a common site, providing a unique and intimate forum for colleagues in a given discipline. JSAI-isAI also provides an important opportunity for AI researchers to get together and share their knowledge.

Workshop 1
10th International Workshop on Logic and Engineering of Natural Language
Semantics (LENLS 10)
Workshop 2
7th International Workshop on Juris-informatics (JURISIN 2013)
Workshop 3
International Workshop on Multimodality in Multiparty Interaction (MiMI2013)
Workshop 4
Workshop on Natural Computing meets Computational Aesthetics
Workshop 5
Workshop on Argument for Agreement and Assurance (AAA 2013)
Workshop 6
Workshop on Data Discretization and Segmentation for Knowledge Discovery
(DDS 2013)

Workshop 1: 10th International Workshop on Logic and Engineering of Natural
Language Semantics (LENLS 10)

LENLS is an annual international workshop focusing on formal semantics
and pragmatics. We invite submissions to this year’s workshop on topics
in formal semantics and pragmatics, and related fields, including but in
no way limited to the following:
Dynamic syntax/semantics/pragmatics of natural language

  • Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics
  • Logic and its relation to natural language and linguistic reasoning (especially dynamic logics)
  • Type-theoretic approaches to natural language
  • Formal Philosophy of language
  • Formal pragmatics (especially game- and utility-theoretic approaches)
  • Substructural expansion of Lambek Lambda Calculi
  • Many-valued/Fuzzy and other non-classical logics and natural language

Workshop Chair: Shunsuke Yatabe (West Japan Railway Company), Daisuke Bekki (Ochanomizu
University/National Institute of Informatics)

Web site:http://www.is.ocha.ac.jp/~bekki/lenls/

Workshop 2: 7th International Workshop on Juris-informatics (JURISIN 2013)

Juris-informatics is a new research area which studies legal issues from
the perspective of informatics. The purpose of this workshop is to discuss
both the fundamental and practical issues for juris-informatics among people
from the various backgrounds such as law, social science, information and
intelligent technology, logic and philosophy, including the conventional
“AI and law” area.
We solicit unpublished papers on following topics on theories,
technologies and applications on juris-informatics and following

  • Model of legal reasoning
  • Argumentation / Negotiation / Argumentation agent
  • Legal term ontology
  • Formal legal knowledge-base / Intelligent management of legal knowledge-base
  • Translation of legal documents
  • Information retrieval of legal texts
  • Computer-aided law education
  • Use of Informatics and AI in law
  • Legal issues on ubiquitous computing / multi-agent system / the Internet
  • Social implications of use of informatics and AI in law
  • Natural language processing for legal knowledge
  • Verification and validation of legal knowledge systems
  • Any theories and technologies which is not directly related with juris-informatics but has a potential to contribute to this domain

Workshop Chairs: Katsumi Nitta (Tokyo Institute of Technology)

Web site: http://www.ntt.dis.titech.ac.jp/jurisin2013/

Workshop 3: International Workshop on Multimodality in Multiparty Interaction

In this workshop, we will try to cover a broader perspective of interaction
studies, communication studies, conversation analysis, and workplace studies
and their application to other research fields including, but not limited
to, human–computer interaction (HCI). Moreover, we will try to provide
a place where HCI researchers who have created original work can start
collaborative projects with interaction and communication analysts to evaluate
their products and upgrade their perspectives on human interaction in our
daily lives.
Recently, the interest of linguists, interaction analysts, and conversation analysts has turned increasingly toward observing interactional practices in the material world (Streek et al. 2011). To turn to new domains of communication, we need to focus not only on the systematic structure of dialogue, i.e., two-party interaction, but also on the complexity of conversations involving more than three parties in social interactions. Our daily communication is not limited to dialogue, but open to multi-party interactions.
Multimodality is a research concept that emerges from the history of traditional language research that has treated only verbal and text information of human language. Human social interaction involves the intertwined interaction of different modalities, such as talk, gestures, gaze, and posture.
Human–computer interactions involve studying, planning, and designing interactions between humans and computers. Traditionally, HCI researchers have adopted the methodologies of experimental psychology to evaluate their products by measuring human behaviors and human knowledge under experimental conditions. However, we believe that experimental settings are limited in their ability to study human daily interactions.
In this workshop, we will discuss how a marriage between interaction studies
and informatics could affect developments in both research fields.

Workshop Chairs: Mayumi Bono (National Institute of Informatics), Yasuyuki Sumi (Future
University Hakodate)

Web site: http://research.nii.ac.jp/~bono/en/event/MiMI2013.html

Workshop 4: Workshop on Natural Computing meets Computational Aesthetics

What is the right answer of a computing in nature, which is called “natural
computing”? Does the slime-mold gives a “mistake” in the
“slime-mold computing”? It is easy to say the answer of the calculation
of 5 + 7 = 13 is wrong and 12 is right; but it is ambiguous to say the
result of slime-mold computing is wrong or correct, in fact the slime-mold
cannot know their movements are “computing.” We propose that
a candidate of the answer in a computing in nature is “comfortableness”;
we have been looking forward and wanted something comfortable things in
daily life, fine art, design, science and so on. Hence in this workshop,
we would like to discuss about aesthetics in computing such as media /
fine arts, information design, visualization, aesthetics / philosophy and
all related area.

TOPICS; Natural Computing, Scientific Visualization, Computational aesthetics,
(Evolutional) Computer Graphics, Media and Fine arts (incl. music, dance,
drama with natural computing), Synthetic Biology and Arts, Aesthetics and
Philosophy, and all related areas.

Special Invited Talk; Richard Shusterman (Florida Atlantic University);
an American pragmatist philosopher, currently the Dorothy F. Schmidt Eminent
Scholar in the Humanities and Professor of Philosophy at Florida Atlantic
University. He is internationally known for his contributions to
philosophical aesthetics and the emerging field of somaesthetics (Wikipedia).

Workshop Chairs: Yasuhiro Suzuki (Nagoya University), Fuminori Akiba (Nagoya University)

Web site: http://natural-computing.com/isAI13-IWNC

Workshop 5: Workshop on Argument for Agreement and Assurance (AAA 2013)

Argumentation has now became an interdisciplinary challenging research
area in AI aiming at formalizing various aspects of human or/and computer
software argument in terms of computation, and applying those knowledge
to various fields. Scope of argumentation in AI includes human arguments
appeared in television, newspapers, WWW, etc. and also artificial arguments
constructed from structured knowledge with logical language and inference
rules. Results of argumentation in AI are widely applicable to various
fields such as consensus building, agreement formation, multiagent systems,
semantic web, recommendation systems, learning, mining, belief revisions,
chance discovery, safety engineering, etc.
In particular, safety engineering is a research area that is interested
in the use of an evidence-based argument often called a safety case, assurance
case or dependability case. Nowadays, it is becoming necessary for certification
bodies to issue a license to developing and operating bodies, for system
stakeholders to make agreement, for system administrators to achieve accountability,
etc. AAA 2013 contributes to deepen mutual understanding between researchers
working on argumentation
theory in AI and researchers working on agreement and assurance
technologies through arguments.
AAA 2013 solicits contributions from broad range of researchers
related to argumentation in AI and especially welcomes contributions across argumentation and systems assurance.

Workshop Chairs: Yoshiki Kinoshita (National Institute of Advanced Industrial Science and
Technology), Kazuko Takahashi (Kwansei Gakuin University), Hiroyuki Kido
(The University of Tokyo)

Web site: http://www.panda.sys.t.u-tokyo.ac.jp/kido/AAA2013/index.html

Workshop 6: Workshop on Data Discretization and Segmentation for Knowledge
Discovery (DDS 2013)

Decomposing one datum into a set of several small data is found playing
a crucial role in Computer Science. Usually decomposition indicates an
operation to consecutive data structure but in the context of Machine Learning
Knowledge Discovery, decomposition can include, for example, segmentation
of sentences in natural languages and segmentation of time series, and
moreover can be extended so that discretization of continuous data is also
an example. The focus of this workshop is on segmentation methods to various
types of data, such as graphs, trees, strings, and continuous data, and
their applications to Machine Learning and Knowledge Discovery. Scientific
results based on, but not restricted to, the keywords listed and their
applications to bioinformatics, natural language processing, social network
analysis, and the other areas.


  • segmentation methods for consecutive data
  • discretization methods for continuous data
  • granular computing for machine learning and knowledge discovery
  • data compression for knowledge discovery
  • algebraic methods
  • formal language theory

Workshop Chairs: Akihiro Yamamoto (Kyoto university), Hiroshi Sakamoto (Kyushu Institute
of Technology)

Web site: https://sites.google.com/site/dds13workshop/


SpringerSpringer formally approved to publish JSAI-isAI 2013 post-proceeding by
LNCS. Selected papers and invited papers for JSAI-isAI 2013 will be included
in the proceedings. Details will be posted here soon.


Please email the information below to “JSAI-isAI-JSAI[at]ai-gakkai.or.jp”
with the Subject line “JSAI-isAI 2013 Registration Form” before
October 10th, 2013. You may register on site, but the space is limited
and we may not be able to guarantee the availability.
Registration fee should be paid on site (cash in yen or major credit cards: VISA and Master).

 Registration Category  Fee
 Member JPY 7,000
 Non-member  JPY 13,000
 Student  JPY 5,000

($1.00 = approximately JPY 100)

=== copy text from here ===
Workshop (choose one):
W1: 10th International Workshop on Logic and Engineering of Natural Language
Semantics (LENLS 10)
W2: 7th International Workshop on Juris-informatics (JURISIN 2013)
W3: International Workshop on Multimodality in Multiparty Interaction (MiMI2013)
W4: Workshop on Natural Computing meets Computational Aesthetics
W5: Workshop on Argument for Agreement and Assurance (AAA 2013)
W6: Workshop on Data Discretization and Segmentation for Knowledge Discovery
(DDS 2013)





tel/fax (optional):

JSAI Member? (choose one): yes/no

Student? (choose one): yes/no

Method of payment (choose one): cash/credit card/undecided
=== copy text upto here ===


JSAI-isAI2013 will be held at Keio University, Kanagawa.
All the workshops will take place at Raiosha-building.
Keio University is located at Yokohama-city, Kanagawa.
Directions to Keio University and a campus map are shown in the following link.

We do not provide official hotels for JSAI-isAI2013 workshops. Keio University
is easy to access from downtown Yokohama. You can find many reasonable
hotels around there. Please see the following link for more local information.


JSAI-isAI 2013 Committee

Chair: Yukiko Nakano (HP)

Publication Co-Chairs: TBA