[DL] Special Session on Logic and Knowledge Representation at IICAI-07

[Ken Kaneiwa]

----------------------------------------------------------------------------------
Special Session on
Logic and Knowledge Representation
at
The 3rd Indian International Conference on Artificial Intelligence
(IICAI-07)
December 17-19 2007, Pune, India
----------------------------------------------------------------------------------

A special session on Logic and Knowledge Representation will be held during
the 3rd Indian International Conference on Artificial Intelligence
(IICAI-07). The session invites papers in all areas of Logic and Knowledge
Representation .

IICAI-07 http://www.iiconference.org/index.html
(special session: Logic and Knowledge Representation
http://www.iiconference.org/iicai07/logic.html)

For many years, logic has been studied as an important topic of knowledge
representation and reasoning. In fact, many AI researchers use logic for
analyzing the problems and for modeling the reasoning process. In addition,
the knowledge representation research in AI lead to various extensions of
logic in other fields such as philosophy, linguistics, cognitive science,
computer science, etc. The special session on Logic and Knowledge
Representation provides an ideal platform for exchanging ideas in all the
areas related to logic and knowledge representation. The topics covered by
the session include but certainly not limited to:

Abduction and Induction
Automated Reasoning
Belief Revision
Complexity of Reasoning
Description Logics
Foundations of Knowledge Representation
Hybrid Reasoning Systems
Knowledge-base Systems
Knowledge Representation and Reasoning
Logic for Databases
Logic for Multi-agent Systems
Logic for the Semantic Web
Logic Programming
Logical Formalisms in AI
Modal Logic
Nonclassical Logic
Nonmonotonic Reasoning
Object-Oriented Deductive Languages
Ontology
Ontology Description Languages
Order-Sorted Logic
Philosophical Logic
Proof Theory
Reasoning About Actions and Change
Temporal Representation and Reasoning

Paper Submission and Publication:

Authors are encouraged to submit the papers for the session. The papers can
be submitted as an email attachment to the Chair of the Session (address is
given below). The papers should be in MSWORD, PDF, or PS format and should
be formatted according to the Springer Lecture Notes instructions. The
length of a paper should not exceed 20 pages. Shorter papers or papers on
the work currently in progress are also welcome. The first page of the paper
should contain the title, name(s) of the authors, affiliations, the postal
and email addresses, and at least 3 keywords appropriate to the content of
the paper. Further information regarding the paper submission can be
obtained from the session chair or access the conference website.

Each paper will be peer reviewed by at least two experts in the topical
area. All accepted papers will be published in the conference proceedings,
under the title of the session.

You may contact the General Chair of the conference for any additional
information.

Deadlines:
April 2nd 2007:           Draft papers due.
May 18th 2007:          Notification of acceptance.
June 25th 2007:          Camera ready papers & Pre-registration due.
December 17-19 2007: 3rd Indian International Conference on Artificial
Intelligence (IICAI-07)

Session Chair:

Dr. Ken Kaneiwa, Ph.D.
Knowledge Creating Communication Research Center
National Institute of Information and Communications Technology(NICT)
3-5 Hikaridai, Seika, Soraku, Kyoto 619-0289, Japan
Phone: +81-774-98-6876
Fax: +81-774-98-6960
Email: kaneiwa at nict.go.jp
http://kc.nict.go.jp/kaneiwa/index-j.html