|
PUBLICATIONS |
Book Chapters* Costa, D.; Martins, M. A. (2020). "A Roadmap of Paraconsistent Hybrid Logics". In Abstract Consequence and Logics, Essays in Honor of Edelcio G. de Souza. College Publications. * Costa, D.; Martins, M. A. (2020). "A Four-Valued Hybrid Logic with Non-dual Modal Operators". In L. Soares Barbosa & A. Baltag (Eds.), Dynamic Logic. New Trends and Applications. Lecture Notes in Computer Science, Volume 12005, pp. 88-103. Springer International Publishing. http://doi.org/10.1007/978-3-030-38808-9_6 * Costa, D.; Martins, M. A. (2018). "Inconsistency Measures in Hybrid Logics". In John Grant & Maria Vanina Martinez (Eds.), Measuring Inconsistency in Information, pp. 169-194, College Publications. Journal Articles* Costa, D.; Martins, M. A. (2021). "Non-dual modal operators as a basis for 4-valued accessibility relations in Hybrid logic", to appear in the Journal of Logical and Algebraic Methods inProgramming * Costa, D.; Martins, M. A.; Marcos, J. (2019). "On Herbrand's Theorem for Hybrid Logic". Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, Volume 6, number 2 (IsraLog17 special issue). [pdf] * Costa, D.; Martins, M. A. (2017). "Paraconsistency in hybrid logic". Journal of Logic and Computation, Volume 27, Issue 6, pp. 1825-1852. https://doi.org/10.1093/logcom/exw027 [pdf] Conference Articles* Brotherston, J.; Costa, D.; Hobor, A.; Wickerson, J. (2020). "Reasoning over Permissions Regions in Concurrent Separation Logic". In: Lahiri S., Wang C. (eds) Computer Aided Verification. CAV 2020. Lecture Notes in Computer Science, vol 12225. Springer, Cham. https://doi.org/10.1007/978-3-030-53291-8_13 [pdf] * Costa, D.; Martins, M. A. (2018). "Measuring inconsistent diagnoses". IEEE 20th International Conference on e-Health Networking, Applications and Services (Healthcom), Czech Republic. https://doi.org/10.1109/healthcom.2018.8531146 * Costa, D.; Martins, M. A. (2016). "Intelligent-Based Robot to Deal with Contradictions". International Conference on Autonomous Robot Systems and Competitions (ICARSC), Braganca, Portugal, pp. 199-204. https://doi.org/10.1109/ICARSC.2016.48 * Costa, D.; Martins, M. A. (2016). "A tableau system for Quasi-hybrid logic". Proceedings of the International Joint Conference on Automated Reasoning IJCAR2016, Springer International Publishing, pp. 435-451. https://doi.org/10.1007/978-3-319-40229-1_30 [pdf] * Costa, D.; Fuentes, P.; Fuentes, C.; Martins, M. A. (2015). "Classical principles in molecular logic". In Proceedings of ICNAAM, AIP conf. Proc. 1648, 710005. https://doi.org/10.1063/1.4912929 * Costa, D.; Martins, M. A. (2014). "Inconsistencies in health care knowledge". In Proceedings of the 1st InternationalWorkshop on Reliability of eHealth Information Systems IEEE HEALTHCOM2014, IEEE Computer Society Press, pp. 37-42. https://doi.org/10.1109/HealthCom.2014.7001810
Theses* Costa, D. (2019). "Hybrid Logics with Paraconsistency". PhD Thesis, University of Aveiro, February 2019. [pdf] * Costa, D. (2014). "Paraconsistency in Hybrid Logic". MSc Thesis, University of Aveiro, July 2014. [pdf] |
|
Diana Costa |
|
Contact: |
|
Office EFB3.08 Dept. of Computer Science University College London Gower Street London WC1E 6BT United Kingdom
d.costa [at] ucl.ac.uk
|