???global.info.a_carregar???
Identification

Personal identification

Full name
José Manuel Cunha Leal Molarinho Carmo

Citation names

  • Carmo, José
  • Carmo, J.

Author identifiers

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

Knowledge fields

  • Exact Sciences - Mathematics
Education
Degree Classification
1996/06/27 - 1996/06/28
Concluded
 Mathematics (Título de Agregado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
 Por unanimidade
1988
Concluded
 Mathematics (Doctor of Philosophy)
Major in 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" (THESIS/DISSERTATION)
Affiliation

Teaching in Higher Education

Category
Host institution 		Employer
2000/04/01 - Current Full Professor (University Teacher) Universidade da Madeira, Portugal

Positions / Appointments

Category
Host institution 		Employer
2017/05/08 - 2021/04/13 Rector Universidade da Madeira, Portugal
2013/04/18 - 2017/05/07 Rector 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 Organic Unit President Universidade da Madeira, Portugal
2004/07/26 - 2006/05/23 Organic Unit President Universidade da Madeira, Portugal
2003/02/19 - 2004/07/25 Organic Unit President Universidade da Madeira, Portugal
2002/10/16 - 2003/01 Organic Unit President Universidade da Madeira, Portugal
2000/06/28 - 2002/10/15 Organic Unit President Universidade da Madeira, Portugal
2001/02 - 2002/09 Management Council (Conselho de gestão ou orgão correspondente) Universidade da Madeira, Portugal
Outputs

Publications

Book
  1. Carmo, José. Introdução à Programação em Mathematica. 2014.
  2. Carmo, José. Elementos de Matemática Discreta. 2013.
Book chapter
  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), edited by João Caraça; Helder Coelho, 149-182. Portugal: IST Press, 2015.
    Published
  2. Carmo, José. "Collective action, direct action and dynamic operators". In Proc of the Third International Workshop on Normative Multiagent Systems (NorMAS-08), edited by G. Boella; G. Pigozzi; M. Singh; H. Verhagen, 31-50. 2008.
    Published
  3. Carmo, José; Jones, Andrew J.I.. "Deontic Logic and Contrary-to-Duties". In Handbook of Philosophical Logic, edited by D.M. Gabbay; F. Guenthner, 265-343. Kluwer Academic Publishers, Dordrecht, Holland, 2002.
    Published
  4. Carmo, José. "Lógica Deôntica". In Enciclopédia de Termos Lógico-Filosóficos, edited by J. Branquinho; D. Murcho, 429-433. Gradiva, 2001.
    Published
  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.
    Published
  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), edited by G. Holmstrom-Hintikka; R. Tuomela, 333-350. Kluwer, 1997.
    Published
  7. Carmo, José; Jones, A.J.I.. "A New Approach to Contrary-to-Duty Obligations". In Defeasible Deontic Logic, 317-344. Kluwer, 1997.
    Published
  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, edited by D. Gabbay; R. Kruse; H.J. Ohlbach, 614-620. Springer LNAI Series, 1997.
    Published
  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, edited by R.A. Sprague, Jr., 373-382. IEEE Computer Society Press, 1997.
    Published
  10. Carmo, José; Santos, F.. "A Modal Action Logic Based Framework for Organization Specification and Analysis". In Logics in Artificial Intelligence, edited by J.L. Alferes; L.M. Pereira, 119-133. Springer, LNAI, 1996.
    Published
  11. Carmo, José. "Indirect Action, Influence and Responsability". In Deontic Logic, Agency and Normative Systems, edited by Brown , M.; Carmo, José (4315-01A8-0287), 194-215. Springer-Verlag, Workshops in Computing Series, 1996.
    Published
  12. Carmo, José. "A Deontic Logic Representation of Contractual Obligations". In Deontic Logic in Computer Science: Normative System Specification, edited by J.-J.Ch. Meyer; R.J. Wieringa, 243-257. John Wiley & Sons, 1993.
    Published
  13. Carmo, José. "An Interval-Based Modal Logic for System Specification". In Logic Foundations of Computer Science - Tver'92, edited by A. Nerode; M. Taitslin, 281-292. 1992.
    Published
  14. Carmo, José; Sernadas, A.. "Inevitability in Branching Time". In Logic at Botic'89, 41-62. Springer-Verlag, LNCS, 1989.
    Published
  15. Carmo, José; Sernadas, A.. "A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification". In Temporal Aspects of Information Systems, edited by C. Rolland; F. Bodart; M. Leonard, 31-46. North-Holland, 1988.
    Published
  16. Carmo, Jose. "The Infolog Branching Logic of Events". In Theoretical and Formal Aspects of Information Systems, edited by A. Sernadas; J. Bubenko jr; A. Olivé, 159-174. North-Holland, 1985.
    Published
Edited book
  1. Carmo, José, ed. Deontic Logic, Agency and Normative Systems. Springer-Verlag, Workshops in Computing Series. 1996.
    Published
Journal article
  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.
    Published • 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.
    Published
  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