Journal Papers under Review
Technical Reports
Journals and Book Chapters
M. D'Agostino, C. Larese and S. Modgil.
Towards Depth-Bounded Natural
Deduction for Classical First-Order Logic. In:
fCoLoG Journal of Logics and their Applica-tions,8(2), 423-451, 2021.
M. D'Agostino, D. Gabbay and S.Modgil
Normality, non-contamination and logical depth in classical natural deduction. In: Studia Logica, DOI https://doi.org/10.1007/s11225-019-09847-4,
February, 2019.
Refereed conference and Workshop papers
Modgil S. Rule Based Computation of updates to Terminologies.
In Proceedings
of the 2003 InternationalWorkshop on Description Logics - DL'03,
Rome, Italy, pp. 19-27, September, 2003.
Modgil S. Linking Rules to Terminologies and Applications in
Medical
Planning. In: Proc. 9th Conference on Artificial Intelligence in
Medicine
in Europe, AIME2003, Protaras Cyprus, (eds. Dojat, Keravnou, Barahona),
LNAI 2780, pp. 214- 218, October 2003.
Theses
Modgil S. A Labelled System for Practical Reasoning. Thesis
submitted
for doctorate of philosophy in Computing Science. Supervisors:
Professor
D. Gabbay and Dr. K. Broda
Modgil S. Transaction Management in a Deductive Database. Thesis
submitted
in partial fulfillment of the requirements for the M.Sc. in Computing
Science. Supervisor: Dr. F. Sadri.