Research output per year
Research output per year
Personal profile
My group
Research Group(s)
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Research Beacons, Institutes and Platforms
- Digital Futures
- Institute for Data Science and AI
Keywords
- Computational Logic
- Automated Reasoning
- Knowledge-Based AI
- Knowledge Representation
- Deduction
- Forgetting
- Decidability Problems
Fingerprint
Dive into the research topics where Renate Schmidt is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
Benzmüller, C. (Editor), Heule, M. J. H. (Editor) & Schmidt, R. A. (Editor), 2024, Springer Cham. 482 p. (Lecture Notes in Computer Science; vol. 14739)( Lecture Notes in Artificial Intelligence )Research output: Book/Report › Anthology › peer-review
Open Access -
Automated Reasoning -: 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
Benzmüller, C. (Editor), Heule, M. J. H. (Editor) & Schmidt, R. A. (Editor), 2024, Springer Cham. 424 p. (Lecture Notes in Computer Science; vol. 14740)(Lecture Notes in Artificial Intelligence)Research output: Book/Report › Anthology › peer-review
Open Access -
International Patient Summary Terminology
Del-Pinto, W., Schmidt, R. A., Gao, Y., Alghamdi, G., Osornio, A. L. & Roy, S., 25 Jan 2024, MEDINFO 2023: The Future Is Accessible. IOS Press, p. 63-67 5 p. (MEDINFO 2023 — The Future Is Accessible).Research output: Chapter in Book/Conference proceeding › Chapter › peer-review
-
Focus Set Semantic Differences
Alghamdi, G. A. S., Schmidt, R. A. & Gao, Y., May 2023, p. 250-258. 9 p.Research output: Contribution to conference › Paper › peer-review
Open Access -
Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments
Zheng, S. (Corresponding) & Schmidt, R. A., 23 Nov 2023, In: Journal of Automated Reasoning. 67, 68 p., 39.Research output: Contribution to journal › Article › peer-review
Open AccessFile32 Downloads (Pure)
Projects
-
RAI: Centre for Robotics and Artificial Intelligence
Cangelosi, A. (PI), Lennox, B. (PI), Weightman, A. (CoI), Dennis, L. (CoI), Dixon, C. (CoI), Fisher, M. (CoI), Herrmann, G. (CoI), Dickson, A. (CoI), Lanzon, A. (CoI), Stancu, A. (CoI), Miller, A. (CoI), Freitas, A. (CoI), Nini, A. (CoI), Voronkov, A. (CoI), Brass, A. (CoI), Vijayaraghavan, A. (CoI), Parslew, B. (CoI), crowther, W. (CoI), Grieve, B. (CoI), Adorno, B. (CoI), Jay, C. (CoI), Wang, C. C. L. (CoI), Todd, C. (CoI), Soutis, C. (CoI), Arsene, C. (CoI), Dresner, D. (CoI), Barrett, E. (CoI), Gowen, E. (CoI), Arvin, F. (CoI), Podd, F. (CoI), Brown, G. (CoI), Reger, G. (CoI), Cooper, G. (CoI), Mairs, H. (CoI), Yin, H. (CoI), Kinloch, I. (CoI), Eleftheriou, I. (CoI), Li, J. (CoI), Carrasco Gomez, J. (CoI), Ainsworth, J. (CoI), Sinha, J. (CoI), Ozanyan, K. (CoI), Smith, K. (CoI), Twomey, K. (CoI), Margetts, L. (CoI), Ren, L. (CoI), Zhang, L. (CoI), Cordeiro, L. (CoI), Rattray, M. (PI), Bissett, M. (CoI), Elliot, M. (CoI), Alvarez, M. (CoI), Luján, M. (CoI), Nabawy BSc, MSc, PhD, MRAeS, SMAIAA, FHEA, M. (CoI), Peek, N. (CoI), Marjanovic, O. (CoI), Dorn, O. (CoI), Dudek, P. (CoI), Green, P. (CoI), Connolly, P. (CoI), Da Silva Bartolo, P. J. (CoI), Gardner, P. (CoI), Martin, P. (CoI), Potluri, P. (CoI), Curtis, R. (CoI), Schmidt, R. (CoI), Banach, R. (CoI), Batista-Navarro, R. T. (CoI), Kaski, S. (CoI), Midson, S. (CoI), Watson, S. (CoI), Holm, S. (CoI), Furber, S. (CoI), Schlegel, V. (CoI), Mirihanage, W. (CoI), Mansell, W. (CoI), Pan, W. (CoI), Sampson, W. (CoI), Sellers, W. (CoI), Yang, W. (CoI), Cai, P. (CoI), Sun, Y. (CoI), Alharthi, A. (Researcher), Macario Rojas, A. (Researcher), Serhan, B. (Researcher), Yu, C. (Researcher), Abara, D. (Researcher), Lopez Pulgarin, E. (Researcher), Faruq, F. (Researcher), Tavella, F. (Researcher), Semeraro, F. (Researcher), Liu, G. (Researcher), Fang, G. (Researcher), Niu, H. (Researcher), Taylor, H. (PI), Zhu, H. (PGR student), Collenette, J. (Researcher), Amano, K. (Researcher), Lo, K. C. J. (PGR student), Raggioli, L. (Researcher), Romeo, M. (Researcher), Ruocco, M. (PGR student), Ghaffari Saadat, M. (Researcher), Walmsley, M. (Researcher), Mubarik, A. (Researcher), Vinanzi, S. (Researcher), Su, Y.-H. (PGR student), McAleese, H. (PGR student), Stringer, P. (PGR student), Stoican, R. (PGR student), Ye, R. (PGR student), Kurawa, S. S. (PGR student), Zhang, T. (PGR student), Krywonos, W. (PGR student), Xu, Y. (PGR student), Tian, Y. (PGR student), Henderson, A. (Technical team), Morley, D. (Support team), Tallentire, J. (Support team), Smith, J. (Support team), Hawthornthwaite, S. (Support team), Carlson, J. (Support team) & Baniqued, P. D. (Researcher)
Project: Research
Activities
-
Artificial Intelligence Journal (Journal)
Schmidt, R. (Associate editor)
1 Jan 2021 → …Activity: Publication peer-review and editorial work › Editorial work › Research
-
Dagstuhl Seminar "SAT and Interactions"
Schmidt, R. (Participant)
2 Feb 2020 → 7 Feb 2020Activity: Participating in or organising event(s) › Participating in a conference, workshop, exhibition, performance, inquiry, course etc › Research
-
Member of EPSRC ICT Prioritisation Panel
Schmidt, R. (Academic founder)
Jul 2019Activity: Consultancy, spin-outs, CPD & licensing › Consultancy & Services › Research
-
Journal of Artificial Intelligence Research (Journal)
Schmidt, R. (Associate editor)
21 Apr 2019 → …Activity: Publication peer-review and editorial work › Editorial work › Research
-
CADE SKolem Award Committee (External organisation)
Schmidt, R. (Invited member)
2019Activity: Membership › Membership of committee › Research
Datasets
-
Data and tools for: Tracking Logical Difference in Large-Scale Ontologies: A Forgetting-Based Approach
Schmidt, R. (Contributor), Zhao, Y. (Contributor), Alghamdi, G. (Contributor), Feng, H. (Creator), Stoilos, G. (Creator), Juric, D. (Creator) & Khodadadi, M. (Contributor), Mendeley Data, 6 Feb 2019
DOI: 10.17632/g6x628wpy5.1, https://data.mendeley.com/datasets/g6x628wpy5
Dataset
-
SPASS-Yarralumla
Schmidt, R. (Contributor) & Baumgartner, P. (Creator), Mendeley Data, 17 Jan 2019
DOI: 10.17632/r5t7gzv495.1, https://data.mendeley.com/datasets/r5t7gzv495
Dataset