About me
Msc. Mohammad Khodadadi
PhD Student at
The University
of Manchester
School of Computer Science,
Formal Methods Group
Thesis title: “Blocking and refinements for automatically generated tableau provers” supervised by Dr.-Ing. Renate A. Schmidt and Dr Dmitry Tishkovsky
Email: khodadadi@cs.man.ac.uk
Phone: Research
"develop formalisms for providing high-level descriptions of the world that can be effectively used to build intelligent applications" - The Description Logic Handbook
I am interested in automated reasoning and semantic web. Currently I am working on a project that is aimed at generating automated tableau prover based on specification of logic (supported by research grant EP/H043748/1 of the UK EPSRC). The project is going to extend an existing tableau prover MetTeL. Recently I have extended the system to accept tableau calculi as input. You can give it a try on our online demo version.
Publications
- Dmitry Tishkovsky,
Renate Schmidt, and
Mohammad Khodadadi.
MetTeL:
A tableau prover with logic-independent inference engine. In Brunnler,
K. and Metcalfe, G. (eds),Automated Reasoning with Analytic Tableaux
and Related Methods (TABLEAUX 2011)., Lecture Notes in Artificial
Intelligence, Vol. 6793, Springer, 242-247. Springer. To appear.
Abstract MetTeL is a generic tableau prover for various modal, intuitionistic, hybrid, description and metric logic. The core component of MetTeL is a logic-independent tableau inference engine. A novel feature is that users have the ability to flexibly specify the set of tableau rules to be used in derivations. Termination can be achieved via a generalisation of a standard loop checking mechanism or unrestricted blocking.
- Dmitry Tishkovsky, Renate Schmidt, and Mohammad Khodadadi. MetTeL: A Generic Tableau Prover. In Proceedings of the 18th Workshop on Automated Reasoning (ARW2011), The University of Glasgow, April 2011, pp.3-4
Presentation
- Paper Presentation: MetTeL: A Generic Tableau Prover. In 18th Workshop on Automated Reasoning, ARW 2011, The University of Glasgow, .
Academic Responsibilities
- Logic and Applications (MSc course 2010/2011) + (MSc course 2011/2012)
- Object Oriented Programming with Java 2 (BSc course 2010/2011)
- Object Oriented Programming with Java 1 (BSc course 2010/2011)+(BSc course 2011/2012)
I was involved in marking the courseworks and holding feedback and catch-up sessions.
I was supervising and teaching in labs (examples classes), marking assesed coursework.
I was supervising and teaching in labs (examples classes), marking assesed coursework.
Upcoming Events
| Event | Date | Location | Abstract Submission | Days2Go |
|---|---|---|---|---|
| ARW 2012 | 2-4 April 2012 | Manchester, Uk | TBA | 99999 |
| ARM - William McCune | - | - | 1st March 2012 | 33 |
| ECAI 2012 | 27-31 August 2012 | Montpellier, France | 6 March 2012 | 38 |
| DL 2012 | 7-10 June 2012 | Rome, Italy | 10 March 2012 | 42 |
| AiML 2012 | 22-25 August 2012 | Copenhagen, Denmark | 16 March 2012 | 48 |
| ISWC 2012 | 11-15 November 2012 | Boston, USA | TBA | 99999 |
| CSL 2012 | TBA | TBA | TBA | 99999 |
| JELIA 2012 | TBA | TBA | TBA | 99999 |
| STAIRS 2012 | 27-28 August 2012 | Montpellier, France | 25 May 2012 | 118 |
| ESSLLI 2012 | 6-17,August 2012 | Opole, Poland | 20 March 2012 | 52 |
How am i doing
I have started in , and should be finished by . This means I have 793 day to go. In the past 474 days, I have already read 57 papers and gathered a list 61 to read. Please let me know if you know anything that can be intresting to me.
How many paper I have read each month:
How do i spend my day since i have started my Phd:
How useful is my time at office (minutes):
Find Me
