To appear in the Proceedings of The 2nd Indian International Conference on Artificial Intelligence (IICAI-05), Pune, India.

The 2nd Indian International Conference on Artificial Intelligence (IICAI-05) was held in Pune during December 20-22/2005. A Special Session on "Logical Consequence and its Combinations" was organized by Prof. Walter Carnielli, invited by the organizers.

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 session is being organized taking into account that 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.

The following aspects of combination of logics were emphasized:

• 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.

The Scientific Committee who assisted Prof. Carnielli was composed by:

• Carlos Caleiro, CLC, IST, Technical University of Lisbon, Portugal
• 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

Quantum Algorithms, Paraconsistent
Computation and Deutsch's Problem
Juan C. Agudelo and Walter Carnielli
Download Files:  [PDF]

---

Fibring and Sheaves
P. Arndt, R.A. Freire, O.O. Luciano and H.L. Mariano
Download Files:  [PDF]