Special Session on
Logical Consequence and its Combinations
The 2nd Indian International Conference on Artificial Intelligence (IICAI-05)
December 20-22 2005, Pune, India


A Special Session on Logical Consequence and its Combinations will be held during the 2nd Indian International Conference on Artificial Intelligence (IICAI-05). The session, organized within the scope of the FAPESP Thematic Project ConsRel 2004/14107-2 , invites papers in all areas of combining logics.

The notion of logical inference is of fundamental importance for formalizing notions of intelligence and argumentation in all forms, and also critically relevant in several aspects of computing, from AI, theorem proving and software engineering to computer languages. Investigation of logical inference for applications requires not only the understanding of single forms of logical inference, but of their combinations as well.

This technical session is focused on methods for combining logics (propositional, first-order and higher-order, intuitionistic, modal, and other forms of non-classical inference) emphasizing their semantical, proof-theoretical, algebraic and computational aspects.

Researchers (from all areas) interested in the following aspects of combination of logics are cordially invited:

  • Algebraic and categorial aspects of logic combinations
  • Combination of proof mechanisms
  • Conceptual and philosophical aspects of combination of logics
  • Formal semantics for logic combination, such as possible-translations semantics, society semantics and non-deterministic semantics
  • Applications of combined logics to AI, software engineering, planning and scheduling, adaptive systems, database theory and others
  • Specific methods for combining and decomposing logics, such as fibring, fusion, products and factoring
  • Other views on combined consequence relations, such as Belief Revision and foundations of Quantum Logics, viewed from the standpoint of combination mechanisms.

Paper Submission and Publication:

Authors are invited to submit papers for the session. Papers can be submitted as an email attachment to the Chair of the Session (address is given below). The papers should be preferably written in standard Latex (send PDF or PS files) or in MSWord, formatted according to the Springer Lecture Notes instructions. The length of a paper should not exceed 20 pages. Shorter papers 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 from 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.

For any additional information please contact the General Chair of the conference.

June 24th 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:
Prof. Walter Carnielli, Ph.D.
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
P.O. Box 6133 13083-970 Campinas -SP, Brazil
Phone: (+55) (19) 3788-6519
Fax: (+55) (19) 3289-3269
e-mail: carniell@cle.unicamp.br
Website: http://www.cle.unicamp.br/prof/carnielli


Scientific Committee:
Carlos Caleiro, CLC, IST, Technical University of Lisbon, Portugal

Walter Carnielli, CLE and IFCH, University of Campinas, Brazil

Marcelo Coniglio, CLE and IFCH, University of Campinas, Brazil

Víctor L. Fernández, San Juan National University, Argentina

Marcelo Finger, IME, São Paulo University, Brazil

Dov Gabbay, King's College, London, UK

Joseph Goguen, University of California, San Diego, USA

Paulo Mateus, CLC-IST, Technical University of Lisbon, Portugal

Luca Viganò, ETH, Zurich, Switzerland

              Back to Sessions