Jose Manuel Cunha Leal Molarinho Carmo


AuthID: R-000-8HQ

Confirmed Publications: 12



1
TITLE: Completeness and decidability results for a logic of contrary-to-duty conditionals
AUTHORS: Jose M C L M Carmo ; Andrew J I Jones;
PUBLISHED: 2013, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 23, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
2
TITLE: Collective agency, direct action and dynamic operators  Full Text
AUTHORS: Jose Carmo ;
PUBLISHED: 2010, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 18, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 4
IN MY: ORCID
3
TITLE: Roles, counts-as and deontic and action logics
AUTHORS: Jose Carmo ;
PUBLISHED: 2006, SOURCE: 8th International Workshop on Deontic Logic in Computer Science (DEON 2006) in DEONTIC LOGIC AND ARTIFICIAL NORMATIVE SYSTEMS, PROCEEDINGS, VOLUME: 4048
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
4
TITLE: A role based model for the normative specification of organized collective agency and agents interaction  Full Text
AUTHORS: Pacheco, O ; Carmo, J ;
PUBLISHED: 2003, SOURCE: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 6, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 50
IN MY: ORCID
5
TITLE: An application of deontic logic to information system constraints  Full Text
AUTHORS: Carmo, J ; Demolombe, R; Jones, AJI;
PUBLISHED: 2001, SOURCE: 5th International Workshop on Deontic Logic in Computer Science (DEON 00) in FUNDAMENTA INFORMATICAE, VOLUME: 48, ISSUE: 2-3
INDEXED IN: Scopus WOS
IN MY: ORCID
6
TITLE: Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles  Full Text
AUTHORS: Carmo, J ; Pacheco, O ;
PUBLISHED: 2001, SOURCE: 5th International Workshop on Deontic Logic in Computer Science (DEON 00) in FUNDAMENTA INFORMATICAE, VOLUME: 48, ISSUE: 2-3
INDEXED IN: Scopus WOS
IN MY: ORCID
7
TITLE: Action concepts for describing organised interaction
AUTHORS: Santos, FAA ; Jones, AJI; Carmo, JMCLM ;
PUBLISHED: 1997, SOURCE: 30th Hawaii International Conference on System Sciences (HICSS 30) in THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 5: ADVANCED TECHNOLOGY
INDEXED IN: WOS
8
TITLE: Deontic database constraints, violation and recovery
AUTHORS: Carmo, J ; Jones, AJI;
PUBLISHED: 1996, SOURCE: Studia Logica, VOLUME: 57, ISSUE: 1
INDEXED IN: Scopus
IN MY: ORCID
9
TITLE: Third international workshop on deontic logic in computer science
AUTHORS: Brown, MA; Carno, J ;
PUBLISHED: 1996, SOURCE: KNOWLEDGE ENGINEERING REVIEW, VOLUME: 11, ISSUE: 3
INDEXED IN: Scopus WOS
IN MY: ORCID
10
TITLE: Ockhamist computational logic: Past-sensitive necessitation in CTL
AUTHORS: Zanardo, A; Carmo, J ;
PUBLISHED: 1993, SOURCE: Journal of Logic and Computation, VOLUME: 3, ISSUE: 3
INDEXED IN: Scopus
Page 1 of 2. Total results: 12.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service