Cited By
View all- Castro-Manzano J(2012)A defeasible logic of intentionProceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I10.1007/978-3-642-37807-2_28(321-333)Online publication date: 27-Oct-2012
- Alechina NDastani MLogan BMeyer J(2011)Reasoning about agent deliberationAutonomous Agents and Multi-Agent Systems10.1007/s10458-010-9129-222:2(356-381)Online publication date: 1-Mar-2011
- Alechina NDastani MKhan FLogan BMeyer J(2010)Using Theorem Proving to Verify Properties of Agent ProgramsSpecification and Verification of Multi-agent Systems10.1007/978-1-4419-6984-2_1(1-33)Online publication date: 7-Jul-2010
- Show More Cited By