Artificial Intelligence and its Applications Institute

Research output

Research output per year 1970 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2024

• 865 Conference contribution
• 492 Article
• 79 Paper
• 64 Chapter
• 193 More
  • 28 Chapter (peer-reviewed)
  • 23 Abstract
  • 20 Book
  • 17 Working paper
  • 15 Editorial
  • 13 Preprint
  • 11 Other contribution
  • 9 Poster
  • 8 Other report
  • 6 Comment/debate
  • 6 Review article
  • 5 Other
  • 5 Doctoral Thesis
  • 5 Book/Film/Article review
  • 4 Commissioned report
  • 4 Special issue
  • 3 Meeting abstract
  • 2 Letter
  • 2 Literature review
  • 1 Scholarly edition
  • 1 Foreword/postscript
  • 1 Featured article
  • 1 Data set/Database
  • 1 Performance
  • 1 Web publication/site
  • 1 Master's Thesis

Research output per year

Research output per year

Search results

• 2024

  Measuring changes in upper body movement due to fasting using a camera

  Chen, L., Raza, M. A., Saied, I., Arslan, T. & Fisher, R. B., 13 Nov 2024, In: Sensors. 24, 22, p. 1-16 16 p., 7242.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Behavioral Change 100%
  • Measurement System 100%
  • Computer Vision 100%
  • Monitoring Data 100%

• Understanding hospital rehabilitation using electronic health records in patients with and without COVID-19

  Georgiev, K., Doudesis, D., McPeake, J., Mills, N. L., Fleuriot, J., Shenkin, S. D. & Anand, A., 17 Oct 2024, In: BMC Health Services Research. 24, 1245 .

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Electronic Health Record 100%
  • COVID-19 100%
  • Dietetics 14%
  • Hospital Care 14%
  • Retrospective Cohort Study 14%

• Verifying properties of activities of daily living

  Contreras, R., Smola, F., Zheng, J., Hillston, J. & Fleuriot, J. D., 7 Oct 2024, (Accepted/In press) Proceedings of the 12th International Symposium DataMod 2024: From Data to Models and Back. Springer, p. 1-18 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Individual Home 100%
  • Model Checking 100%
  • Observed Behavior 100%
  • Linear Temporal Logic 100%
  • Daily Activity 100%

• A graphical representation of verification proof plans

  Lin, Y., Bundy, A. & Grov, G., 4 Sept 2024, The Practice of Formal Methods. Cavalcanti, A. & Baxter, J. (eds.). Springer, p. 292-313 22 p. (Lecture Notes in Computer Science; vol. 14780).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • Graphical Representation 100%
  • User Interfaces 100%

• Formalise regulations for autonomous vehicles with right-open temporal deontic defeasible logic

  Chan, P. Y., Li, X., Lu, Y., Lin, Y. & Bundy, A., 30 Aug 2024, (Accepted/In press) 44th SGAI International Conference on Artificial Intelligence. Springer

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Autonomous Vehicles 100%
  • Laws and Regulation 16%
  • Temporal Feature 16%

• Resting-state functional connectivity of the amygdala in autism: A preregistered large-scale study

  Kliemann, D., Galdi, P., Van De Water, A. L., Egger, B., Jarecka, D., Adolphs, R. & Ghosh, S. S., 29 Aug 2024, (E-pub ahead of print) In: The American Journal of Psychiatry.

  Research output: Contribution to journal › Article › peer-review

  • Amygdala 100%
  • Resting-State 100%
  • Functional Connectivity 100%
  • Preregistered 100%
  • Resting-State Functional Connectivity 100%

• Education challenges among early career researchers in Medical Informatics

  Rohani, N., Gallagher, M., Gal, Y. K. & Manataki, A., 22 Aug 2024, Digital Health and Informatics Innovations for Sustainable Health Care Systems: Proceedings of MIE 2024. Mantas, J., Hasman, A., Demiris, G., Saranto, K., Marschollek, M., Arvanitis, T. N., Ognjanović, I., Benis, A., Gallos, P., Zoulias, E. & Andrikopoulou, E. (eds.). IOS Press, p. 1510 - 1514 (Studies in health technology and informatics; vol. 316).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Occupational Career 100%
  • Professional Occupations 100%
  • Semistructured Interview 100%
  • Higher Education Institution 33%
  • Semi-Structured Interview 33%

• Self-reported learning strategies and preferences in health informatics

  Rohani, N., Gallagher, M., Gal, K., Banas, K. & Manataki, A., 22 Aug 2024, Digital Health and Informatics Innovations for Sustainable Health Care Systems: Proceedings of MIE 2024. Mantas, J., Hasman, A., Demiris, G., Saranto, K., Marschollek, M., Arvanitis, T. N., Ognjanović, I., Benis, A., Gallos, P., Zoulias, E. & Andrikopoulou, E. (eds.). IOS Press, Vol. 316. p. 1540-1544 5 p. (Studies in Health Technology and Informatics; vol. 316).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Learning Resource 100%
  • Learning Strategy 100%
  • Machine Learning 50%
  • Educational Programmes 50%
  • Visual Content 50%

• An algebraic framework for hierarchical probabilistic abstraction

  Upreti, N. & Belle, V., 20 Aug 2024, (Accepted/In press) Proceedings of the 4th International Joint Conference on Learning and Reasoning. Springer, p. 1-17 17 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Artificial Intelligence 100%
  • Theoretic Measure 100%
  • Interpretability 100%

• Language-agnostic semantics for implicit learning as reasoning: Extended abstract

  Belle, V., 20 Aug 2024, (Accepted/In press) Proceedings of the 4th International Joint Conference on Learning and Reasoning. Springer, p. 1-10 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Inductive Logic Programming 100%
  • Programming Paradigm 50%
  • Hypothesis Space 50%
  • Formal Language 50%
  • Background Knowledge 50%

• MisCC: Misinformation detection on counterfactual claims

  Li, X., Belle, V. & Ross, B., 20 Aug 2024, (Accepted/In press) Proceedings of the 4th International Joint Conference on Learning and Reasoning. Springer, p. 1-15 15 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • False Claim 100%
  • Verifiability 100%
  • Misinformation 100%
  • Large Language Model 60%

• Reasoning about neural network perception in the situation calculus

  Belle, V. & Liu, D., 20 Aug 2024, (Accepted/In press) Proceedings of the 4th International Joint Conference on Learning and Reasoning. Springer, p. 1-9 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Neural Network 100%
  • Situation Calculus 100%
  • Second-Order Logic 20%
  • multi agent 20%
  • Robotics Application 20%

• Approaching the global Nash equilibrium of non-convex multi-player games

  Chen, G., Xu, G., He, F., Hong, Y., Rutkowski, L. & Tao, D., 19 Aug 2024, In: IEEE Transactions on Pattern Analysis and Machine Intelligence. 46, 12, p. 10797-10813 17 p., 10638825.

  Research output: Contribution to journal › Article › peer-review

  • Variational Inequality Problem 100%
  • Exponential Convergence 50%
  • Potential Games 50%

• Multimorbidity and adverse outcomes following emergency department attendance: population based cohort study

  Blayney, M. C., Reed, M. J., Masterson, J., Anand, A., Bouamrane, M-M., Fleuriot, J. D., Luz, S., Lyall, M., Mercer, S. W., Mills, N. L., Shenkin, S. D., Walsh, T. S., Wild, S. H., Wu, H., McLachlan, S., Guthrie, B. & Lone, N. I., 17 Aug 2024, In: BMJ Medicine. 3, 1, 14 p., e000731.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Elixhauser Comorbidity Index 100%

• Phishing Codebook: A structured framework for the characterization of phishing emails

  Saka, T., Jain, R., Vaniea, K. & Kokciyan, N., 16 Aug 2024, ArXiv, p. 1-18, 18 p.

  Research output: Working paper › Preprint

  File

  • e-Mail 100%
  • Phishing Attack 14%
  • Suspicious Email 14%
  • Human Decision Making 14%
  • Cybercrime 14%

• OPPH: A vision-based operator for measuring body movements for personal healthcare

  Chen, L., Ramamoorthy, S. & Fisher, R. B., 14 Aug 2024, (Accepted/In press) Computer Vision – ECCV 2024. 1 ed. Springer, p. 1-15 15 p. (Lecture Notes in Computer Science (LNCS)).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Body Motion 100%
  • Human Motion 33%
  • Medical Condition 33%
  • Multistage 33%
  • Lighting Condition 33%

• Pressure sensor array and camera-based activity level monitoring at home: A feasibility study

  Appukuttan Nair Syamala Amma, A. K., Chen, L., Fisher, R. B. & Mitra, S., 12 Aug 2024, (Accepted/In press) Proceedings of the 17th International Conference on Sensing Technology. Institute of Electrical and Electronics Engineers, p. 1-6 6 p. (Proceedings of the International Conference on Sensing Technology).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Pressure Sensor 100%
  • Sensor Array 100%
  • Activity Level 100%
  • Feasibility Study 100%
  • Monitoring Activity 100%

• Computational argumentation-based chatbots: A survey

  Castagna, F., Kökciyan, N., Sassoon, I., Parsons, S. & Sklar, E., 2 Aug 2024, In: Journal of Artificial Intelligence Research. 80, p. 1271-1310 40 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Readable Format 100%

• MISO: Monitoring inactivity of single older adults at home using RGB-D technology

  Chen, L. & Fisher, R. B., 19 Jul 2024, (E-pub ahead of print) In: ACM Transactions on Computing for Healthcare.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Detection 100%
  • Challenging Condition 100%
  • Time Monitoring 100%
  • Statistics 100%

• Neurosymbolic AI for reasoning over knowledge graphs: A survey

  DeLong, L. N., Mir, R. F. & Fleuriot, J. D., 18 Jul 2024, (E-pub ahead of print) In: IEEE Transactions on Neural Networks and Learning Systems. p. 1-21 21 p.

  Research output: Contribution to journal › Review article › peer-review

  Open Access

  File

  • Artificial Intelligence 100%
  • Learning Approach 50%
  • Deep Learning 50%
  • Expert Knowledge 50%
  • Interpretability 50%

• Answerable sociotechnical systems

  Kekulluoglu, D., Rovatsos, M. & Kokciyan, N., 5 Jul 2024, (Accepted/In press) Proceedings of the 27th European Conference on Artificial Intelligence. IOS Press

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Automated Decision 100%
  • Artificial Intelligence 66%
  • Agent Framework 33%
  • Decision-Making 33%
  • Reasoning Process 33%

• Beyond the echo chamber: Modelling open-mindedness in citizens’ assemblies

  Barrett, J., Gal, K., Michael, L. & Vilenchik, D., 3 Jul 2024, In: Autonomous Agents and Multi-Agent Systems. 38, 2, p. 1-41 41 p., 30.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Latent Variable 100%
  • Group Discussion 100%
  • Selection Process 100%

• Engineering conversational search systems: A review of applications, architectures, and functional components

  Schneider, P., Poelman, W., Rovatsos, M. & Matthes, F., 24 Jun 2024, (Accepted/In press).

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

  • Architecture Component 100%
  • Information Retrieval 100%
  • Functional Component 100%
  • Application Component 100%
  • Application Architecture 100%

• Unobtrusive monitoring of physical weakness: A simulated approach

  Long-fei, C., Raza, M. A., Innes, C., Ramamoorthy, S. & Fisher, R. B., 14 Jun 2024, ArXiv.

  Research output: Working paper › Preprint

  • Chronic Condition 100%
  • Behavioral Feature 100%
  • Healthy Subject 100%

• Can large language models put 2 and 2 together? Probing for entailed arithmetical relationships

  Panas, D., Seth, S. & Belle, V., 7 Jun 2024, (Accepted/In press) Proceedings of the 18th International Conference for Neurosymbolic Learning and Reasoning. (Proceedings of the International Conference for Neurosymbolic Learning and Reasoning).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Cardinality 100%
  • Alanine Aminotransferase 100%

• Ethical reward machines

  Ciupa, J. & Belle, V., 7 Jun 2024, (Accepted/In press) Proceedings of the 18th International Workshop on Neural-Symbolic Learning and Reasoning. (Proceedings of the International Conference for Neurosymbolic Learning and Reasoning).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Reinforcement Learning 100%
  • Artificial Intelligence 100%
  • Behavior (Neuroscience) 50%
  • Symbolic Language 50%

• ToM-LM: Delegating theory of mind reasoning to external symbolic executors in large language models

  Tang, W. & Belle, V., 7 Jun 2024, (Accepted/In press) Proceedings of the 18th International Conference for Neurosymbolic Learning and Reasoning. (Proceedings of the International Conference for Neurosymbolic Learning and Reasoning).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Large Language Model 100%
  • model checker 50%

• The FRESHAIR4Life study: Global implementation research on non-communicable disease prevention targeting adolescents’ exposure to tobacco and air pollution in disadvantaged populations

  Hoffman, C., Versluis, A., Chirila, S., Kirenga, B., Khan, A., Saeed, S., Sooronbaev, T., Tsiligianni, I., Arvind, D. K., Bauld, L., van den Brand, F. A., Chavannes, N., Pinnock, H., Powell, P., van der Schans, J., Siddiqi, K., Williams, S. & van der Kleij, R., 4 Jun 2024, In: npj Primary Care Respiratory Medicine. 34, 12 p., 14.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Tobacco 100%
  • Non Communicable Disease 100%
  • Prophylaxis 100%
  • Adolescent Exposure 100%
  • Adolescents 100%

• Providing Insights into Health Data Science Education through Artificial Intelligence

  Rohani, N., Gal, Y. K., Gallagher, M. & Manataki, A., 23 May 2024, (E-pub ahead of print) In: BMC Medical Education. 24, 564

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• Communication-efficient regret-optimal distributed online convex optimization

  Liu, J., Zhang, L., He, F., Zhang, C., Jiang, S. & Li, X-Y., 21 May 2024, In: IEEE Transactions on Parallel and Distributed Systems. p. 1-13 13 p.

  Research output: Contribution to journal › Article › peer-review

  • Convex Optimization 100%
  • Communication Complexity 66%
  • Robot 66%
  • Data Stream 33%
  • Distributed Systems 33%

• Highway graph to accelerate reinforcement learning

  Yin, Z., Zhang, Z., Gong, D., Albrecht, S. V. & Shi, J. Q., 20 May 2024, ArXiv.

  Research output: Working paper › Preprint

  File

  • State Transition 100%
  • Intermediate State 49%
  • Named Structure 49%
  • Intensive Computation 49%
  • Action Space 49%

• Linear resources in Isabelle/HOL

  Smola, F. & Fleuriot, J. D., 18 May 2024, In: Journal of Automated Reasoning. 68, p. 1-49 49 p., 9.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Formal Framework 100%
  • Executable Code 100%
  • Output Resource 100%

• First-order progression beyond local-effect and normal actions

  Liu, D. & Claßen, J., 14 May 2024, (Accepted/In press) Proceedings of the 33rd International Joint Conference on Artificial Intelligence. IJCAI Organization

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Knowledge Base 100%
  • Progression 100%
  • Fundamental Problem 25%
  • Dependency Theory 25%
  • Second-Order Logic 25%

• Predicting short- to medium-term care home admission risk in older adults: a systematic review of externally validated models

  Ho, L., Pugh, C., Seth, S., Arakelyan, S., Lone, N. I., J Lyall, M., Anand, A., Fleuriot, J. D., Galdi, P. & Guthrie, B., 10 May 2024, In: Age and Ageing. 23, 5, 12 p., afae088.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Older Adult 100%
  • Systematic Review 100%
  • Home Care 100%
  • Discrimination 100%
  • Reporting 100%

• Progression with probabilities in the Situation Calculus: Representation and succinctness

  Liu, D. & Belle, V., 6 May 2024, Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems. ACM, p. 1210-1218 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Situation Calculus 100%
  • Knowledge Base 100%
  • Level Representation 20%
  • Second-Order Logic 20%

• Semantic objective functions: A distribution-aware method for adding logical constraints in deep learning

  Mendez-Lucero, M. A., Gallardo, E. B. & Belle, V., 3 May 2024, ArXiv.

  Research output: Working paper › Preprint

  File

  • Categorical Variable 100%
  • Neural Network Training 100%
  • Boolean Variable 100%
  • Continuous Variable 100%
  • Leibler Divergence 100%

• Learning high-frequency functions made easy with sinusoidal positional encoding

  Sun, C., Yuan, Z., Xu, K., Mai, L., N, S., Chen, S. & Marina, M. K., 1 May 2024, (Accepted/In press) Proceedings of the 41st International Conference on Machine Learning.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Tasks 100%
  • Frequency Feature 66%
  • Fourier Feature 50%
  • Learning Task 25%
  • Dimensional Input 25%

• Learning explanatory logical rules in non-linear domains: a neuro-symbolic approach

  Bueff, A. & Belle, V., 8 Apr 2024, (E-pub ahead of print) In: Machine Learning. 34 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Rule Extraction 100%

• Experiential AI: Between arts and explainable AI

  Hemment, D., Murray-Rust, D., Belle, V., Aylett, R., Vidmar, M. & Broz, F., 2 Apr 2024, (E-pub ahead of print) In: Leonardo. 57, 3, p. 298-306 9 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Explainable Artificial Intelligence 100%
  • Artificial Intelligence 100%
  • Contribution 28%
  • Approach 14%
  • Work 14%

• Neuro-Symbolic AI + Agent Systems: A First Reflection on Trends, Opportunities and Challenges

  Belle, V., Fisher, M., Russo, A., Komendantskaya, E. & Nottle, A., 30 Mar 2024, Autonomous Agents and Multiagent Systems. Best and Visionary Papers. Amigoni, F. & Sinha, A. (eds.). Springer, Vol. 14456. p. 180-200 Chapter 10. (Autonomous Agents and Multiagent Systems. Best and Visionary Papers; vol. 14456).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Reasoning 100%
  • Artificial Intelligence 100%
  • Feature Extraction 50%
  • Multi Agent Systems 50%
  • Machine Learning 50%

• Taming the Sigmoid Bottleneck: Provably Argmaxable Sparse Multi-Label Classification

  Grivas, A., Vergari, A. & Lopez, A., 24 Mar 2024, Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence: AAAI Technical Track on Machine Learning II. 11 ed. AAAI Press, Vol. 38. p. 12208-12216 9 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 11).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Classification Task 100%
  • Multiclass Classification 33%
  • Multi Class Classification 33%

• Multimorbidity analysis with low condition counts: A robust Bayesian approach for small but important subgroups

  Romero Moreno, G., Restocchi, V., Fleuriot, J. D., Anand, A., Mercer, S. W. & Guthrie, B., 21 Mar 2024, In: EBioMedicine. 102, April 2024, p. 1-12 12 p., 105081.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Cross Sectional Study 100%

• Parallel Byzantine Consensus Based on Hierarchical Architecture and Trusted Hardware

  Chen, X., Ma, T. & Hillston, J., 18 Mar 2024, (E-pub ahead of print) In: IEEE Transactions on Dependable and Secure Computing. p. 1-15 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Fault Tolerant 100%
  • Byzantine Fault 100%
  • Hardware 100%
  • Hierarchical Architecture 100%
  • Cloud Platform 20%

• AI Driven Online Advertising: Market Design, Generative AI, and Ethics

  He, F., Du, M., Filos-Ratsikas, A., Cheng, L., Song, Q., Lin, M. & Vines, J., 16 Mar 2024, (Accepted/In press) WWW ’24 Companion. ACM, 3 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Generative Artificial Intelligence 100%
  • Artificial Intelligence 100%
  • Researcher 100%
  • Privacy 100%
  • User 33%

• Feature similarity gradients detect alterations in the neonatal cortex associated with preterm birth

  Galdi, P., Blesa Cabez, M., Farrugia, C., Vaher, K., Williams, L. ZJ., Sullivan, G., Stoye, D. Q., Quigley, A. J., Makropoulos, A., Thrippleton, M. J., Bastin, M. E., Richardson, H., Whalley, H., Edwards, A. D., Bajada, C. J., Robinson, E. C. & Boardman, J. P., 15 Mar 2024, In: Human Brain Mapping.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Magnetic Resonance Imaging 100%
  • Equivalent Term 100%
  • Keywords 100%
  • Programs 100%
  • Frontal Lobe 50%

• Assessing the Quality of a Knowledge Graph via Link Prediction Tasks

  Zhu, R., Bundy, A., Wang, F., Li, X., Nuamah, K., Xu, L., Mauceri, S. & Pan, J. Z., 5 Mar 2024, NLPIR '23: Proceedings of the 2023 7th International Conference on Natural Language Processing and Information Retrieval. Association for Computing Machinery, p. 124-129 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Link Prediction 100%
  • Evaluation 50%
  • Research Worker 50%
  • Application 50%
  • Gold Standard 50%

• Principled Diverse Counterfactuals in Multilinear Models

  Papantonis, G. & Belle, V., 1 Mar 2024, In: Machine Learning. 113, 3, p. 1421-1443 23 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

  • Models 100%
  • Application 25%
  • Machine Learning 25%
  • Classes 25%
  • Random Decision Forest 25%

• An overview of using large language models for the symbol grounding task in ABC repair system

  Chan, P. Y., Li, X. & Bundy, A., 22 Feb 2024, Cognitive AI 2023. Villagra, P. L. & Li, X. (eds.). CEUR-WS, Vol. 3644. p. 1-10 10 p. (CEUR Workshop Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Large Language Model 100%
  • Language 100%
  • User 33%
  • Common Knowledge 33%

• Automating Theory Repair in First Order Logic

  Wong, T., Li, X. & Bundy, A., 22 Feb 2024, Cognitive AI 2023. CEUR-WS, Vol. 3644. p. 1-8 8 p. (CEUR Workshop Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Datalog 100%
  • Fault Detection 50%
  • Belief Revision 50%
  • Expressive Power 50%
  • Application 50%

• Logic and Theory Repair in Legal Modification

  Lu, Y., Lin, Y., Li, X., Bundy, A., Schafer, B. & Ireland, A., 22 Feb 2024, Cognitive AI 2023. CEUR-WS, Vol. 3644. p. 1-5 5 p. (CEUR Workshop Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File

  • Modification 100%
  • Theory 100%
  • Change 100%
  • Maintenance 100%
  • Legal Reasoning 100%