Logic and Knowledge Representation (IICAI-11)

A special session on Logic and Knowledge Representation will be held during the 5^th Indian International Conference on Artificial Intelligence (IICAI-11). 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 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 this session as an email attachment to the Session Chair given below. The papers should be in MSWORD, PDF, or PS format and should be formatted according to the Springer Lecture Notes instructions (click here for instructions/sample paper) . 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 conference website too.

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 conference chairs at iicai.conference[at]gmail.com for any additional information.

Deadlines:
May 9 2011: Paper manuscripts due.
June 7 2011: Notification of acceptance.
July 1 2011: Camera ready papers and Pre-registration due.
December 14-16, 2011: Special Session and the IICAI-11 Conference

Session Chair:
Ken Kaneiwa
Department of Electrical Engineering and Computer Science, Iwate University
4-3-5 Ueda, Morioka, Iwate 020-8551, Japan
Email: kaneiwa@cis.iwate-u.ac.jp
Tel/Fax: +81 19-621-6430
URL: http://www.ai.cis.iwate-u.ac.jp/kaneiwa/index.html
URL of Kaneiwa Lab.: http://www.ai.cis.iwate-u.ac.jp

Back to Special Events


		Special Session on Logic and Knowledge Representation at The 5^th Indian International Conference on Artificial Intelligence (IICAI-11) December 14-16, 2011, Tumkur (near Bangalore), India


	A special session on Logic and Knowledge Representation will be held during the 5^th Indian International Conference on Artificial Intelligence (IICAI-11). 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 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 this session as an email attachment to the Session Chair given below. The papers should be in MSWORD, PDF, or PS format and should be formatted according to the Springer Lecture Notes instructions (click here for instructions/sample paper) . 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 conference website too. 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 conference chairs at iicai.conference[at]gmail.com for any additional information. Deadlines: May 9 2011: Paper manuscripts due. June 7 2011: Notification of acceptance. July 1 2011: Camera ready papers and Pre-registration due. December 14-16, 2011: Special Session and the IICAI-11 Conference Session Chair: Ken Kaneiwa Department of Electrical Engineering and Computer Science, Iwate University 4-3-5 Ueda, Morioka, Iwate 020-8551, Japan Email: kaneiwa@cis.iwate-u.ac.jp Tel/Fax: +81 19-621-6430 URL: http://www.ai.cis.iwate-u.ac.jp/kaneiwa/index.html URL of Kaneiwa Lab.: http://www.ai.cis.iwate-u.ac.jp Back to Special Events