- Sep 2024: Paper accepted in Discrete Mathematics.
- Jul 2024: Paper accepted to ECAI 2024, 21-24 October, Santiago de Compostela, Spain.
- Jul 2024: PC Member of AMW 2024.
- Jul 2024: Women in Logic (affiliated with ICALP-FSCD-LICS), 9th July 2024, Tallinn, Estonia.
- Mar 2024: 6th Madeira Workshop on Belief Revision, Argumentation, Ontologies, and Norms (BRAON), 21-25 March 2024, Madeira, Portugal.
- Mar 2024: Dagstuhl seminar Logics for Dependence and Independence: Expressivity and Complexity, 10-15 March 2024, Dagstuhl, Germany.
- Mar 2024: Dagstuhl seminar Shapes in Graph Data: Theory and Implementation, 3-8 March 2024, Dagstuhl, Germany.
- Feb 2024: PC Member of KR 2024 and ECAI 2024.
Nina Pardal
email: n.pardal at hud.ac.uk
Lecturer in Computer Science at DCS
University of Huddersfield
SJ3/05
Queensgate, HD1 3DH
Huddersfield, UK
Lecturer in Computer Science at Department of Computer Science, University of Huddersfield
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
- Mar 2025: Paper accepted in PODS 2025, 22-27 June, Berlin, Germany.
- Mar 2025: Workshop "Foundations and Future of Change in Artificial Intelligence" accepted for ECAI 2025.
- Mar 2025: Visit and talk at the RATIO team's seminar, LaBRI, Université de Bordeaux, France.
- Feb 2025: Dagstuhl seminar Semirings in Databases, Automata, and Logic, 16-21 February 2025, Dagstuhl, Germany.
- Jan 2025: Visit and talk at the Explainable AI seminar, CLArg Group, Imperial College London, UK.
- Jan 2025: PC Member of JELIA 2025 and FoIKS 2026.
- Dec 2024: Talk at the Links team seminar, CRIStAL, Université de Lille, France.
- Oct 2024: 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.
Publications
Peer-reviewed- Rewriting Consistent Answers on Annotated Data. P. Kolaitis, N. Pardal, J. Virtema, J. Wijsen. PODS 2025.
- 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.
- Local consistency and axioms of functional dependence. T. Barlag, M. Hannula, J. Kontinen, N. Pardal, J. Virtema. 2025.
- Trees with proper thinness 2. F. Bonomo-Braberman, I. Maqueda, N. Pardal. 2025.
- Assessing the Feasibility of Predicting Social Network Users' Behaviour Using Linguistic and Social Cues. S. Malvicini, L. Alonso Alemany, N. Pardal, M.V.Martinez, G. Simari. 2025.
- Exploring subgraph complementation to bounded-degree graphs. I. Koch, N. Pardal, V.F. dos Santos. 2025.
- 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.