Special Session on
Logical Consequence and its Combinations
at
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.
Deadlines:
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