Alina Petrova

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 11

Top Topics

Formal Definitions

Top Venues

Publications

Masoud Makrehchi, Dell Zhang, Alina Petrova, John Armour
Proceedings of the 3rd International Workshop on Mining and Learning in the Legal Domain (MLLD-23). CoRR (2023)
Dell Zhang, Alina Petrova, Dietrich Trautmann, Frank Schilder
Unleashing the Power of Large Language Models for Legal Applications. CIKM (2023)
Masoud Makrehchi, Dell Zhang, Alina Petrova, John Armour
The 3rd International Workshop on Mining and Learning in the Legal Domain. CIKM (2023)
Dietrich Trautmann, Alina Petrova, Frank Schilder
Legal Prompt Engineering for Multilingual Legal Judgement Prediction. CoRR (2022)
Klaudia Krawiecka, Jack Sturgess, Alina Petrova, Ivan Martinovic
Plug-and-Play: Framework for Remote Experimentation in Cyber Security. EuroUSEC (2021)
Alina Petrova, John Armour, Thomas Lukasiewicz
Extracting Outcomes from Appellate Decisions in US State Courts. JURIX (2020)
Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks
Query-Based Entity Comparison in Knowledge Graphs Revisited. ISWC (1) (2019)
Alina Petrova, Egor V. Kostylev, Bernardo Cuenca Grau, Ian Horrocks
Towards Explainable Entity Matching via Comparison Queries. OM@ISWC (2019)
Alina Petrova, Evgeny Sherkhonov, Bernardo Cuenca Grau, Ian Horrocks
Entity Comparison in RDF Graphs. ISWC (1) (2017)
Alina Petrova
Comparing Entities in RDF Graphs. PhD@VLDB (2017)
Alina Petrova, Sebastian Rudolph
Web-Mining Defeasible Knowledge from Concessional Statements. ICCS (2016)
Alina Petrova, Yue Ma, George Tsatsaronis, Maria Kissa, Felix Distel, Franz Baader, Michael Schroeder
Formalizing biomedical concepts from textual definitions. J. Biomed. Semant. 6 (2015)
Efstathios Karanastasis, Vassiliki Andronikou, Efthymios Chondrogiannis, George Tsatsaronis, Daniel Eisinger, Alina Petrova
The OpenScienceLink architecture for novel services exploiting open access data in the biomedical domain. Panhellenic Conference on Informatics (2014)
Alina Petrova
A Pipeline for Supervised Formal Definition Generation. YSIP (2014)
George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder
Learning Formal Definitions for Biomedical Concepts. OWLED (2013)
Yashar Mehdad, José Guilherme Camargo de Souza, Matteo Negri, Alina Petrova
FBK Participation in the RTE-7 Main Task. TAC (2011)