???global.info.a_carregar???
Identificação

Identificação pessoal

Nome completo
José Manuel Cunha Leal Molarinho Carmo

Nomes de citação

  • Carmo, José
  • Carmo, J.

Identificadores de autor

Ciência ID
4315-01A8-0287
ORCID iD
0000-0002-0773-3130

Domínios de atuação

  • Ciências Exatas - Matemática
Formação
Grau Classificação
1996/06/27 - 1996/06/28
Concluído
 Mathematics (Título de Agregado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 Por unanimidade
1988
Concluído
 Mathematics (Doctor of Philosophy)
Especialização em Sem especialidade
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Lógicas Temporais para a Especificação e Verificação de Sistemas de Informação" (TESE/DISSERTAÇÃO)
Percurso profissional

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento 		Empregador
2000/04/01 - Atual Professor Catedrático (Docente Universitário) Universidade da Madeira, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento 		Empregador
2017/05/08 - 2021/04/13 Reitor Universidade da Madeira, Portugal
2013/04/18 - 2017/05/07 Reitor Universidade da Madeira, Portugal
2012/11/19 - 2013/01/11 Management Council (Conselho de gestão ou orgão correspondente) Universidade da Madeira, Portugal
2012/11/19 - 2013/01/11 General Council (Conselho Geral) Universidade da Madeira, Portugal
2008/12 - 2012/11/18 General Council (Conselho Geral) Universidade da Madeira, Portugal
2009/12/17 - 2011/11/09 Presidente de Unidade Orgânica Universidade da Madeira, Portugal
2004/07/26 - 2006/05/23 Presidente de Unidade Orgânica Universidade da Madeira, Portugal
2003/02/19 - 2004/07/25 Presidente de Unidade Orgânica Universidade da Madeira, Portugal
2002/10/16 - 2003/01 Presidente de Unidade Orgânica Universidade da Madeira, Portugal
2000/06/28 - 2002/10/15 Presidente de Unidade Orgânica Universidade da Madeira, Portugal
2001/02 - 2002/09 Management Council (Conselho de gestão ou orgão correspondente) Universidade da Madeira, Portugal
Produções

Publicações

Artigo em revista
  1. Carmo, José; Jones, Andrew J I. "Carmo and Jones’ logic for contrary-to-duty obligations revised". Journal of Logic and Computation 32 7 (2022): 1352-1364. http://dx.doi.org/10.1093/logcom/exac026.
    Publicado • 10.1093/logcom/exac026
  2. de Sousa Mendes, P.; 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 12 3-4 (2013): 207-228. http://dx.doi.org/10.1093/lpr/mgt005.
    10.1093/lpr/mgt005
  3. Carmo, J.M.C.L.M.; Jones, A.J.I.. "Completeness and decidability results for a logic of contrary-to-duty conditionals". Journal of Logic and Computation 23 3 (2013): 585-626. http://www.scopus.com/inward/record.url?eid=2-s2.0-84864837232&partnerID=MN8TOARS.
    10.1093/logcom/exs009
  4. Carmo, J.. "Collective agency, direct action and dynamic operators". Logic Journal of the IGPL 18 1 (2009): 66-98. http://www.scopus.com/inward/record.url?eid=2-s2.0-77957229831&partnerID=MN8TOARS.
    10.1093/jigpal/jzp072
  5. Carmo, J.. "Roles, counts-as and deontic and action logics". Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4048 LNAI (2006): http://www.scopus.com/inward/record.url?eid=2-s2.0-33746325842&partnerID=MN8TOARS.
    10.1007/11786849_1
  6. Pacheco, O.; Carmo, J.. "A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction". Autonomous Agents and Multi-Agent Systems 6 2 (2003): 145-184. http://www.scopus.com/inward/record.url?eid=2-s2.0-0345871221&partnerID=MN8TOARS.
    10.1023/A:1021884118023
  7. Carmo, J.; Pacheco, O.. "Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles". Fundamenta Informaticae 48 2-3 (2001): 129-163. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035518421&partnerID=MN8TOARS.
  8. Carmo, J.; Demolombe, R.; Jones, A.J.I.. "An application of deontic logic to information systems constraints". Fundamenta Informaticae 48 2-3 (2001): 165-181. http://www.scopus.com/inward/record.url?eid=2-s2.0-0035518209&partnerID=MN8TOARS.
  9. Santos, Filipe A.A.; Jones, Andrew J.I.; Carmo, Jose M.C.L.M.. "Action concepts for describing organized interaction". Proceedings of the Hawaii International Conference on System Sciences 5 (1997): 373-382. http://www.scopus.com/inward/record.url?eid=2-s2.0-0031389334&partnerID=MN8TOARS.
    10.1109/HICSS.1997.663195
  10. Brown, M.A.; Carno, J.. "Third international workshop on deontic logic in computer science". Knowledge Engineering Review 11 3 (1996): 289-292. http://www.scopus.com/inward/record.url?eid=2-s2.0-0030233816&partnerID=MN8TOARS.
  11. Carmo, J.; Jones, A.J.I.. "Deontic database constraints, violation and recovery". Studia Logica 57 1 (1996): 139-165. http://www.scopus.com/inward/record.url?eid=2-s2.0-9444254451&partnerID=MN8TOARS.
  12. Carmo, José; Li, R.. "On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations". Journal of IGPL 3 5 (1995): 765-790.
    Publicado
  13. Zanardo, A.; Carmo, J.. "Ockhamist computational logic: Past-sensitive necessitation in CTL". Journal of Logic and Computation 3 3 (1993): 249-268. http://www.scopus.com/inward/record.url?eid=2-s2.0-0005555219&partnerID=MN8TOARS.
    10.1093/logcom/3.3.249
  14. Carmo, J.; Sernadas, A.. "Formal techniques for systems specification and verification". Information Systems 16 3 (1991): 245-272. http://www.scopus.com/inward/record.url?eid=2-s2.0-28144448164&partnerID=MN8TOARS.
    10.1016/0306-4379(91)90001-P
  15. Carmo, J.; Sernadas, A.. "Branching versus linear logics yet again". Formal Aspects of Computing 2 1 (1990): 24-59. http://www.scopus.com/inward/record.url?eid=2-s2.0-18944387136&partnerID=MN8TOARS.
    10.1007/BF01888216
Capítulo de livro
  1. Carmo, José. "Collective Agency, Obligations, Roles and Power to Act on Behalf of". In em Power, Leadership and Complexity (in memory of António Gouveia Portela), editado por João Caraça; Helder Coelho, 149-182. Portugal: IST Press, 2015.
    Publicado
  2. Carmo, José. "Collective action, direct action and dynamic operators". In Proc of the Third International Workshop on Normative Multiagent Systems (NorMAS-08), editado por G. Boella; G. Pigozzi; M. Singh; H. Verhagen, 31-50. 2008.
    Publicado
  3. Carmo, José; Jones, Andrew J.I.. "Deontic Logic and Contrary-to-Duties". In Handbook of Philosophical Logic, editado por D.M. Gabbay; F. Guenthner, 265-343. Kluwer Academic Publishers, Dordrecht, Holland, 2002.
    Publicado
  4. Carmo, José. "Lógica Deôntica". In Enciclopédia de Termos Lógico-Filosóficos, editado por J. Branquinho; D. Murcho, 429-433. Gradiva, 2001.
    Publicado
  5. Carmo, José; Pacheco, Olga. "Les agents collectifs: du droit vers l'intelligence artificielle". In Droit et Intelligence artificielle (Une Révolution de la Connaissance Juridique), 93-109. éditions Romillat, Collection Droit et technologies, 2000.
    Publicado
  6. Carmo, José; Santos, F.; Jones, A.J.I.. "Responsibility for action in organisations: a formal model". In Contemporary Action Theory, Vol II (Social Action), editado por G. Holmstrom-Hintikka; R. Tuomela, 333-350. Kluwer, 1997.
    Publicado
  7. Carmo, José; Jones, A.J.I.. "A New Approach to Contrary-to-Duty Obligations". In Defeasible Deontic Logic, 317-344. Kluwer, 1997.
    Publicado
  8. Carmo, José; Demolombe, R.; Jones, A.J.I.. "Toward a uniform logical representation of different kind of integrity constraints". In Qualitative and Quantitative Practical Reasoning, editado por D. Gabbay; R. Kruse; H.J. Ohlbach, 614-620. Springer LNAI Series, 1997.
    Publicado
  9. Carmo, José; Santos, F.; Jones, A.J.I.. "Action Concepts for Describing Organised Interaction". In Proc. of the Thirtieth Annual Hawaii International Conference on System Sciences, editado por R.A. Sprague, Jr., 373-382. IEEE Computer Society Press, 1997.
    Publicado
  10. Carmo, José; Santos, F.. "A Modal Action Logic Based Framework for Organization Specification and Analysis". In Logics in Artificial Intelligence, editado por J.L. Alferes; L.M. Pereira, 119-133. Springer, LNAI, 1996.
    Publicado
  11. Carmo, José. "Indirect Action, Influence and Responsability". In Deontic Logic, Agency and Normative Systems, editado por Brown , M.; Carmo, José (4315-01A8-0287), 194-215. Springer-Verlag, Workshops in Computing Series, 1996.
    Publicado
  12. Carmo, José. "A Deontic Logic Representation of Contractual Obligations". In Deontic Logic in Computer Science: Normative System Specification, editado por J.-J.Ch. Meyer; R.J. Wieringa, 243-257. John Wiley & Sons, 1993.
    Publicado
  13. Carmo, José. "An Interval-Based Modal Logic for System Specification". In Logic Foundations of Computer Science - Tver'92, editado por A. Nerode; M. Taitslin, 281-292. 1992.
    Publicado
  14. Carmo, José; Sernadas, A.. "Inevitability in Branching Time". In Logic at Botic'89, 41-62. Springer-Verlag, LNCS, 1989.
    Publicado
  15. Carmo, José; Sernadas, A.. "A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification". In Temporal Aspects of Information Systems, editado por C. Rolland; F. Bodart; M. Leonard, 31-46. North-Holland, 1988.
    Publicado
  16. Carmo, Jose. "The Infolog Branching Logic of Events". In Theoretical and Formal Aspects of Information Systems, editado por A. Sernadas; J. Bubenko jr; A. Olivé, 159-174. North-Holland, 1985.
    Publicado
Edição de livro
  1. Carmo, José, ed. Deontic Logic, Agency and Normative Systems. Springer-Verlag, Workshops in Computing Series. 1996.
    Publicado
Livro
  1. Carmo, José. Introdução à Programação em Mathematica. 2014.
  2. Carmo, José. Elementos de Matemática Discreta. 2013.