 | 2008 |
|---|
| 19 |       | José Carmo:
Collective Action, Direct Action and Dynamic Operators.
NORMAS 2008: 31-50 |
| 2006 |
|---|
| 18 |  | José Carmo:
Roles, Counts-as and Deontic and Action Logics.
DEON 2006: 1 |
| 2003 |
|---|
| 17 | | Olga Pacheco,
José Carmo:
A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction.
Autonomous Agents and Multi-Agent Systems 6(2): 145-184 (2003) |
| 2001 |
|---|
| 16 | | José Carmo,
Olga Pacheco:
Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles.
Fundam. Inform. 48(2-3): 129-163 (2001) |
| 1997 |
|---|
| 15 | | Robert Demolombe,
Andrew J. I. Jones,
José Carmo:
Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints.
ECSQARU-FAPR 1997: 614-620 |
| 14 | | Filipe A. A. Santos,
Andrew J. I. Jones,
José Carmo:
Action Concepts for Describing Organised Interaction.
HICSS (5) 1997: 373-382 |
| 1996 |
|---|
| 13 | | Mark A. Brown,
José Carmo:
Deontic Logic, Agency and Normative Systems, DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996
Springer 1996 |
| 12 | | Filipe Santos,
José Carmo:
Indirect Action, Influence and Responsibility.
DEON 1996: 194-215 |
| 11 | | Robert Demolombe,
Andrew J. I. Jones,
José Carmo:
Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints.
FMLDO 1996: 157-164 |
| 10 | | Filipe Santos,
José Carmo:
A Modal Action Logic Based Framework for Organization Specification and Analysis.
JELIA 1996: 119-133 |
| 9 | | José Carmo,
Andrew J. I. Jones:
Deontic Database Constraints, Violation and Recovery.
Studia Logica 57(1): 139-165 (1996) |
| 1995 |
|---|
| 8 | | Renwei Li,
José Carmo:
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations.
Logic Journal of the IGPL 3(5): 765-790 (1995) |
| 1993 |
|---|
| 7 | | Alberto Zanardo,
José Carmo:
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL.
J. Log. Comput. 3(3): 249-268 (1993) |
| 1992 |
|---|
| 6 | | Renwei Li,
José Carmo:
An Interval-Based Modal Logic for System Specification.
LFCS 1992: 281-292 |
| 1991 |
|---|
| 5 | | José Carmo,
Amílcar Sernadas:
Formal techniques for systems specification and verification.
Inf. Syst. 16(3): 245-272 (1991) |
| 1990 |
|---|
| 4 | | José Carmo,
Amílcar Sernadas:
Branching versus Linear Logics Yet Again.
Formal Asp. Comput. 2(1): 24-59 (1990) |
| 1989 |
|---|
| 3 | | José Carmo,
Amílcar Sernadas:
Inevitability in Branching Time.
Logic at Botik 1989: 41-62 |
| 1987 |
|---|
| 2 | | José Carmo,
Amílcar Sernadas:
A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification.
Temporal Aspects in Information Systems 1987: 31-46 |
| 1985 |
|---|
| 1 | | José Carmo:
The INFOLOG Branching Logic of Events.
TFAIS 1985: 158-173 |
