PH. D PH.D POSITION IN MARSEILLES: 2nd CALL

[Nicola OLIVETTI]

PH.D POSITION IN MARSEILLES: 2nd CALL

GENERAL AREA: Logic, Automated Deduction

TITLE : PROOF-THEORY OF CONDITIONAL AND NON NORMAL MODAL LOGICS

ABSTRACT
The topic of this thesis is to investigate the proof theory and automated deduction of conditional and non-normal modal logics. Both families of logics fall into the realm of modal logics and are characterized by variants of Kripke semantics, including neighborhood semantics. These logics find their interest in the formalisation of several kind of reasoning, namely hypothetical and counterfactual reasoning,  reasoning about agents' belief change, reasoning about prototypical properties (plausible and non-monotonic reasoning), deontic reasoning,  strategic reasoning in games, and causal reasoning.
The expected research activity comprises:
1. study of new  calculi of different kinds (tableaux, sequent calculi) for the respective logics ;
2. make use of the calculi for investigating meta-logical properties of logics, for example constructive proof of decidability,  finite model property, interpolation, new or tighter complexity bounds;
3. realisation of prototype theorem provers implementing the studied calculi.
 
KEYWORDS: modal logic, conditional logic, proof-theory, knowledge representation

ADDITIONAL INFORMATION

The research will be carried on at the LSIS Laboratory (UMR CNRS 7296) in Marseilles, France (http://www.lsis.org). The applicant will be member of the INCA team of LSIS. This research team has been ranked A+ (the best possible ranking) by the French National Agency for Evaluation of Research (AERES).

LOCATION:
University of Aix-Marseille,  LSIS, Site of Saint-Jérôme (Faculty of Science), Marseilles

FUNDING:
The Ph.D. fellowship is funded for 3 years, amounting approximately to 1600 € per month (addiitonal teaching allowances are possible).

CANDIDATE PROFILE:
Applicants should have (or being in the process of obtaining) a M.Sc. in Computer Science, Mathematics or Philosophy, they are required to have:
- a strong background in logic and knowledge representation,
- an acquaintance with complexity theory, formal methods, and artificial intelligence,
- some programming skills in logic or functional programming. 

STARTING DATE:
the position starts preferably in October 2015 but not later than 31 December
APPLICATION AND CONTACT:
Candidates must send their application *before May 31* 2015:
- A detailed Curriculum vitae,
- A transcript of the grades of  Bachelor and Master Degrees,
- A letter of intent,
- Reference letters,
- A short description of master thesis.
Applications must be sent by email with attached pdf files to
nicola.olivetti at univ-amu.fr

-- 
Prof. Nicola Olivetti
Faculté d'Economie et Gestion (FEG),
Aix-Marseille Université
LSIS - UMR CNRS 7296
Adresse FEG: Espace Forbin,
15-19 Allée Claude Forbin, 13627 Aix-en-provence, (France)
Adresse LSIS: Domaine Universitaire de Saint-Jérôme
Avenue Escadrille Normandie-Niemen, 13397 Marseille Cedex 20 (France)
email: nicola.olivetti at univ-amu.fr, nicola.olivetti at lsis.org
phone: +33 (0)49128 9094, fax: +33 (0) 49128 8334
http://www.lsis.org/olivetti/
-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <https://lists.tu-clausthal.de/cgi-bin/mailman/private/ifi-ci-event/attachments/20150519/e817c254/attachment.html>