Skip to main content

Biblio

Export 48 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Last Name is C  [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]
C
Colombetti, M., N. Fornara, and M. Verdicchio, "A Social Approach to Communication in Multiagent Systems", Proceedings of the First International Workshop on {D}eclarative {A}gent {L}anguages and {T}echnologies (DALT2004), vol. 2990: Springer, pp. 191-220, 2004.
Colin, S., and L. Mariani, "Run-Time Verification", Model-Based Testing of Reactive Systems, Advanced Lectures, vol. 3472: Springer, pp. 525-555, 2005.
Clarke, E. M., O. Grumberg, S. Jha, Y. Lu, and H. Veith, "Progress on the State Explosion Problem in Model Checking", Informatics - 10 Years Back, 10 Years Ahead, vol. 2000: Springer, pp. 176-194, 2001.
Clark, K. L., Predicate Logic as a Computational Formalism, : Imperial College, Department of Computing, 1979.
Cimatti, A., E. M. Clarke, F. Giunchiglia, and M. Roveri, "NuSMV: a New Symbolic Model Checker}", {Software Tools for Technology Transfer}, vol. 2, no. 4, pp. 410-425, 2000.
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.
Christensen, S., and N. D. Hansen, "Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs", Proceedings of the 14th International Conference on Application and Theory of Petri Nets, vol. 691: Springer, pp. 186-205, 1993.
Chopra, A. K., and M. P. Singh, "Constitutive Interoperability", Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), vol. 2: IFAAMAS, pp. 797-804, 2008.
Chopra, A. K., and M. P. Singh, "Commitments for Flexible Business Processes", Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004): IEEE Computer Society, pp. 1362-1363, 2004.
Chopra, A. K., and C. P. Singh, "Producing Compliant Interactions: Conformance, Coverage, and Interoperability", 4th International Workshop on Declarative Agent Languages and Technologies IV (DALT 2006), Selected, Revised and Invited Papers, vol. 4327: Springer, pp. 1-15, 2006.
Chittaro, L., and A. Montanari, "Efficient Temporal Reasoning in the Cached Event Calculus", Computational Intelligence, vol. 12, pp. 359-382, 1996.  Download: fulltext.pdf (1.48 MB)
Chittaro, L., and A. Montanari, "Efficient Handling of Context Dependency in the Cached Event Calculus", {Proceedings of the TIME-94 International Workshop on Temporal Reasoning}, pp. 103-112, 1994.
Chittaro, L., and A. Montanari, "Temporal Representation and Reasoning in Artificial Intelligence: Issues and Approaches", {Annals of Mathematics and Artificial Intelligence}, vol. 28, no. 1-4: Kluwer Academic Publishers, pp. 47-106, 2000.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "A REC-Based Commitment Tracking Tool", Demo at the 10th AI*IA/TABOO Italian Joint Workshop ``From Objects to Agents'' (WOA 2009), 2009.
Chesani, F., P. Mello, M. Montali, and S. Storari, "Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic", Proceedings of the 11th International Conference on Artificial Intelligence in Medicine (AIME'07), vol. 4594: Springer, pp. 479-488, 2007.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Role Monitoring in Open Agent Societies", Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, vol. LNCS 6070, Gdynia, Poland, Springer, 06/2010.
Chesani, F., A. Galassi, P. Mello, and G. Trisolini, "A Game-Based Competition as Instrument for Teaching Artificial Intelligence", AI*IA 2017 Advances in Artificial Intelligence: XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings, vol. 10640, Bari, Italy, Springer International Publishing, pp. 72–84, 11/2017. Abstract
Chesani, F., P. Mello, M. Montali, and P. Torroni, "A Logic-Based, Reactive Calculus of Events", Fundamenta Informaticae, vol. 105, issue 1-2, pp. 161, 02/2010. Abstract
Chesani, F., P. Mello, M. Montali, F. Riguzzi, M. Sebastianis, and S. Storari, "Checking Compliance of Execution Traces to Business Rules", {Proceedings of BPM 2008 Workshops. Revised Papers}, vol. 17: Springer, pp. 134-145, 2009.
Chesani, F., P. Mello, M. Montali, S. Storari, and P. Torroni, "On the Integration of Declarative Choreographies and Commitment-based Agent Societies into the SCIFF Logic Programming Framework", Multiagent and Grid Systems, Special Issue on Agents, Web Services and Ontologies: Integrated Methodologies, vol. 6, no. 2, 2010.