Jose Manuel Cunha Leal Molarinho Carmo
AuthID: R-000-8HQ
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
AUTHORS: Carmo, Jose; Jones, Andrew J., I;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, ISSUE: 7
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: A semantic model for causation in criminal law and the need of logico-legal criteria for the attribution of causation
AUTHORS: Paulo de Sousa Mendesy; Jose Carmo;
PUBLISHED: 2013, SOURCE: LAW PROBABILITY & RISK, VOLUME: 12, ISSUE: 3-4
AUTHORS: Paulo de Sousa Mendesy; Jose Carmo;
PUBLISHED: 2013, SOURCE: LAW PROBABILITY & RISK, VOLUME: 12, ISSUE: 3-4
INDEXED IN: WOS
WOS3
TITLE: ACMA (9-amino-6-chloro-2-methoxy acridine) forms three complexes in the presence of DNA Full Text
AUTHORS: Natalia Busto; Begona Garcia; Jose M Leal; Jorge F Gaspar ; Celia Martins; Alessia Boggioni; Fernando Secco;
PUBLISHED: 2011, SOURCE: PHYSICAL CHEMISTRY CHEMICAL PHYSICS, VOLUME: 13, ISSUE: 43
AUTHORS: Natalia Busto; Begona Garcia; Jose M Leal; Jorge F Gaspar ; Celia Martins; Alessia Boggioni; Fernando Secco;
PUBLISHED: 2011, SOURCE: PHYSICAL CHEMISTRY CHEMICAL PHYSICS, VOLUME: 13, ISSUE: 43
4
TITLE: Biological assays and noncovalent interactions of pyridine-2-carbaldehyde thiosemicarbazonecopper(II) drugs with [poly(dA-dT)](2), [poly(dG-dC)](2), and calf thymus DNA Full Text
AUTHORS: Rebeca Ruiz; Begona Garcia; Javier Garcia Tojal; Natalia Busto; Saturnino Ibeas; Jose M Leal; Celia Martins; Jorge Gaspar ; Joaquin Borras; Ruben Gil Garcia; Marta Gonzalez Alvarez;
PUBLISHED: 2010, SOURCE: JOURNAL OF BIOLOGICAL INORGANIC CHEMISTRY, VOLUME: 15, ISSUE: 4
AUTHORS: Rebeca Ruiz; Begona Garcia; Javier Garcia Tojal; Natalia Busto; Saturnino Ibeas; Jose M Leal; Celia Martins; Jorge Gaspar ; Joaquin Borras; Ruben Gil Garcia; Marta Gonzalez Alvarez;
PUBLISHED: 2010, SOURCE: JOURNAL OF BIOLOGICAL INORGANIC CHEMISTRY, VOLUME: 15, ISSUE: 4
5
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
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
WOS6
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
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
WOS7
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
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
WOS8
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
AUTHORS: ALBERTO ZANARDO; JOSÉ CARMO;
PUBLISHED: 1993, SOURCE: Journal of Logic and Computation - J Logic Computation, VOLUME: 3, ISSUE: 3
9
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
AUTHORS: José Carmo; Amílcar Sernadas;
PUBLISHED: 1991, SOURCE: Information Systems, VOLUME: 16, ISSUE: 3
10
TITLE: INEVITABILITY IN BRANCHING TIME
AUTHORS: CARMO, J; SERNADAS, A ;
PUBLISHED: 1989, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 363
AUTHORS: CARMO, J; SERNADAS, A ;
PUBLISHED: 1989, SOURCE: LECTURE NOTES IN COMPUTER SCIENCE, VOLUME: 363
INDEXED IN: WOS
WOS