Jose Manuel Cunha Leal Molarinho Carmo


AuthID: R-000-8HQ

Publicações Confirmadas: 12



1
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
2
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
3
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
4
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: 50
NO MEU: ORCID
5
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
6
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
7
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
8
TÍTULO: Deontic database constraints, violation and recovery
AUTORES: Carmo, J ; Jones, AJI;
PUBLICAÇÃO: 1996, FONTE: Studia Logica, VOLUME: 57, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
9
TÍTULO: Third international workshop on deontic logic in computer science
AUTORES: Brown, MA; Carno, J ;
PUBLICAÇÃO: 1996, FONTE: KNOWLEDGE ENGINEERING REVIEW, VOLUME: 11, NÚMERO: 3
INDEXADO EM: Scopus WOS
NO MEU: ORCID
10
TÍTULO: Ockhamist computational logic: Past-sensitive necessitation in CTL
AUTORES: Zanardo, A; Carmo, J ;
PUBLICAÇÃO: 1993, FONTE: Journal of Logic and Computation, VOLUME: 3, NÚMERO: 3
INDEXADO EM: Scopus
Página 1 de 2. Total de resultados: 12.

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

Links Úteis

Ajuda

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