Jose Manuel Cunha Leal Molarinho Carmo
AuthID: R-000-8HQ
1
TÃTULO: Carmo and Jones' logic for contrary-to-duty obligations revised
AUTORES: Carmo, Jose; Jones, Andrew J., I;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, NÚMERO: 7
AUTORES: Carmo, Jose; Jones, Andrew J., I;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 32, NÚMERO: 7
2
TÃTULO: A semantic model for causation in criminal law and the need of logico-legal criteria for the attribution of causation
AUTORES: Mendes, PS; Carmoz, J;
PUBLICAÇÃO: 2013, FONTE: Law, Probability and Risk, VOLUME: 12, NÚMERO: 3-4
AUTORES: Mendes, PS; Carmoz, J;
PUBLICAÇÃO: 2013, FONTE: Law, Probability and Risk, VOLUME: 12, NÚMERO: 3-4
3
TÃTULO: A semantic model for causation in criminal law and the need of logico-legal criteria for the attribution of causation
AUTORES: Paulo de Sousa Mendesy; Jose Carmo;
PUBLICAÇÃO: 2013, FONTE: LAW PROBABILITY & RISK, VOLUME: 12, NÚMERO: 3-4
AUTORES: Paulo de Sousa Mendesy; Jose Carmo;
PUBLICAÇÃO: 2013, FONTE: LAW PROBABILITY & RISK, VOLUME: 12, NÚMERO: 3-4
INDEXADO EM: 
WOS
WOS4
TÃTULO: ACMA (9-amino-6-chloro-2-methoxy acridine) forms three complexes in the presence of DNA Full Text
AUTORES: Natalia Busto; Begona Garcia; Jose M Leal; Jorge F Gaspar ; Celia Martins; Alessia Boggioni; Fernando Secco;
PUBLICAÇÃO: 2011, FONTE: PHYSICAL CHEMISTRY CHEMICAL PHYSICS, VOLUME: 13, NÚMERO: 43
AUTORES: Natalia Busto; Begona Garcia; Jose M Leal; Jorge F Gaspar ; Celia Martins; Alessia Boggioni; Fernando Secco;
PUBLICAÇÃO: 2011, FONTE: PHYSICAL CHEMISTRY CHEMICAL PHYSICS, VOLUME: 13, NÚMERO: 43
5
TÃTULO: 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
AUTORES: 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;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF BIOLOGICAL INORGANIC CHEMISTRY, VOLUME: 15, NÚMERO: 4
AUTORES: 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;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF BIOLOGICAL INORGANIC CHEMISTRY, VOLUME: 15, NÚMERO: 4
6
TÃTULO: Toward a uniform logical representation of different kinds of integrity constraints
AUTORES: Demolombe, R; Jones, AJI; Carmo, J;
PUBLICAÇÃO: 1997, FONTE: 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU-FAPR 97) in QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING, VOLUME: 1244
AUTORES: Demolombe, R; Jones, AJI; Carmo, J;
PUBLICAÇÃO: 1997, FONTE: 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ECSQARU-FAPR 97) in QUALITATIVE AND QUANTITATIVE PRACTICAL REASONING, VOLUME: 1244
INDEXADO EM: WOS
WOS NO MEU: 
ORCID
ORCID7
TÃTULO: Indirect action, influence and responsibility
AUTORES: Santos, F ; Carmo, J;
PUBLICAÇÃO: 1996, FONTE: 3rd International Workshop on Deontic Logic in Computer Science in DEONTIC LOGIC, AGENCY AND NORMATIVE SYSTEMS
AUTORES: Santos, F ; Carmo, J;
PUBLICAÇÃO: 1996, FONTE: 3rd International Workshop on Deontic Logic in Computer Science in DEONTIC LOGIC, AGENCY AND NORMATIVE SYSTEMS
INDEXADO EM: WOS
WOS NO MEU: ORCID
ORCID8
TÃTULO: A modal action logic based framework for organization specification and analysis Full Text
AUTORES: Santos, F ; Carmo, J;
PUBLICAÇÃO: 1996, FONTE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
AUTORES: Santos, F ; Carmo, J;
PUBLICAÇÃO: 1996, FONTE: European Workshop on Logics in Artificial Intelligence (JELIA 96) in LOGICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 1126
INDEXADO EM: WOS
WOS NO MEU: ORCID
ORCID9
TÃTULO: Ockhamist Computational Logic: Past-Sensitive Necessitation in CTL
AUTORES: ALBERTO ZANARDO; JOSÉ CARMO;
PUBLICAÇÃO: 1993, FONTE: Journal of Logic and Computation - J Logic Computation, VOLUME: 3, NÚMERO: 3
AUTORES: ALBERTO ZANARDO; JOSÉ CARMO;
PUBLICAÇÃO: 1993, FONTE: Journal of Logic and Computation - J Logic Computation, VOLUME: 3, NÚMERO: 3
10
TÃTULO: Formal techniques for systems specification and verification Full Text
AUTORES: José Carmo; Amílcar Sernadas;
PUBLICAÇÃO: 1991, FONTE: Information Systems, VOLUME: 16, NÚMERO: 3
AUTORES: José Carmo; Amílcar Sernadas;
PUBLICAÇÃO: 1991, FONTE: Information Systems, VOLUME: 16, NÚMERO: 3
