dblp.uni-trier.dewww.uni-trier.de

José Carmo

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
19 José Carmo: Collective Action, Direct Action and Dynamic Operators. NORMAS 2008: 31-50
2006
18EEJosé 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
14EEFilipe 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
8EERenwei 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

Coauthor Index

1Mark A. Brown [13]
2Robert Demolombe [11] [15]
3Andrew J. I. Jones [9] [11] [14] [15]
4Renwei Li [6] [8]
5Olga Pacheco [16] [17]
6Filipe Santos [10] [12]
7Filipe A. A. Santos [14]
8Amílcar Sernadas [2] [3] [4] [5]
9Alberto Zanardo [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)