José Carmo

According to our database, José Carmo authored at least 23 papers between 1985 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Carmo and Jones' logic for contrary-to-duty obligations revised.

José Carmo, Andrew J. I. Jones

J. Log. Comput., 2022

2013

Completeness and decidability results for a logic of contrary-to-duty conditionals.

José Carmo, Andrew J. I. Jones

J. Log. Comput., 2013

2010

Collective agency, direct action and dynamic operators.

José Carmo

Log. J. IGPL, 2010

2008

Collective Action, Direct Action and Dynamic Operators.

José Carmo

Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

2006

Roles, Counts-as and Deontic and Action Logics.

José Carmo

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

2003

A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction.

Olga Pacheco, José Carmo

Auton. Agents Multi Agent Syst., 2003

2001

Deontic and Action Logics for Organized Collective Agency, Modeled through Institutionalized Agents and Roles.

José Carmo, Olga Pacheco

Fundam. Informaticae, 2001

An Application of Deontic Logic to Information System Constraints.

José Carmo, Robert Demolombe, Andrew J. I. Jones

Fundam. Informaticae, 2001

1997

Action Concepts for Describing Organised Interaction.

Filipe A. A. Santos, Andrew J. I. Jones, José Carmo

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

Toward a Uniform Logical Representation of Different Kinds of Integrity Constraints.

Robert Demolombe, Andrew J. I. Jones, José Carmo

Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996

Deontic Database Constraints, Violation and Recovery.

José Carmo, Andrew J. I. Jones

Stud Logica, 1996

Third international workshop on deontic logic in computer science.

Mark A. Brown, José Carmo

Knowl. Eng. Rev., 1996

A Modal Action Logic Based Framework for Organization Specification and Analysis.

Filipe Santos, José Carmo

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Towards a Uniform Logical Representation of Different Kinds of Integrity Constraints.

Robert Demolombe, Andrew J. I. Jones, José Carmo

Proceedings of the Integrity in Databases, 1996

Indirect Action, Influence and Responsibility.

Filipe Santos, José Carmo

Proceedings of the Deontic Logic, Agency and Normative Systems, 1996

1995

On Completeness of a Positional Interval Logic with Equality, Overlap and Subinterval Relations.

Renwei Li, José Carmo

Log. J. IGPL, 1995

1993

Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL.

Alberto Zanardo, José Carmo

J. Log. Comput., 1993

1992

An Interval-Based Modal Logic for System Specification.

Renwei Li, José Carmo

Proceedings of the Logical Foundations of Computer Science, 1992

1991

Formal techniques for systems specification and verification.

José Carmo, Amílcar Sernadas

Inf. Syst., 1991

1990

Branching versus Linear Logics Yet Again.

José Carmo, Amílcar Sernadas

Formal Aspects Comput., 1990

1989

Inevitability in Branching Time.

José Carmo, Amílcar Sernadas

Proceedings of the Logic at Botik '89, 1989

1987

A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification.

José Carmo, Amílcar Sernadas

Proceedings of the Temporal Aspects in Information Systems, 1987

1985

The INFOLOG Branching Logic of Events.

José Carmo

Proceedings of the Information Systems - Theoretical and Formal Aspects, 1985