Journal Papers under Review
Journals and Book Chapters
M. D'Agostino, C. Larese and S.Modgil
Towards Depth-Bounded Natural Deduction for Classical First-Order Logic. Accepted for publication in: Journal of Applied Logics,
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,
Refereed conference and Workshop papers
Modgil S. Rule Based Computation of updates to Terminologies.
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
Planning. In: Proc. 9th Conference on Artificial Intelligence in
in Europe, AIME2003, Protaras Cyprus, (eds. Dojat, Keravnou, Barahona),
LNAI 2780, pp. 214- 218, October 2003.
Modgil S. A Labelled System for Practical Reasoning. Thesis
for doctorate of philosophy in Computing Science. Supervisors:
D. Gabbay and Dr. K. Broda
Modgil S. Transaction Management in a Deductive Database. Thesis
in partial fulfillment of the requirements for the M.Sc. in Computing
Science. Supervisor: Dr. F. Sadri.