José Manuel Cunha Leal Molarinho Carmo

Departamento de Matemática e Engenharias
Universidade da Madeira

Campus Universitário da Penteada
9000-390 Funchal
Portugal

Telefone: +351 291705154
Fax: +351 291705199
Email: jcc(at)uma.pt
www: http://cee.uma.pt/people/faculty/jose.carmo/
Office: Room 2.87


Actividade Profissional

  • Professor Catedrático, Universidade da Madeira, desde Outubro de 2000
  • Professor Associado, Universidade da Madeira, Abril de 2000 – Outubro de 2000
  • Professor Associado, Instituto Superior Técnico, 1992 –2000
  • Professor Auxiliar, Instituto Superior Técnico, 1988-1992

Habilitações Académicas

  • Agregação em Matemática
  • Doutoramento em Matemática
  • Licenciatura em Matemática (Ramo Estatística e Computação)

Áreas de Investigação

  • Lógica e Ciência da Computação

Publicações

  • J. Carmo, A. Sernadas, C. Sernadas, F.M. Dionísio e C. Caleiro, Introdução à Programação em Mathematica, Colecção Ensino da Ciência e da Tecnologia, vol 7, IST Press, Junho 1999 (2ª edição, Março 2004).
  • J. Carmo, "Roles, counts-as and deontic and action logics", L. Goble and J.-J. Meyer (eds.), DEON 2006, Springer LNAI Series, vol 4048, pp. 1-1, 2006.
  • O. Pacheco e J. Carmo, “A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction”, Journal of Autonomous Agents and Multi-Agent Systems, 6, pp. 145-184, 2003.
  • J. Carmo e A.J.I. Jones, "Deontic Logic and Contrary-to-Duties", em Handbook of Philosophical Logic, Second edition, volume 8, D.M. Gabbay e F. Guenthner (eds.), Kluwer Academic Publishers, Dordrecht, Holland, pp. 265-343, 2002.
  • J. Carmo e O. Pacheco, “Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles”, Fundamenta Informaticae, Special Issue on Deontic Logic in Computer Science, Volume 48, Numbers 2,3, pp. 129-163, 2001.
  • J. Carmo, R. Demolombe e A. Jones, “An application of deontic logic to the analysis of information systems constraints”, Fundamenta Informaticae, Special Issue on Deontic Logic in Computer Science, Volume 48, Numbers 2,3, pp. 165-181, 2001.
  • O. Pacheco and J. Carmo, "Les agents collectifs: du droit vers l'intelligence artificielle", in: Droit et Intelligence artificielle (Une Révolution de la Connaissance Juridique), D. Bourcier, P. Hassett and C. Roquilly (eds.), éditions Romillat, Collection Droit et technologies, pp. 93-109, 2000.
  • J. Carmo and O. Pacheco, “Deontic and action logics for collective agency and roles”, in: Proc. of the Fifth International Workshop on Deontic Logic in Computer Science (Deon'00), R. Demolombe and R. Hilpinen (eds.), ONERA-DGA, pp. 93-124, 2000.
  • R. Demolombe, A. Jones and J. Carmo, “An application of deontic logic to the analysis of information systems constraints”, in: Proc. of the Fifth International Workshop on Deontic Logic in Computer Science (Deon'00), R. Demolombe and R. Hilpinen (eds.), ONERA-DGA, pp. 147-166, 2000.
  • J. Carmo and O. Pacheco, “Logics for Modeling Businesses and Agents Interaction”, Proc. of the SSGRR 2000 computer & business conference, ISBN 88-85280-52-8, l’Aquila, 2000.
  • O. Pacheco and J. Carmo, "Collective Agents: From Law to AI", 2nd French-American Conference on Law and Artificial Intelligence, Nice, 1998.
  • F. Santos, A.J.I. Jones and J. Carmo, "Responsibility for action in organisations: a formal model", in: Contemporary Action Theory, Vol II (Social Action), G. Holmstrom-Hintikka and R. Tuomela (eds.), Synthese Library, vol 267, Kluwer, pp. 333-350, 1997.
  • J. Carmo and A.J.I. Jones, "A New Approach to Contrary-to-Duty Obligations", in: Defeasible Deontic Logic, Donald Nute (ed.), Synthese Library, vol 263, Kluwer, pp. 317-344, 1997.
  • R. Demolombe, A.J.I. Jones and J. Carmo, "Toward a uniform logical representation of different kind of integrity constraints", in: Qualitative and Quantitative Practical Reasoning, D. Gabbay, R. Kruse and H.J. Ohlbach (eds.), Springer LNAI Series, vol 1244, pp. 614-620, 1997.
  • F. Santos, A.J.I. Jones and J. Carmo, "Action Concepts for Describing Organised Interaction", in: Proc. of the Thirtieth Annual Hawaii International Conference on System Sciences, R.A. Sprague, Jr. (ed.), IEEE Computer Society Press, Vol V, pp. 373-382, 1997.
  • M. Brown and J. Carmo, "Third International Workshop on Deontic Logic in Computer Science", Knowledge Engineering Review, Vol. 11:3, pp. 289-292, 1996.
  • J. Carmo and A.J.I. Jones, "Deontic Database Constraints, Violation and Recovery", Studia Logica, 57, pp. 139-165, 1996.
  • M. Brown and J. Carmo (eds.), Deontic Logic, Agency and Normative Systems, Springer-Verlag, Workshops in Computing Series, 1996.
  • F. Santos and J. Carmo, "A Modal Action Logic Based Framework for Organization Specification and Analysis", in: Logics in Artificial Intelligence, J.L. Alferes, L.M. Pereira and E. Orlowska (eds.), Springer, LNAI 1126, pp. 119-133, 1996.
  • F. Santos and J. Carmo, "Indirect Action, Influence and Responsability", in: Deontic Logic, Agency and Normative Systems, M. Brown and J. Carmo (eds.), Springer-Verlag, Workshops in Computing Series, pp. 194-215, 1996.
  • R. Li and J. Carmo, “On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations”, Journal of IGPL, Vol. 3 No. 5, pp. 765-790, 1995.
  • J. Carmo and A.J.I. Jones, "Deontic Database Constraints and the Characterisation of Recovery", in: Proc. Second International Workshop on Deontic Logic in Computer Science (Deon’94), A.J.I. Jones and M. Sergot (eds), Complex 1/94 NRCCL, pp. 56-85, 1994.
  • A. Zanardo and J. Carmo, “Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL*”, Journal of Logic and Computation, Vol. 3 No. 3, pp. 249-268, 1993.
  • F. Santos and J. Carmo, "A Deontic Logic Representation of Contractual Obligations", in: Deontic Logic in Computer Science: Normative System Specification, J.-J.Ch. Meyer and R.J. Wieringa (eds), John Wiley & Sons, pp. 243-257, 1993.
  • R. Li and J. Carmo, "A Modal Approach to Representation of Periodical Knowledge", in: Proc. of ERCIM Workshop on Theoretical and Experimental Aspects of Knowledge Representation, Carlo Meghini and Fabrizio Sebastiani (eds), Pisa, Italy, pp. 149-158, 1992.
  • J. Carmo and A. Sernadas, "Formal Techniques for Systems Specification and Verification", Information Systems, 16 (3), pp. 245-272, 1991.
  • R. Li and J. Carmo, "An Interval-Based Modal Logic for System Specification", in: Logic Foundations of Computer Science - Tver'92, A. Nerode & M. Taitslin (eds.), Springer-Verlag, LNCS 620, pp. 281-292, 1992.
  • J. Carmo and A. Sernadas, "Branching versus Linear Logics Yet Again", Formal Aspects of Computing, 2 (1), pp. 24-59, 1990.
  • J. Carmo and A. Sernadas, "Inevitability in Branching Time", in: Logic at Botic'89, A. Meyer and M. Taitslin (eds.), Springer-Verlag, LNCS 363, pp. 41-62, 1989.
  • J. Carmo and A. Sernadas, "A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification", in: Temporal Aspects of Information Systems, C. Rolland, F. Bodart and M. Leonard (eds), North-Holland, pp. 31-46, 1988.