José Carmo

24 papers B 1Misc 1Journal 12Unranked 9
YearRankTypeTitle / Venue / Authors
2022 J jnl
Carmo and Jones' logic for contrary-to-duty obligations revised.
J. Log. Comput.
José Carmo, Andrew J. I. Jones
2013 J jnl
Completeness and decidability results for a logic of contrary-to-duty conditionals.
J. Log. Comput.
José Carmo, Andrew J. I. Jones
2010 J jnl
Collective agency, direct action and dynamic operators.
Log. J. IGPL
José Carmo
2008 — conf
Collective Action, Direct Action and Dynamic Operators.
NORMAS
José Carmo
2006 — conf
Roles, Counts-as and Deontic and Action Logics.
DEON
José Carmo
2003 J jnl
A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction.
Auton. Agents Multi Agent Syst.
Olga Pacheco, José Carmo
2001 J jnl
An Application of Deontic Logic to Information System Constraints.
Fundam. Informaticae
José Carmo, Robert Demolombe, Andrew J. I. Jones
2001 J jnl
Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles.
Fundam. Informaticae
José Carmo, Olga Pacheco
1997 — conf
Action Concepts for Describing Organised Interaction.
HICSS (5)
Filipe A. A. Santos, Andrew J. I. Jones, José Carmo
1997 — conf
Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints.
ECSQARU-FAPR
Robert Demolombe, Andrew J. I. Jones, José Carmo
1996 B conf
A Modal Action Logic Based Framework for Organization Specification and Analysis.
JELIA
Filipe Santos, José Carmo
1996 J jnl
Deontic Database Constraints, Violation and Recovery.
Stud Logica
José Carmo, Andrew J. I. Jones
1996 — ed.
Deontic Logic, Agency and Normative Systems, DEON '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996
DEON
Mark A. Brown, José Carmo
1996 — conf
Indirect Action, Influence and Responsibility.
DEON
Filipe Santos, José Carmo
1996 J jnl
Third international workshop on deontic logic in computer science.
Knowl. Eng. Rev.
Mark A. Brown, José Carmo
1996 — conf
Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints.
FMLDO
Robert Demolombe, Andrew J. I. Jones, José Carmo
1995 J jnl
On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations.
Log. J. IGPL
Renwei Li, José Carmo
1993 J jnl
Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL.
J. Log. Comput.
Alberto Zanardo, José Carmo
1992 Misc conf
An Interval-Based Modal Logic for System Specification.
LFCS
Renwei Li, José Carmo
1991 J jnl
Formal techniques for systems specification and verification.
Inf. Syst.
José Carmo, Amílcar Sernadas
1990 J jnl
Branching versus Linear Logics Yet Again.
Formal Aspects Comput.
José Carmo, Amílcar Sernadas
1989 — conf
Inevitability in Branching Time.
Logic at Botik
José Carmo, Amílcar Sernadas
1987 — conf
A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification.
Temporal Aspects in Information Systems
José Carmo, Amílcar Sernadas
1985 — conf
The INFOLOG Branching Logic of Events.
TFAIS
José Carmo