Research output per year
Research output per year
- 34 results
Search results
-
2024
Artificial Intelligence Opportunities for Resilient Supply Chains
Sunmola, F. & Baryannis, G., 25 Apr 2024, (Accepted/In press) In: IFAC-PapersOnLine. 6 p.Research output: Contribution to journal › Conference article › peer-review
-
The Impact of PDDL+ Language Features on Planning Performance: An Empirical Analysis On a Real-World Case Study
El Kouaiti, A., Percassi, F., Saetti, A. & Vallati, M., 12 May 2024, In: Proceedings of the International Florida Artificial Intelligence Research Society Conference, FLAIRS. 37, 3 p., 135326.Research output: Contribution to journal › Conference article › peer-review
Open Access -
2023
Defeasible Reasoning with Large Language Models - Initial Experiments and Future Directions
Antoniou, G. & Batsakis, S., 15 Sep 2023, In: CEUR Workshop Proceedings. 3485, 8 p., 7687.Research output: Contribution to journal › Conference article › peer-review
Open Access -
On the Comparison of Markov Chains-based Models in Process Mining for Healthcare: A Case Study
Vallati, M., Orini, S., Lorusso, M., Savino, M., Gatta, R. & Filosto, M., 8 May 2023, In: Proceedings of the International Florida Artificial Intelligence Research Society Conference, FLAIRS. FLAIRS-36, 7 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Ontology-guided Knowledge Graph Construction to Support Scheduling in a Train Maintenance Depot
Papadakis, E., McCluskey, L., Louadah, H. & Tucker, G., 23 Sep 2023, In: CEUR Workshop Proceedings. 3493, 13 p.Research output: Contribution to journal › Conference article › peer-review
Open Access2 Citations (Scopus) -
Vision Paper: The Sustainability Awareness Framework (SusAF) as a De-Facto Standard?
Penzenstadler, B., Seyff, N., Betz, S., Duboc, L., Porras, J., Chitchyan, R., Brooks, I., Oyedeji, S., Villela, K. B. & Venters, C. C., 17 Apr 2023, In: CEUR Workshop Proceedings. 3378, 5 p., 4.Research output: Contribution to journal › Conference article › peer-review
Open Access -
2022
Knowledge Reformulation and Deception as a Defense Against Automated Cyber Adversaries
Alford, R., Chrpa, L., Vallati, M. & Applebaum, A., 4 May 2022, In: Proceedings of the International Florida Artificial Intelligence Research Society Conference, FLAIRS. 35, 6 p.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Citation (Scopus) -
Recent progress on the modelling of the minimum creep strain rate and the creep cavitation damage and fracture
Xu, Q. & Lu, J., 1 Sep 2022, In: Materials at High Temperatures. 39, 6, p. 516-528 13 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile5 Citations (Scopus) -
Taking stock of available technologies for compliance checking on first-order knowledge
Robaldo, L., Batsakis, S., Calegari, R., Calimeri, F., Fujita, M., Governatori, G., Morelli, M. C., Pisano, G., Satoh, K. & Tachmazidis, I., 4 Sep 2022, In: CEUR Workshop Proceedings. 3204, p. 1-16 16 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
2021
Investigation of modelling the minimum creep strain rate of P91 over a wide range of stress
Feng, S., Wu, Y., Lu, J. & Xu, Q., 1 Sep 2021, In: Materials at High Temperatures. 38, 5, p. 376-382 7 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile5 Citations (Scopus) -
Investigation of the design of creep damage constitutive equations for low stress level
Wu, Y., Feng, S., Lu, J. & Xu, Q., 1 Sep 2021, In: Materials at High Temperatures. 38, 5, p. 391-402 12 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile -
Modal Logic S5 Satisfiability in Answer Set Programming
Alviano, M., Batsakis, S. & Baryannis, G., 1 Sep 2021, In: Theory and Practice of Logic Programming. 21, 5, p. 527-542 16 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile1 Citation (Scopus) -
Organizing a Successful Artificial Intelligence Online Conference: Lessons from the 13th Symposium on Combinatorial Search
Harabor, D. & Vallati, M., 12 Apr 2021, In: AI Magazine. 42, 1, p. 76-82 7 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile1 Citation (Scopus) -
The method for the determination of creep cavitation model based on cavity histogram
Zheng, X., Yang, X., Lu, J. & Xu, Q., 1 Sep 2021, In: Materials at High Temperatures. 38, 5, p. 383-390 8 p.Research output: Contribution to journal › Conference article › peer-review
Open AccessFile4 Citations (Scopus) -
2020
An Efficient Algorithm for Admissible Argumentation Stages
Zanetti, T., Giacomin, M., Vallati, M. & Cerutti, F., 16 Dec 2020, In: CEUR Workshop Proceedings. 2777, p. 45-59 15 p., 42.Research output: Contribution to journal › Conference article › peer-review
Open Access -
In Defence of Design Patterns for AI Planning Knowledge Models
Vallati, M. & McCluskey, L., 19 Nov 2020, In: CEUR Workshop Proceedings. 2745, 7 p.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Citation (Scopus) -
2019
Face Recognition Based Rank Reduction SVD Approach
Ahmed, O. H., Lu, J., Xu, Q. & Al-Ani, M. S., 1 Aug 2019, In: ISeCure. 11, 3 Special Issue, p. 39-50 12 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
2017
A semantically enriched Hypercat-enabled internet of things data hub
Tachmazidis, I., Davies, J., Batsakis, S., Duke, A., Antoniou, G. & Clarke, S. S., 1 Jan 2017, In: CEUR Workshop Proceedings. 1963Research output: Contribution to journal › Conference article › peer-review
-
Large spatial datasets: Present Challenges, future opportunities
Samson, G., Lu, J. & Xu, Q., 24 Feb 2017, In: ICCIIDT 2016. p. 204-217 14 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Mind the chasm: A FishEye lens view of sustainable software engineering in UK higher education
Gibson, M. L., Venters, C. C., Duboc, L., Betz, S., Chitchyan, R., Palacin-Silva, M., Penzenstadler, B. & Seyff, N., 3 Oct 2017, In: CEUR Workshop Proceedings. 1944, p. 15-24 10 p.Research output: Contribution to journal › Conference article › peer-review
Open Access4 Citations (Scopus) -
The simplyfAI project: Using AI planning in urban traffic management or if at first the representation does not work, try, try and try and again
McCluskey, T. L. & Vallati, M., 16 Jan 2017, In: CEUR Workshop Proceedings. 1782, 8 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Towards the integration of model predictive control into an AI planning framework
Jimoh, F. & McCluskey, T. L., 16 Jan 2017, In: CEUR Workshop Proceedings. 1782, 8 p.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Citation (Scopus) -
2015
Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations
Chrpa, L., Magazzeni, D., McCabe, K., McCluskey, T. L. & Vallati, M., 22 Sep 2015, In: CEUR Workshop Proceedings. 1493, p. 65-79 15 p.Research output: Contribution to journal › Conference article › peer-review
Open Access3 Citations (Scopus) -
Developing High Performance Computing Resources for Teaching Cluster and Grid Computing Courses
Holmes, V. & Kureshi, I., 1 Jun 2015, In: Procedia Computer Science. 51, p. 1714-1723 10 p.Research output: Contribution to journal › Conference article › peer-review
Open Access16 Citations (Scopus) -
Evidencing Sustainability Design through Examples
Chitchyan, R., Betz, S., Duboc, L., Penzenstadler, B., Ponsard, C. & Venters, C. C., 24 Aug 2015, In: CEUR Workshop Proceedings. 1416, p. 45-54 10 p.Research output: Contribution to journal › Conference article › peer-review
Open Access12 Citations (Scopus) -
Exploiting macro-actions and predicting plan length in planning as satisfiability
Gerevini, A. E., Saetti, A. & Vallati, M., 1 Apr 2015, In: AI Communications. 28, 2, p. 323-344 22 p.Research output: Contribution to journal › Conference article › peer-review
5 Citations (Scopus) -
Learning static constraints for domain modeling from training plans
Jilani, R., Sep 2015, In: CEUR Workshop Proceedings. 1485, p. 31-36 6 p.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Safety vs. Sustainability Design: Analogies, Differences and Potential Synergies
Rodriguez-Navas, G., Duboc, L., Betz, S., Chitchyan, R., Penzenstadler, B. & Venters, C. C., 24 Aug 2015, In: CEUR Workshop Proceedings. 1416, p. 25-34 10 p.Research output: Contribution to journal › Conference article › peer-review
Open Access8 Citations (Scopus) -
Sustainability Debt: A Metaphor to Support Sustainability Design Decisions
Betz, S., Becker, C., Chitchyan, R., Duboc, L., Easterbrook, S. M., Penzenstadler, B., Seyff, N. & Venters, C. C., 24 Aug 2015, In: CEUR Workshop Proceedings. 1416, p. 55-63 9 p.Research output: Contribution to journal › Conference article › peer-review
Open Access9 Citations (Scopus) -
2014
Automated Planning for Multi-Objective Machine Tool Calibration: Optimising Makespan and Measurement Uncertainty
Parkinson, S., Gregory, P., Longstaff, A. P. & Crampton, A., 11 May 2014, In: Proceedings International Conference on Automated Planning and Scheduling, ICAPS. 24, p. 421-429 9 p.Research output: Contribution to journal › Conference article › peer-review
5 Citations (Scopus) -
Efficient Computation of the Well-Founded Semantics over Big Data
Tachmazidis, I., Antoniou, G. & Faber, W., 21 Jul 2014, In: Theory and Practice of Logic Programming. 14, 4-5, p. 445-459 15 p.Research output: Contribution to journal › Conference article › peer-review
12 Citations (Scopus) -
Rational elimination of DL-Lite TBox axioms
Zhuang, Z., Wang, Z., Wang, K. & Antoniou, G., 17 Jul 2014, In: CEUR Workshop Proceedings. 1193, p. 746-756 11 p., 40.Research output: Contribution to journal › Conference article › peer-review
Open Access -
Software Sustainability: The Modern Tower of Babel
Venters, C. C., Jay, C., Lau, L. M. S., Griffiths, M. K., Holmes, V., Ward, R. R., Austin, J., Dibsdale, C. E. & Xu, J., 26 Aug 2014, In: CEUR Workshop Proceedings. 1216, p. 7-12 6 p.Research output: Contribution to journal › Conference article › peer-review
Open Access50 Citations (Scopus) -
2012
Robust Mouldable Scheduling Application Benchmarking for Elastic Environments
Kureshi, I., Holmes, V. & Cooke, D., Dec 2012, In: CEUR Workshop Proceedings. 920, p. 51-57 7 p.Research output: Contribution to journal › Conference article › peer-review
Open Access1 Citation (Scopus)