ACM - Normas
Georgios Giannikis
Aspassia Daskalopulu
2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology
An approach to rule based monitoring and execution of service level agreements
Defeasible logic
A logic for default reasoning
Reasoning about priorities in default logic
The event calculus in classical logic - alternative axiomatisations
An Introduction