Jose Manuel Cunha Leal Molarinho Carmo


AuthID: R-000-8HQ

Publicações Confirmadas: 20



1
TÍTULO: Carmo and Jones' logic for contrary-to-duty obligations revised
AUTORES: Carmo, Jose ; Jones, Andrew J., I;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, NÚMERO: 7
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
2
TÍTULO: A semantic model for causation in criminal law and the need of logico-legal criteria for the attribution of causation
AUTORES: Mendes, PS; Carmoz, J ;
PUBLICAÇÃO: 2013, FONTE: Law, Probability and Risk, VOLUME: 12, NÚMERO: 3-4
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
3
TÍTULO: Completeness and decidability results for a logic of contrary-to-duty conditionals
AUTORES: Jose M C L M Carmo ; Andrew J I Jones;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 23, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
4
TÍTULO: Collective agency, direct action and dynamic operators  Full Text
AUTORES: Jose Carmo ;
PUBLICAÇÃO: 2010, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 18, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
5
TÍTULO: Roles, counts-as and deontic and action logics
AUTORES: Jose Carmo ;
PUBLICAÇÃO: 2006, FONTE: 8th International Workshop on Deontic Logic in Computer Science (DEON 2006) in DEONTIC LOGIC AND ARTIFICIAL NORMATIVE SYSTEMS, PROCEEDINGS, VOLUME: 4048
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
6
TÍTULO: A role based model for the normative specification of organized collective agency and agents interaction  Full Text
AUTORES: Pacheco, O ; Carmo, J ;
PUBLICAÇÃO: 2003, FONTE: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 6, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 53
NO MEU: ORCID | CIÊNCIAVITAE
7
TÍTULO: An application of deontic logic to information system constraints  Full Text
AUTORES: Carmo, J ; Demolombe, R; Jones, AJI;
PUBLICAÇÃO: 2001, FONTE: 5th International Workshop on Deontic Logic in Computer Science (DEON 00) in FUNDAMENTA INFORMATICAE, VOLUME: 48, NÚMERO: 2-3
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
8
TÍTULO: Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles  Full Text
AUTORES: Carmo, J ; Pacheco, O ;
PUBLICAÇÃO: 2001, FONTE: 5th International Workshop on Deontic Logic in Computer Science (DEON 00) in FUNDAMENTA INFORMATICAE, VOLUME: 48, NÚMERO: 2-3
INDEXADO EM: Scopus WOS
NO MEU: ORCID | CIÊNCIAVITAE
9
TÍTULO: Action concepts for describing organised interaction
AUTORES: Santos, FAA ; Jones, AJI; Carmo, JMCLM ;
PUBLICAÇÃO: 1997, FONTE: 30th Hawaii International Conference on System Sciences (HICSS 30) in THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 5: ADVANCED TECHNOLOGY
INDEXADO EM: WOS
10
TÍTULO: Toward a uniform logical representation of different kinds of integrity constraints
AUTORES: Demolombe, R; Jones, AJI; Carmo, J ;
PUBLICAÇÃO: 1997, FONTE: 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU-FAPR 97) in QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING, VOLUME: 1244
INDEXADO EM: WOS
NO MEU: ORCID | CIÊNCIAVITAE
Página 1 de 2. Total de resultados: 20.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service