Skip to main content

Biblio

Export 44 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Last Name is A  [Clear All Filters]
[A] B C D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
A
Awad, A., M. Weidlich, and M. Weske, "Specification, Verification and Explanation of Violation for Data Aware Compliance Rules", Proceedings of the 7th International Joint Conference on Service-Oriented Computing (ICSOC-ServiceWave 2009), vol. 5900, pp. 500-515, 2009.
Artikis, A., J. Pitt, and M. J. Sergot, "Animated specifications of computational societies", Proceedings of the First International Joint Conference on Autonomous Agents {&} Multiagent Systems (AAMAS 2002): ACM, pp. 1053-1061, 2002.
Artikis, A., M. Sergot, and J. Pitt, "Specifying Norm-Governed Computational Societies", ACM Transactions on Computational Logic, vol. 10, no. 1: ACM, pp. 1-42, 2009.
Apt, K. R., and M. Bezem, "Acyclic Programs", {Logic Programming}: MIT Press, pp. 617-633, 1990.
Apt, K. R., A New Definition of SLDNF-Resolution, : CWI (Centre for Mathematics and Computer Science), 1992.
Amnell, T., G. Behrmann, J. Bengtsson, P. R. D'argenio, A. David, A. Fehnker, T. Hune, B. Jeannet, K. G. Larsen, M. O. Möller, et al., "UPPAAL: Now, Next, and Future", Modeling and Verification of Parallel Processes: Springer, pp. 99-124, 2001.
Alur, R., and T. A. Henzinger, "Real-Time Logics: Complexity and Expressiveness", Information and Computation, vol. 104, pp. 35–77, 1993.
Alur, R., and T. A. Henzinger, "A Really Temporal Logic", Proceedings of the 30th Annual IEEE Symposium on Foundations of Computer Science: IEEE Computer Society, pp. 164-169, 1989.
Alur, R., and T. A. Henzinger, "Finitary Fairness", ACM Transactions on Programming Languages and Systems, vol. 20, no. 6, pp. 1171-1194, 1998.
Allen, J. F., "Maintaining Knowledge about Temporal Intervals", Communications of the ACM, vol. 26, no. 11, 1983.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Expressing and Verifying Business Contracts with Abductive Logic Programming", Electronic Commerce, Special Issue on Contract Architectures and Languages, vol. 12, no. 4, pp. 9-38, 2008.
Alberti, M., M. Gavanelli, E. Lamma, P. Mello, and M. Milano, "A CHR-based implementation of known arc-consistency", Theory and Practice of Logic Programming, vol. 5, no. 4-5, pp. 419-440, 2005.
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.
Alberti, M., F. Chesani, E. Lamma, M. Gavanelli, P. Mello, M. Montali, and P. Torroni, "Policy-Based Reasoning for Smart Web Service Interaction", Proceedings of the First International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, vol. 196, pp. 87-102, 2006.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Web Service contracting: Specification and Reasoning with SCIFF", Proceedings of the 4th European Semantic Web Conference (ESWC'07), vol. 4519: Springer, pp. 68-83, 2007.
Alberti, M., F. Chesani, E. Lamma, M. Gavanelli, P. Mello, M. Montali, S. Storari, and P. Torroni, "Computational Logic for the Run-time Verification of Web Service Choreographies: Exploiting the SOCS-SI Tool", Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), vol. 4184: Springer, pp. 58-72, 2006.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, S. Storari, and P. Torroni, "A Computational Logic-Based Approach to Verification of IT Systems", Proceedings of the 14th Annual Workshop of HP Software University Association (HP-SUA 2007): HP Software University Association, 2007.
Alberti, M., M. Gavanelli, and E. Lamma, "Runtime Addition of Integrity Constraints in Abductive Logic Programs", Proceedings of the 26th International Conference on Logic Programming (ICLP 2010), 2010.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Policy-Based Reasoning for Smart Web Service Interaction", Proceedings of the 3rd Workshop on Semantic Web Applications and Perspectives (SWAP'06), vol. 201, 2006.