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: Upcoming Events
| Event | Date | Location | Abstract Submission | Days2Go |
|---|---|---|---|---|
| ISWC 2012 | 2012-11-11 | Boston, USA | 2012-06-01 | 12 |
| STAIRS 2012 | 2012-08-27 | Montpellier, France | 2012-05-25 | 5 |
| JELIA 2012 | 2012-09-26 | Toulouse, France | 2012-05-22 | 2 |
| IJCAI-13 | 2013-08-03 | Beijing, China | 999 | |
| JAIR | 2012-11-15 | 179 | ||
| AI'12 | 2012-12-04 | SYDNEY, AUSTRALIA | 2012-06-29 | 40 |
| CLIMA2012 | 2012-08-27 | Montpellier, France, | 2012-05-28 | 8 |
| AAMAS2013 | 2013-05-08 | Saint Paul, Minnesota, USA | 2012-09-01 | 104 |
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
| 2012 | |
| [8] | MetTeL2: Towards a prover generation platform , Chapter in Proceedings of the 19th Workshop on Automated Reasoning (ARW2012) (R. A.;Schmidt F. Papacchini, ed.), Dept of Computing Science, University of Manchester, 2012. [bib] |
| [7] | MetTeL2: Towards a tableau prover generation platform , 2012. [bib] [pdf] |
| [6] | MetTeL2: Towards a tableau prover generation platform , 2012. [bib] [pdf] |
| [5] | Terminating tableau calculi for modal logic K with global counting operators , 2012. [bib] [pdf] |
| [4] | Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics , 2012. [bib] |
| [3] | An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting , (Domenico Lembo, Yevgeny Kazakov, Frank Wolter, eds.), CEUR-WS.org, 2012. [bib] |
| 2011 | |
| [2] | MetTeL : A Tableau Prover with Logic-Independent Inference Engine , Chapter in Automated Reasoning with Analytic Tableaux and Related Methods (Kai Brünnler, George Metcalfe, eds.), Springer, volume 6793, 2011. [bib] [pdf] |
| [1] | MetTeL: A Generic Tableau Prover. , Chapter in Proceedings of the 18th Workshop on Automated Reasoning (ARW2011) (A.;Kirwan R. Miller, ed.), Dept of Computing Science, University of Glasgow, 2011. [bib] |
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.
How am i doing
I have started in , and should be finished by . This means I have 680 day to go. In the past 587 days, I have already read 71 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
