Jose Manuel Cunha Leal Molarinho Carmo


AuthID: R-000-8HQ

Confirmed Publications: 20



1
TITLE: Carmo and Jones' logic for contrary-to-duty obligations revised
AUTHORS: Carmo, Jose ; Jones, Andrew J., I;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, ISSUE: 7
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
2
TITLE: A semantic model for causation in criminal law and the need of logico-legal criteria for the attribution of causation
AUTHORS: Mendes, PS; Carmoz, J ;
PUBLISHED: 2013, SOURCE: Law, Probability and Risk, VOLUME: 12, ISSUE: 3-4
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
3
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 | CIÊNCIAVITAE
4
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 | CIÊNCIAVITAE
5
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 | CIÊNCIAVITAE
6
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: 53
IN MY: ORCID | CIÊNCIAVITAE
7
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 | CIÊNCIAVITAE
8
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 | CIÊNCIAVITAE
9
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
10
TITLE: Toward a uniform logical representation of different kinds of integrity constraints
AUTHORS: Demolombe, R; Jones, AJI; Carmo, J ;
PUBLISHED: 1997, SOURCE: 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU-FAPR 97) in QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING, VOLUME: 1244
INDEXED IN: WOS
IN MY: ORCID | CIÊNCIAVITAE
Page 1 of 2. Total results: 20.

footer slogan

Useful Links

Get Help

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