Conselho Científico

Prof. Doutor José Manuel Molarinho Carmo

Prof. Doutor José Manuel Molarinho Carmo

Áreas de interesse

Lógicas modais e, em particular, lógicas de ação e lógicas deônticas; Ciência da Computação e representação de conhecimento; Caracterização de organizações e outras formas de agência coletiva organizada e baseada em normas

Graus académicos

  • Licenciatura em Matemática, Ramo Estatística e Computação pela Faculdade de Ciências da Universidade de Lisboa concluída em 1978
  • Doutoramento em Matemática pela Universidade Técnica de Lisboa concluída em 1988
  • Agregação em Matemática pela Universidade Técnica de Lisboa concluída em 1996

Experiência Pedagógica

Carreira académica:

  • Out 2000 - Professor Catedrático, Universidade da Madeira
  • Abr 2000 - out 2000 - Professor Associado, Universidade da Madeira
  • 1992-2000 - Professor Associado, Instituto Superior Técnico, Universidade Técnica de Lisboa
  • 1988-1992 - Professor Auxiliar, Instituto Superior Técnico, Universidade Técnica de Lisboa
  • 1987-1988 - Assistente, Instituto Superior Técnico, Universidade Técnica de Lisboa
  • 1982-1987 - Assistente, Faculdade de Ciências da Universidade de Lisboa
  • 1978-1982 - Assistente Eventual, Faculdade de Ciências da Universidade de Lisboa
  • Participação em júris de concursos e provas académicas:
  • Participou (como presidente ou vogal) em júris de: 3 concursos para Professor Catedrático; de 16 concursos para Professor Associado; e de 5 concursos para Professor Auxiliar.
  • Participou (como presidente ou vogal) em júris de: 5 provas de agregação; 27 doutoramentos; 2 equivalências ao grau de Doutor; 10 mestrados (pré-Bolonha); e 3 provas de aptidão pedagógica e capacidade científica.
  • Deu parecer sobre o relatório de actividades, apresentado para efeitos de nomeação definitiva, de 24 docentes.

Investigação e Cooperação Científica

Unidade de investigação:

  • Membro do CCM (Centro de Ciências Matemáticas - centro FCT; Universidade da Madeira) desde Janeiro de 2007.

Orientações:

  • Orientou 3 doutoramentos e 5 teses de mestrado pré-Bolonha.

Comissões editoriais:

  • Membro do corpo editorial da área científica "Logic and Law" do Journal of Applied Logic, editado pela Elsevier desde 2003.

Atividades de arbitragem científica e organização de conferências internacionais:

  • Presidente da Comissão Organizadora da Seventh International Workshop on Deontic Logic in Computer Science (DEON-04), Funchal, 26 a 28 de Maio, 2004.
  • Co-Presidente da Comissão Científica da Third International Workshop on Deontic Logic in Computer Science (DEON-96), Sesimbra, 11 a13 de Janeiro, 1996.
  • Membro usual da Comissão Científica ("Comissão de Programa") das International Workshops on Deontic Logic in Computer Science (1994; 1996; 1998; 2000; 2002; 2004; 2006; 2008; 2010; 2012; 2014).
  • Membro usual da Comissão Científica da SOCREAL International Workshops on Philosophy and Ethics of Social Reality, Hokkaido University, Sapporo, Japan (2007; 2010; 2013).
  • Foi membro da Comissão Científica e/ou de Organização de outras conferências e encontros internacionais e tem desenvolvido atividades de arbitragem para números especiais de algumas revistas científicas.

Projetos de investigação:

  • Investigador, "MAGO2: Modelação de Agentes e Organizações" (área "Sistemas Robóticos, Inteligentes e de Informação"), projeto Praxis, março 2002 a março 2005.
  • Investigador, "SARA: Sociedade de Agentes Responsáveis e Animados", projeto Praxis XXI (área "Tecnologias da Informação e das Telecomunicações"), junho 1997 a junho 2000.
  • Investigador, "ACL: Álgebra da Combinação de Lógicas", projeto Praxis XXI (área "Ciências Exactas"), setembro 1997 a setembro 1999.
  • Investigador, "MAGO: Modelação de Agentes e Organizações", projeto JNICT, no âmbito do programa específico para as "Ciências Sociais e Humanas", janeiro 1996 a dezembro 1998.
  • Investigador, sub-grupo 3 "Norm-Governed Interaction in Organizations" do ESPRIT-III BRA: "ModelAge: A Common Formal Model of Cooperating Intelligent Agents", março 1994 a março 1997.
  • Coordenador, "JURAD: Lógicas para Representação de Conhecimento Jurídico-Administrativo", projeto INESC, financiado pela JNICT (no âmbito do programa STRIDE), janeiro 1993 a dezembro 1994.
  • Coordenador, "DEONTLOG: Representação do Conhecimento Jurídico", projeto INESC, financiado pela JNICT, setembro 1990 a outubro 1992.
  • Investigador e seu coordenador a partir de julho de 1990, NORMLOG, projeto INESC, financiado pela Fundação Luso-Americana para o Desenvolvimento (FLAD), janeiro 1988 a setembro 1991.
  • Investigador, sub-projecto "Evolution of Knowledge Bases" do projecto comunitário COST13 "Artificial Intelligence and Non-Standard Logics", junho 1986 a março 1989.
  • Investigador, INFOLOG, projeto FCUL, financiado pelo BESCL, pela Fundação Calouste Gulbenkian e pela JNICT, 1983 a 1985.
  • Outras atividades de investigação e colaboração internacional:
  • Investigador, projeto de cooperação internacional, suportado pelo British Council/GRICES Protocol of Bilateral Cooperation, envolvendo o ISCTE (coordenador), Imperial College, King's College, Universidade da Madeira e Universidade do Minho, 2004 e 2005.
  • Coordenador português, projeto de colaboração entre o IST e o Imperial College (coordenado por Marek Sergot) sobre a "Modelação de organizações e de interacções sujeitas a normas", Acções integradas Luso-Britânicas - 1999 (Acção nº 8-33/99), 1999 e 2000.
  • Investigador, ações de colaboração com Andrew Jones (Universidade de Oslo), ao abrigo do Acordo Cultural Luso-Norueguês, em 1995 e em 1998.

Atividade Profissional

  • Abr 2013 - Reitor, Universidade da Madeira
  • Dez 2008 - jan 2013 - Membro do Conselho Geral (eleito primeiro em dezembro de 2008 e reeleito em novembro de 2012), Universidade da Madeira
  • Nov 2011 - jan 2013 - Membro eleito da Assembleia e do Conselho Científico do Centro de Competência de Ciências Exatas e da Engenharia, Universidade da Madeira
  • Dec 2009 - nov 2011 - Presidente do Centro de Competência de Ciências Exatas e da Engenharia,, Universidade da Madeira
  • Dec 2009 - nov 2011 - Membro do Senado, por inerência, Universidade da Madeira
  • Nov 2007 - jul 2008 - Membro da Assembleia Estatutária, Universidade da Madeira
  • 2003- 2006 - Presidente do Departamento de Matemática e Engenharias, Universidade da Madeira
  • 2000-2003 - Presidente do Departamento de Matemática, Universidade da Madeira
  • 2001-2004 - Membro do Conselho Consultivo, Universidade da Madeira
  • 2001-2002 - Membro do Conselho Administrativo, Universidade da Madeira
  • 2000-2006 - Membro do Conselho da Universidade, Universidade da Madeira
  • 2000-2007 - Membro da Comissão Científica do CITMA (Centro de Ciência e Tecnologia da Madeira)

Publicações

Monografias - Autoria

  • Carmo, J., Gouveia, P e Dionísio, F., "Elementos de Matemática Discreta", Série "Cadernos de Lógica e Computação" (série coordenada por Amílcar Sernadas e Cristina Sernadas), College Publications, ISBN 978-1-84890-134-6, novembro 2013.
  • J. Carmo, A. Sernadas, C. Sernadas, F.M. Dionísio e C. Caleiro, Introdução à Programação em Mathematica, Coleção Ensino da Ciência e da Tecnologia, vol 7, IST Press, 2ª edição, ISBN 978-972-8469-06-1, março 2004 (1ª edição, junho 1999).

Monografias - Organização/Coordenação

  • M. Brown e J. Carmo (eds.), Deontic Logic, Agency and Normative Systems, Springer-Verlag, Workshops in Computing Series, ISBN 3-540-76015-6, janeiro 1996.

Artigos em revistas científicas e capítulos de livros

  • P.S. Mendes and J. Carmo, J., "A semantic model for causation in criminal law and the need of logico-legal criteria for the attribution of causation", Law, Probability and Risk 2013, Volume 12, Issue 3-4 September-December 2013, Pp. 207-228; doi: 10.1093/lpr/mgt005.
  • Carmo, J. and Jones, A.J.I., "Completeness and decidability results for a logic of contrary-to-duty conditionals", Journal of Logic and Computation, vol 23, nº 3, pp. 585-626, June 2013 (versão on-line disponível desde 26 de abril de 2012: Journal of Logic and Computation, 2012; doi: 10.1093/logcom/exs009)
  • J. Carmo, "Collective agency, direct action and dynamic operators", Logic Journal of IGPL, vol 18, nº 1, pp. 66-98, 2010 (versão on-line disponível desde 17 de dezembro de 2009: Logic Journal of IGPL 2009; doi: 10.1093/jigpal/jzp072).
  • 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 (Abstract of the Invited talk presented at the Eighth International Workshop on Deontic Logic in Computer Science (DEON'06), Utrecht, 12-14 July, 2006).
  • O. Pacheco and 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 and A.J.I. Jones, "Deontic Logic and Contrary-to-Duties", in Handbook of Philosophical Logic, Second edition, volume 8, D.M. Gabbay and F. Guenthner (eds.), Kluwer Academic Publishers, Dordrecht, Holland, pp. 265-343, 2002.
  • J. Carmo and 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 and 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.
  • J. Carmo, "Lógica Deôntica", em Enciclopédia de Termos Lógico-Filosóficos, J. Branquinho e D. Murcho (eds), Gradiva, pp. 429-433, 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.
  • 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.
    (A revised version of the next paper.)
  • 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.
  • 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.
  • 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.
  • 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.
  • 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, "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, "Formal Techniques for Systems Specification and Verification", Information Systems, 16 (3), pp. 245-272, 1991.
  • 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.
  • J. Carmo, "The Infolog Branching Logic of Events", in Theoretical and Formal Aspects of Information Systems, A. Sernadas, J. Bubenko jr. and A. Olivé (eds), North-Holland, pp. 159-174, 1985.