Cited By
View all- Ramos-González VBorrego-Díaz JSancho-Caparrini FWilliams BChen YNeville J(2023)Prototyping logic-based AI services with LogicUSProceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence and Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence and Thirteenth Symposium on Educational Advances in Artificial Intelligence10.1609/aaai.v37i13.27083(16473-16475)Online publication date: 7-Feb-2023
- Maletto GRoversi L(2022)Certifying Algorithms and Relevant Properties of Reversible Primitive Permutations with LeanReversible Computation10.1007/978-3-031-09005-9_8(111-127)Online publication date: 5-Jul-2022
- Maestro-Prieto JSimon-Hurtado APolycarpou IRead JAndreou PArmoni M(2018)The pedagogical model of SIAL: an adaptive and open-ended intelligent tutoring system for first order logicProceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education10.1145/3197091.3197100(21-26)Online publication date: 2-Jul-2018
- Show More Cited By