• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
1976 …2021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Search results

  • 2021

    A retrospective on Telos as a metamodeling language for requirements engineering

    Koubarakis, M., Borgida, A., Constantopoulos, P., Doerr, M., Jarke, M., Jeusfeld, M. A., Mylopoulos, J. & Plexousakis, D., Mar 2021, In: Requirements Engineering. 26, 1

    Research output: Contribution to journalArticlepeer-review

    5 Scopus citations
  • CaRE: a refinement calculus for requirements engineering based on argumentation theory

    Elrakaiby, Y., Borgida, A., Ferrari, A. & Mylopoulos, J., 2021, (Accepted/In press) In: Software and Systems Modeling.

    Research output: Contribution to journalArticlepeer-review

  • 2020

    A Refinement Calculus for Requirements Engineering Based on Argumentation Theory

    ElRakaiby, Y., Borgida, A., Ferrari, A. & Mylopoulos, J., 2020, Conceptual Modeling - 39th International Conference, ER 2020, Proceedings. Dobbie, G., Frank, U., Kappel, G., Liddle, S. W. & Mayr, H. C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12400 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2019

    Description Logics and Specialization for Structured BPMN

    Borgida, A., Kalokyri, V. & Marian, A., Jan 1 2019, Business Process Management Workshops - BPM 2019 International Workshops, Revised Selected Papers. Di Francescomarino, C., Dijkman, R. & Zdun, U. (eds.). Springer, p. 19-31 13 p. (Lecture Notes in Business Information Processing; vol. 362 LNBIP).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Initial Steps Towards a Family of Regular-Like Plan Description Logics

    Borgida, A., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 90-109 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11560 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

    1 Scopus citations
  • On limited conjunctions and partial features in parameter-tractable feature logics

    McIntyre, S., Borgida, A., Toman, D. & Weddell, G., 2019, 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019. AAAI press, p. 2995-3002 8 p. (33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • On special description logics for processes and plans

    Borgida, A., Toman, D. & Weddel, G., 2019, In: CEUR Workshop Proceedings. 2373

    Research output: Contribution to journalConference articlepeer-review

  • Searching heterogeneous personal digital traces

    Vianna, D., Kalokyri, V., Borgida, A., Marian, A. & Nguyen, T., Jan 2019, In: Proceedings of the Association for Information Science and Technology. 56, 1, p. 276-285 10 p.

    Research output: Contribution to journalArticlepeer-review

    1 Scopus citations
  • 2018

    On limited conjunctions in polynomial feature logics, with applications in obda — Extended abstract

    McIntyre, S., Borgida, A., Toman, D. & Weddell, G., 2018, Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018. Thielscher, M., Toni, F. & Wolter, F. (eds.). AAAI press, p. 655-656 2 p. (Principles of Knowledge Representation and Reasoning: Proceedings of the 16th International Conference, KR 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • YourdigitalSelf: A personal digital trace integration tool

    Kalokyri, V., Borgida, A. & Marian, A. L., Oct 17 2018, CIKM 2018 - Proceedings of the 27th ACM International Conference on Information and Knowledge Management. Paton, N., Candan, S., Wang, H., Allan, J., Agrawal, R., Labrinidis, A., Cuzzocrea, A., Zaki, M., Srivastava, D., Broder, A. & Schuster, A. (eds.). Association for Computing Machinery, p. 1963-1966 4 p. (International Conference on Information and Knowledge Management, Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Scopus citations
  • 2017

    Concerning referring expressions in query answers

    Borgida, A., Toman, D. & Weddell, G., 2017, 26th International Joint Conference on Artificial Intelligence, IJCAI 2017. Sierra, C. (ed.). International Joint Conferences on Artificial Intelligence, p. 4791-4795 5 p. (IJCAI International Joint Conference on Artificial Intelligence; vol. 0).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    3 Scopus citations
  • Integration and exploration of connected personal digital traces

    Kalokyri, V., Borgida, A., Marian, A. & Vianna, D., May 14 2017, Proceedings of the ExploreDB 2017. Association for Computing Machinery, Inc, a3. (Proceedings of the ExploreDB 2017).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • Semantic modeling and inference with episodic organization for managing personal digital traces: (Short paper)

    Kalokyri, V., Borgida, A., Marian, A. & Vianna, D., 2017, On the Move to Meaningful Internet Systems. OTM 2017 Conferences - Confederated International Conferences: CoopIS, C and TC, and ODBASE 2017, Proceedings. Paschke, A., Debruyne, C., Gaaloul, W., Papazoglou, M., Panetto, H., Ardagna, C. A. & Meersman, R. (eds.). Springer Verlag, p. 273-280 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10574 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • 2016

    Engineering requirements with desiree: An empirical evaluation

    Li, F. L., Horkoff, J., Liu, L., Borgida, A., Guizzardi, G. & Mylopoulos, J., 2016, Advanced Information Systems Engineering - 28th International Conference, CAiSE 2016, Proceedings. Nurcan, S., Soffer, P., Bajec, M. & Eder, J. (eds.). Springer Verlag, p. 221-238 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9694).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Scopus citations
  • On referring expressions in information systems derived from conceptual modelling

    Borgida, A., Toman, D. & Weddell, G., 2016, Conceptual Modeling - 35th International Conference, ER 2016, Proceedings. Comyn-Wattiau, I., Song, I-Y., Yamamoto, S., Saeki, M. & Tanaka, K. (eds.). Springer Verlag, p. 183-197 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9974 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    8 Scopus citations
  • On referring expressions in query answering over first order knowledge bases

    Borgida, A., Toman, D. & Weddell, G., 2016, In: Proceedings of the International Conference on Knowledge Representation and Reasoning. p. 319-328 10 p.

    Research output: Contribution to journalConference articlepeer-review

    21 Scopus citations
  • 2015

    Challenges for semantic technologies in distributed mobile environments

    Patton, E. W. & Borgida, A., 2015, In: CEUR Workshop Proceedings. 1506, p. 26-31 6 p.

    Research output: Contribution to journalConference articlepeer-review

  • From stakeholder requirements to formal specifications through refinement

    Li, F. L., Horkoff, J., Borgida, A., Guizzardi, G., Liu, L. & Mylopoulos, J., 2015, Requirements Engineering: Foundation for Software Quality - 21st International Working Conference, REFSQ 2015, Proceedings. Fricker, S. A. & Schneider, K. (eds.). Springer Verlag, p. 164-180 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9013).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    22 Scopus citations
  • Singular referring expressions in conjunctive query answers: The case for a CFD DL dialect

    Borgida, A., Toman, D. & Weddell, G., 2015, In: CEUR Workshop Proceedings. 1350

    Research output: Contribution to journalConference articlepeer-review

  • Towards a general formal framework of Coherence Management in RE

    Borgida, A., Jureta, I. & Zamansky, A., Nov 4 2015, 2015 IEEE 23rd International Requirements Engineering Conference, RE 2015 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 274-277 4 p. 7320436. (2015 IEEE 23rd International Requirements Engineering Conference, RE 2015 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • 2014

    Agile requirements engineering via paraconsistent reasoning

    Ernst, N. A., Borgida, A., Jureta, I. J. & Mylopoulos, J., Jul 2014, In: Information Systems. 43, p. 100-116 17 p.

    Research output: Contribution to journalArticlepeer-review

    21 Scopus citations
  • An ontological interpretation of non-functional requirements

    Guizzardi, R., Li, F. L., Borgida, A., Guizzardi, G., Horkoff, J. & Mylopoulos, J., 2014, Formal Ontology in Information Systems - Proceedings of the Eighth International Conference (FOIS 2014). Garbacz, P. & Kutz, O. (eds.). IOS Press, p. 344-357 14 p. (Frontiers in Artificial Intelligence and Applications; vol. 267).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    21 Scopus citations
  • An overview of requirements evolution

    Ernst, N., Borgida, A., Jureta, I. J. & Mylopoulos, J., Jan 1 2014, Evolving Software Systems. Springer Berlin Heidelberg, p. 1-32 32 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

    11 Scopus citations
  • Applying knowledge representation and reasoning to (simple) goal models

    Borgida, A., Horkoff, J. & Mylopoulos, J., 2014, 2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, AIRE 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 53-59 7 p. 6894857. (2014 IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, AIRE 2014 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Scopus citations
  • Non-functional requirements as qualities, with a spice of ontology

    Li, F. L., Horkoff, J., Mylopoulos, J., Guizzardi, R. S. S., Guizzardi, G., Borgida, A. & Liu, L., Sep 26 2014, 2014 IEEE 22nd International Requirements Engineering Conference, RE 2014 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 293-302 10 p. 6912271. (2014 IEEE 22nd International Requirements Engineering Conference, RE 2014 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    29 Scopus citations
  • Strategic business modeling: Representation and reasoning

    Horkoff, J., Barone, D., Jiang, L., Yu, E., Amyot, D., Borgida, A. & Mylopoulos, J., Jun 2014, In: Software and Systems Modeling. 13, 3, p. 1015-1041 27 p.

    Research output: Contribution to journalArticlepeer-review

    100 Scopus citations
  • The requirements problem for adaptive systems

    Jureta, I. J., Borgida, A., Ernst, N. A. & Mylopoulos, J., Sep 18 2014, In: ACM Transactions on Management Information Systems. 5, 3, 17.

    Research output: Contribution to journalReview articlepeer-review

    25 Scopus citations
  • 2013

    Non-functional requirements revisited

    Li, F. L., Horkoff, J., Mylopoulos, J., Liu, L. & Borgida, A., 2013, In: CEUR Workshop Proceedings. 978, p. 109-114 6 p.

    Research output: Contribution to journalConference articlepeer-review

    6 Scopus citations
  • Requirements models for design- and runtime: A position paper

    Borgida, A., Dalpiaz, F., Horkoff, J. & Mylopoulos, J., 2013, 2013 5th International Workshop on Modeling in Software Engineering, MiSE 2013 - Proceedings. p. 62-68 7 p. 6595298. (ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Scopus citations
  • Runtime goal models: Keynote

    Dalpiaz, F., Borgida, A., Horkoff, J. & Mylopoulos, J., 2013, 7th International Conference on Research Challenges in Information Science, RCIS 2013 - Conference Proceedings. 6577674. (Proceedings - International Conference on Research Challenges in Information Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    40 Scopus citations
  • 2012

    A formal semantics for weighted ontology mappings

    Atencia, M., Borgida, A., Euzenat, J., Ghidini, C. & Serafini, L., 2012, The Semantic Web, ISWC 2012 - 11th International Semantic Web Conference, Proceedings. PART 1 ed. Springer Verlag, p. 17-33 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7649 LNCS, no. PART 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    18 Scopus citations
  • Agile requirements evolution via paraconsistent reasoning

    Ernst, N. A., Borgida, A., Mylopoulos, J. & Jureta, I. J., 2012, Advanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Proceedings. p. 382-397 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7328 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    27 Scopus citations
  • Experiences in mapping the business intelligence model to description logics, and the case for parametric concepts

    Borgida, A., Horkoff, J., Mylopoulos, J. & Rosati, R., 2012, In: CEUR Workshop Proceedings. 846, p. 92-102 11 p.

    Research output: Contribution to journalConference articlepeer-review

  • Learning web-service task descriptions from traces

    Walsh, T. J., Littman, M. L. & Borgida, A., 2012, In: Web Intelligence and Agent Systems. 10, 4, p. 397-421 25 p.

    Research output: Contribution to journalArticlepeer-review

  • Making data meaningful: The business intelligence model and its formal semantics in description logics

    Horkoff, J., Borgida, A., Mylopoulos, J., Barone, D., Jiang, L., Yu, E. & Amyot, D., 2012, On the Move to Meaningful Internet Systems, OTM 2012 - Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Proceedings. PART 2 ed. p. 700-717 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7566 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    26 Scopus citations
  • 2011

    Finding incremental solutions for evolving requirements

    Ernst, N. A., Borgida, A. & Jureta, I., 2011, Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011. p. 15-24 10 p. 6051656. (Proceedings of the 2011 IEEE 19th International Requirements Engineering Conference, RE 2011).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    31 Scopus citations
  • Requirements evolution drives software evolution

    Ernst, N. A., Borgida, A. & Mylopoulos, J., 2011, IWPSE-EVOL'11 - Proceedings of the 12th International Workshop on Principles on Software Evolution. p. 16-20 5 p. (IWPSE-EVOL'11 - Proceedings of the 12th International Workshop on Principles on Software Evolution).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    6 Scopus citations
  • 2010

    On finding query rewritings under expressive constraints

    Borgida, A., De Bruijn, J., Franconi, E., Seylan, I., Straccia, U., Toman, D. & Weddell, G., 2010, SEBD 2010 - Proceedings of the 18th Italian Symposium on Advanced Database Systems. Esculapio Editore, p. 426-437 12 p. (SEBD 2010 - Proceedings of the 18th Italian Symposium on Advanced Database Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    7 Scopus citations
  • Reasoning with optional and preferred requirements

    Ernst, N. A., Mylopoulos, J., Borgida, A. & Jureta, I. J., 2010, Conceptual Modeling, ER 2010 - 29th International Conference on Conceptual Modeling, Proceedings. p. 118-131 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6412 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    15 Scopus citations
  • Techne: Towards a new generation of requirements modeling languages with goals, preferences, and inconsistency handling

    Jureta, I. J., Borgida, A., Ernst, N. A. & Mylopoulos, J., 2010, Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010. p. 115-124 10 p. 5636885. (Proceedings of the 2010 18th IEEE International Requirements Engineering Conference, RE2010).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    100 Scopus citations
  • 2009

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

    Borgida, A., Chaudhri, V., Giorgini, P. & Yu, E., 2009, Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos. Borgida, A. T., Chaudhri, V. K., Giorgini, P. & Yu, E. S. (eds.). p. VII-VIII (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5600 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  • Measuring and comparing effectiveness of data quality techniques

    Jiang, L., Barone, D., Borgida, A. & Mylopoulos, J., 2009, Advanced Information Systems Engineering - 21st International Conference, CAiSE 2009, Proceedings. p. 171-185 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5565 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
    8 Scopus citations
  • On importing knowledge from ontologies.

    Borgida, A., 2009, Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. Stuckenschmidt, H., Parent, C. & Spaccapietra, S. (eds.). p. 91-112 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5445 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Scopus citations
  • "Reducing" CLASSIC to practice: Knowledge representation theory Meets Reality

    Brachman, R. J., Borgida, A., McGuinness, D. L. & Patel-Schneider, P. F., 2009, Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos. Borgida, A. T., Chaudhri, V. K., Giorgini, P. & Yu, E. S. (eds.). p. 436-465 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5600 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations
  • 2008

    Explanation in DL-Lite

    Borgida, A., Calvanese, D. & Rodriguez-Muro, M., 2008, In: CEUR Workshop Proceedings. 353

    Research output: Contribution to journalConference articlepeer-review

    9 Scopus citations
  • Explanation in the DL-Lite family of description logics

    Borgida, A., Calvanese, D. & Rodriguez-Muro, M., 2008, On the Move to Meaningful Internet Systems: OTM 2008 - OTM 2008 Confederated International Conferences CoopIS, DOA, GADA, IS, and ODBASE 2008, Proceedings. PART 2 ed. Springer Verlag, p. 1440-1457 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5332 LNCS, no. PART 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    28 Scopus citations
  • Towards a compositional semantic account of data quality attributes

    Jiang, L., Borgida, A. & Mylopoulos, J., 2008, Conceptual Modeling - ER 2008 - 27th International Conference on Conceptual Modeling, Proceedings. Springer Verlag, p. 55-68 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5231 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Scopus citations
  • 2007

    A semantic approach to discovering schema mapping expressions

    An, Y., Borgida, A., Miller, R. J. & Mylopoulos, J., 2007, 23rd International Conference on Data Engineering, ICDE 2007. p. 206-215 10 p. 4221669. (Proceedings - International Conference on Data Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    51 Scopus citations
  • Data quality by design - A goal-oriented approach: Research in progress

    Jiang, L., Borgida, A., Topaloglou, T. & Mylopoulos, J., 2007.

    Research output: Contribution to conferencePaperpeer-review

    4 Scopus citations
  • Foreword

    Bouquet, P., Euzenat, J., Ghidini, C., McGuinness, D. L., De Paiva, V., Serafini, L., Shvaiko, P., Wache, H., Arlo-Costa, H., Borgida, A., Giunchiglia, F., Honavar, V., Kalfoglou, Y., Leake, D., Marchese, M., Obrst, L., Ramparany, F., Reynaud, C., Robertson, D., Rosati, R. & 10 others, Roth-Berghofer, T., Segev, A., Stuckenschmidt, H., Sure, Y., Tamilin, A., Tessaris, S., Thomason, R., Turner, R., Van Elst, L. & Wolter, F., 2007, In: CEUR Workshop Proceedings. 298

    Research output: Contribution to journalEditorialpeer-review