Skip to main content


Export 4 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Author is Ciampolini, Anna  [Clear All Filters]
Bragaglia, S., F. Chesani, A. Ciampolini, P. Mello, M. Montali, and D. Sottara, "An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning", Proceedings of the 5th International Conference on Hybrid Artificial Intelligence Systems (HAIS 2010), vol. 6076: Springer, pp. 438–445, 2010.
Alberti, M., F. Chesani, A. Ciampolini, P. Mello, M. Montali, S. Storari, and P. Torroni, "Protocol Specification and Verification by Using Computational Logic", Proceedings of the 6th AI*IA/TABOO Joint Workshop ``From Objects to Agents'' (WOA 2005): Simulation and Formal Analysis of Complex Systems: Pitagora Editrice Bologna, pp. 184-192, 2005.
Ciampolini, A., P. Mello, M. Montali, and S. Storari, "Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols", Proceedings of the 18th IEEE Symposium on Computer Based Medical Systems (CBMS'05): IEEE Computer Society, pp. 503-505, 2005.