Concepedia

José Carmo

JC

Statistics

Publications

9

Citations

301

H-Index

9

Active since

1987

Affiliations

University of Oslo(Current)

Universidade da Madeira

Iscte – Instituto Universitário de Lisboa

University of Minho

University of Lisbon

José Carmo is an author at University of Oslo specializing in deontic logic, computer science, and computing.

Publications per year

1987–2012

9

Publications

9

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

Olga Pacheco, José Carmo · Autonomous Agents and Multi-Agent Systems · 2003 · 112 citations

Management, Organization Studies, Agency Theory +15

Action concepts for describing organised interaction

Filipe Santos, Andrew Jones, José Carmo · 2002 · 50 citations

Humanities, Organization Studies, Agency Theory +13

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

José Carmo, Olga Pacheco · Deontic Logic in Computer Science · 2001 · 32 citations

Humanities, Sociology, Agency Theory +9

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

José Carmo, Amı́lcar Sernadas · 1987 · 26 citations

Computing, Computer Science, Systems Engineering +16

Deontic database constraints, violation and recovery

José Carmo, Andrew Jones · Studia Logica · 1996 · 20 citations

Computing, Computer Science, Databases +9

1–5 of 9