Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences and actions, together with inference procedures. We discuss patterns of agent types in this setting. Finally, we illustrate the language by an example of an agent reasoning about web-services.
Springer
Lecture Notes in Computer Science
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Computer Security

Dastani, M., Governatori, G., Rotolo, A., & van der Torre, L. (2005). Programming Cognitive Agents in Defeasible Logic. In Proceedings of International Conference on Logic for Programming, Artificial Intelligence and Reasoning 2005 (12) (pp. 621–635). Springer.