- 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.
- 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: npardal at ed.ac.uk
Lecturer in Databases in AI and Datascience
University of Edinburgh
IF 5.12
10 Crichton Street
EH8 9AB
Edinburgh, UK
Lecturer in Databases in AI and Datascience at LFCS, School of Informatics, University of Edinburgh
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
- Jul 2025: Paper and other paper accepted in LAGOS 2025, 10-14 November, Buenos Aires, Argentina.
- Jul 2025: Paper accepted in IRIS-AI, 1–4 August 2025, Montefiascone, Italy.
- Jul 2025: Paper accepted in KR 2025, 11-17 November, Melbourne, Australia.
- Jun 2025: Paper accepted in CCIA 2025, 15-17 October, Valls, Catalunya.
- 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.
Publications
Peer-reviewed- Trees with proper thinness 2. F. Bonomo-Braberman, I. Maqueda, N. Pardal. LAGOS 2025 (to appear in Proceedings).
- Exploring subgraph complementation to bounded-degree graphs. I. Koch, N. Pardal, V.F. dos Santos. LAGOS 2025 (to appear in Proceedings).
- The KG-ER Conceptual Schema Language. E. Franconi, B. Groz, J. Hidders, N. Pardal, S. Staworko, J. Van den Bussche, P. Wieczorek. IRIS-AI 2025 (to appear in Proceedings).
- A logic-based framework for database repairs. N. Fröhlich, A. Meier, N. Pardal, J. Virtema. KR 2025 (to appear in Proceedings).
- 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. 27th International Congress of the Catalan Association for Artificial Intelligence (CCIA) 2025 (to appear in Proceedings).
- 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.
- Characterising DL-LiteR via PJ-Acyclic graphs. G. Konstantinidis. N. Pardal. 2025.
- Local consistency and axioms of functional dependence. T. Barlag, M. Hannula, J. Kontinen, N. Pardal, J. Virtema. 2025.
- Computational Complexity of Preferred Subset Repairs on Data-Graphs. N. Pardal, S. Cifuentes, E. Pin, M. V. Martínez, S. Abriola. 2024.