Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions.
Programming Rational Agents in a Modal Action Logic
Annals of Mathematics and Artificial Intelligence
Matteo Baldoni
Cristina Baroglio
Alberto Martelli
Laura Giordano
Tutoriais Inteligentes Baseados em Aprendizado por Reforço: Concepção, Implementação e Avaliação Empírica
Temporal deontic action logic for the verification of compliance to norms in ASP