Jose Manuel Cunha Leal Molarinho Carmo


AuthID: R-000-8HQ

Confirmed Publications: 20



11
TITLE: A modal action logic based framework for organization specification and analysis  Full Text
AUTHORS: Santos, F ; Carmo, J ;
PUBLISHED: 1996, SOURCE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
INDEXED IN: WOS
IN MY: ORCID | CIÊNCIAVITAE
12
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 | CIÊNCIAVITAE
13
TITLE: Indirect action, influence and responsibility
AUTHORS: Santos, F ; Carmo, J ;
PUBLISHED: 1996, SOURCE: 3rd International Workshop on Deontic Logic in Computer Science in DEONTIC LOGIC, AGENCY AND NORMATIVE SYSTEMS
INDEXED IN: WOS
IN MY: ORCID | CIÊNCIAVITAE
14
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 | CIÊNCIAVITAE
15
TITLE: Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
AUTHORS: ALBERTO ZANARDO; JOSÉ CARMO ;
PUBLISHED: 1993, SOURCE: Journal of Logic and Computation - J Logic Computation, VOLUME: 3, ISSUE: 3
INDEXED IN: CrossRef: 11
IN MY: ORCID | CIÊNCIAVITAE
16
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
17
TITLE: FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION  Full Text
AUTHORS: CARMO, J ; SERNADAS, A ;
PUBLISHED: 1991, SOURCE: INFORMATION SYSTEMS, VOLUME: 16, ISSUE: 3
INDEXED IN: Scopus WOS
18
TITLE: Formal techniques for systems specification and verification  Full Text
AUTHORS: José Carmo ; Amílcar Sernadas;
PUBLISHED: 1991, SOURCE: Information Systems, VOLUME: 16, ISSUE: 3
INDEXED IN: CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
19
TITLE: Branching versus linear logics yet again
AUTHORS: Carmo, J ; Sernadas, A ;
PUBLISHED: 1990, SOURCE: Formal Aspects of Computing, VOLUME: 2, ISSUE: 1
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
20
TITLE: INFOLOG BRANCHING LOGIC OF EVENTS.
AUTHORS: Jose Carmo ;
PUBLISHED: 1985, SOURCE: Information Systems: Theoretical and Formal Aspects.
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
Page 2 of 2. Total results: 20.

footer slogan

Useful Links

Get Help

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