Special Session on
Logic and Knowledge Representation
at
The 2nd Indian International Conference on Artificial Intelligence (IICAI-05)
December 20-22 2005, Pune, India

  

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 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:
May 27th 2005 (Friday): Paper manuscripts due.
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 Conference.


Session Chair:
Dr. Ken Kaneiwa, Ph.D.
Assistant Professor
Foundations of Informatics Research Division
National Institute of Informatics
2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo, 101-8430, Japan
Phone: 81-3-4212-2591
Fax:     81-3-3556-1916
Email:   kaneiwa@nii.ac.jp
Website: http://research.nii.ac.jp/~kaneiwa

              Back to Sessions