A Special Session on Logic and Knowledge Representation
will be held during the 2nd Indian International
Conference on Artificial Intelligence (IICAI-05). The session invites
papers in all areas of Logic and Knowledge Representation.
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 has been providing
various extensions to 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
Abduction and Induction
Complexity of Reasoning
Foundations of Knowledge Representation
Hybrid Reasoning Systems
Knowledge Representation and Reasoning
Logic for Databases
Logic for Multi-agent Systems
Logic for the Semantic Web
Logical Formalisms in AI
Object-Oriented Deductive Languages
Ontology Description Languages
Reasoning About Actions and Change
Temporal Representation and Reasoning
Paper Submission and
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
May 27th 2005 (Friday): Paper
July 15th 2005 (Friday): Notification of acceptance.
August 15th 2005 (Monday): Camera ready
papers & Pre-registration due.
December 20-22 2005: Special Session and the IICAI-05
Dr. Ken Kaneiwa, Ph.D.
Foundations of Informatics Research Division
National Institute of Informatics
2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo, 101-8430, Japan