International
refereed publications since 1988
Journal
papers
 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 MultiAgent Systems, in press, 2001.
 J. Carmo and O. Pacheco,
“Deontic and action logics for organized collective agency,
modeled through institutionalized agents and roles”,
Fundamenta Informaticae, in press, 2001.
 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.
 M. Brown and J. Carmo,
"Third International Workshop on Deontic Logic in Computer
Science", Knowledge Engineering Review, Vol. 11:3, pp.
289292, 1996.
 J. Carmo and A.J.I. Jones,
"Deontic Database Constraints, Violation and Recovery",
Studia Logica, 57, pp. 139165, 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. 765790, 1995.
 A. Zanardo and J. Carmo,
“Ockhamist Computational Logic: PastSensitive Necessitation in
CTL*”, Journal of Logic and Computation, Vol. 3 No. 3,
pp. 249268, 1993.
 J. Carmo and A. Sernadas,
"Formal Techniques for Systems Specification and
Verification", Information Systems, 16 (3), pp. 245272,
1991.
 J. Carmo and A. Sernadas,
"Branching versus Linear Logics Yet Again", Formal
Aspects of Computing, 2 (1), pp. 2459, 1990.
Serial papers and
Book chapters
 J. Carmo and A.J.I. Jones,
"Deontic Logic and ContrarytoDuties", in: Handbook of
Philosophical Logic  Second Edition, Volume N4, D.M. Gabbay
(ed.), Kluwer, pp. 287363, in press, 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. 93109, 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. HolmstromHintikka and R. Tuomela (eds.), Synthese
Library, vol 267, Kluwer, pp. 333350, 1997.
 J. Carmo and A.J.I. Jones,
"A New Approach to
ContrarytoDuty Obligations", in: Defeasible Deontic
Logic, Donald Nute (ed.), Synthese Library, vol 263, Kluwer, pp.
317344, 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. 614620,
1997.
 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. 119133, 1996.
 F. Santos and J. Carmo,
"Indirect Action, Influence and Responsability", in:
Deontic Logic, Agency and Normative Systems, M. Brown and J.
Carmo (eds.), SpringerVerlag, Workshops in Computing Series, pp.
194215, 1996.
 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. 243257, 1993.
 R. Li and J. Carmo,
"An IntervalBased Modal Logic for System Specification",
in: Logic Foundations of Computer Science  Tver'92, A. Nerode
& M. Taitslin (eds.), SpringerVerlag, LNCS 620, pp. 281292,
1992.
 J. Carmo and A. Sernadas,
"Inevitability in Branching Time", in: Logic at
Botic'89, A. Meyer and M. Taitslin (eds.), SpringerVerlag, LNCS
363, pp. 4162, 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),
NorthHolland, pp. 3146, 1988.
Conference
papers
 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.), ONERADGA, pp.
93124, 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.), ONERADGA, pp. 147166, 2000.
 J. Carmo and O. Pacheco,
“Logics for Modeling Businesses and Agents Interaction”, Proc. of the
SSGRR 2000 computer & business conference, ISBN
8885280528, l’Aquila, 2000.
 O. Pacheco and J. Carmo,
"Collective Agents: From Law to AI", 2nd FrenchAmerican
Conference on Law and Artificial Intelligence, Nice, 1998.
 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. 373382, 1997.
 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. 5685, 1994.
 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. 149158, 1992.
Other
publications
 J. Carmo,
"Lógica Deôntica", in Enciclopédia
de Termos LógicoFilosóficos, J. Branquinho and D.
Murcho (eds), Gradiva, pp. 429433, 2001.
Edited proceedings
(books)
 M. Brown and J. Carmo
(eds.), Deontic Logic, Agency and Normative Systems,
SpringerVerlag, Workshops in Computing Series, 1996.
Books
 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.



