Logo Universidade da Madeira
  Home  |  Short Biography |  Research interests |   Publications  |  Teaching |

Publications
Last Revised: September 2001

International refereed publications since 1988

Journal papers

  1. 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, in press, 2001.
  2. J. Carmo and O. Pacheco, “Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles”, Fundamenta Informaticae, in press, 2001.
  3. J. Carmo, R. Demolombe and A.J.I. Jones, “An application of deontic logic to the analysis of information systems constraints”, Fundamenta Informaticae, in press, 2001.
  4. M. Brown and J. Carmo, "Third International Workshop on Deontic Logic in Computer Science", Knowledge Engineering Review, Vol. 11:3, pp. 289-292, 1996.
  5. J. Carmo and A.J.I. Jones, "Deontic Database Constraints, Violation and Recovery", Studia Logica, 57, pp. 139-165, 1996.
  6. 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.
  7. 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.
  8. J. Carmo and A. Sernadas, "Formal Techniques for Systems Specification and Verification", Information Systems, 16 (3), pp. 245-272, 1991.
  9. J. Carmo and A. Sernadas, "Branching versus Linear Logics Yet Again", Formal Aspects of Computing, 2 (1), pp. 24-59, 1990.

Serial papers and Book chapters

  1. J. Carmo and A.J.I. Jones, "Deontic Logic and Contrary-to-Duties", in: Handbook of Philosophical Logic - Second Edition, Volume N4, D.M. Gabbay (ed.), Kluwer, pp. 287-363, in press, 2001.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.

Conference papers

  1. 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.
  2. 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.
  3. 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.
  4. O. Pacheco and J. Carmo, "Collective Agents: From Law to AI", 2nd French-American Conference on Law and Artificial Intelligence, Nice, 1998.
  5. 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.
  6. 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.
  7. 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.

Other publications

  1. J. Carmo, "Lógica Deôntica", in Enciclopédia de Termos Lógico-Filosóficos, J. Branquinho and D. Murcho (eds), Gradiva, pp. 429-433, 2001.

Edited proceedings (books)

  1. M. Brown and J. Carmo (eds.), Deontic Logic, Agency and Normative Systems, Springer-Verlag, Workshops in Computing Series, 1996.

Books

  1. 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, 1999.