email: n.pardal at soton.ac.uk

Research Fellow at ECS
University of Southampton
Room 3027, Building 32
SO17 1TR
Southampton, UK

Research Fellow at School of Electronics and Computer Science, University of Southampton

Tenured Researcher at ICC-CONICET

PhD in Mathematics (Universidad de Buenos Aires) and Computer Science (Université Sorbonne Paris-Nord)

Research interests:

• Logic, Knowledge Representation and Reasoning
• Graph Theory
• Computational Complexity

News

• Project titled "Database Repairs, Consistent Answers, and Semirings” accepted in Research-in-Groups programme of the International Centre for Mathematical Sciences (ICMS) in Edinburgh; co-applied with J. Virtema and P. Kolaitis.
• Paper accepted in Discrete Mathematics.
• Paper accepted to ECAI 2024, 21-24 October, Santiago de Compostela, Spain.
• Dagstuhl seminar Semirings in Databases, Automata, and Logic, 16-21 February 2025, Dagstuhl, Germany.

(older) News

• PC Member of AMW 2024.
• Women in Logic (affiliated with ICALP-FSCD-LICS), 9th July 2024, Tallinn, Estonia.
• 6th Madeira Workshop on Belief Revision, Argumentation, Ontologies, and Norms (BRAON), 21-25 March 2024, Madeira, Portugal.
• Dagstuhl seminar Shapes in Graph Data: Theory and Implementation, 3-8 March 2024, Dagstuhl, Germany.
• Dagstuhl seminar Logics for Dependence and Independence: Expressivity and Complexity, 10-15 March 2024, Dagstuhl, Germany.
• PC Member of KR 2024 and ECAI 2024.

Publications

• On the proper interval completion problem within some chordal subclasses. F. Dross, C. Hilaire, I. Koch, V. Leoni, N. Pardal, M. I. L. Pujato, V.F. dos Santos. Discrete Mathematics, Vol. 348/1, 114274, 2025.
• The Distributional Uncertainty of the SHAP score in Explainable Machine Learning. S. Cifuentes, L. Bertossi, N. Pardal, S. Abriola, M.V. Martinez, M. Romero. ECAI 2024.
• Edge deletion on tree-like graph classes. I. Koch, N. Pardal, V.F. dos Santos. Discrete Applied Mathematics, Vol. 348, 122–131, 2024.
• An epistemic approach to model uncertainty in data-graphs. S. Abriola, S. Cifuentes, M. V. Martínez, N. Pardal, E. Pin. International Journal of Approximate Reasoning (IJAR), Volume 160, 108948, 2023.
• Unified foundations for team semantics via semirings. T. Barlag, M. Hannula, J. Kontinen, N. Pardal, J. Virtema. In Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning — Main Track, 75–85, 2023.
• Data-graph repairs: the preferred approach. S. Abriola, S. Cifuentes, N. Pardal, E. Pin. In CEUR Workshop Proceedings, Vol. 3409, Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW), 2023.
• On the complexity of finding set repairs for data-graphs. S. Abriola, S. Cifuentes, M. V. Martínez, N. Pardal, E. Pin. Journal of Artificial Intelligence Research (JAIR), Vol. 76, 721–759, 2023.
• 2-nested matrices: towards understanding the structure of circle graphs. G. A. Durán, N. Pardal, M. D. Safe. Graphs and Combinatorics, 38:111, 2022.
• Forbidden induced subgraph characterization of circle graphs within split graphs. F. Bonomo-Braberman, G. A. Durán, N. Pardal, M. D. Safe. Discrete Applied Mathematics, Vol. 323, Issue C, 43–75, 2020.
• On nested and 2-nested graphs: two subclasses of graphs between threshold and split graphs N. Pardal, G. A. Durán, L. Grippo, M. D. Safe. Matemática Contemporânea 46, 119–128, 2019.

• Computational Complexity of Preferred Subset Repairs on Data-Graphs. N. Pardal, S. Cifuentes, E. Pin, M. V. Martínez, S. Abriola. 2024.
• A logic-based framework for database repairs. N. Fröhlich, A. Meier, N. Pardal, J. Virtema. 2023.