E-LIB Suche - Ergebnisse für: D'Agostino, Marcello

1

Tractable depth-bounded approximations to FDE and its satel..:

D'Agostino, Marcello ; Solares-Rojas, Alejandro
Journal of Logic and Computation. 34 (2023) 5 - p. 815-855 , 2023

Link: https://doi.org/10.1093/..

2

Chrysippus' Logic in a Natural Deduction Setting:

, In: Thinking and Calculating; Logic, Epistemology, and the Unity of Science,

D'Agostino, Marcello ; Piazza, Mario - p. 83-99 , 2022

Link: https://doi.org/10.1007/..

3

Molecular Biology Meets Logic: Context-Sensitiveness in Foc..:

Boniolo, Giovanni ; D'Agostino, Marcello ; Piazza, Mario.
Foundations of Science. 28 (2021) 1 - p. 307-325 , 2021

Link: https://doi.org/10.1007/..

4

Depth-Bounded Approximations of Probability:

, In: Information Processing and Management of Uncertainty in Knowledge-Based Systems; Communications in Computer and Information Science,

Baldi, Paolo ; D'Agostino, Marcello ; Hosni, Hykel - p. 607-621 , 2020

Link: https://doi.org/10.1007/..

5

Normality, Non-contamination and Logical Depth in Classical..:

D'Agostino, Marcello ; Gabbay, Dov ; Modgil, Sanjay
Studia Logica: An International Journal for Symbolic Logic. 108 (2020) 2 - p. 291-357 , 2020

Link: https://www.jstor.org/st..

6

Normality, Non-contamination and Logical Depth in Classical..:

D'Agostino, Marcello ; Gabbay, Dov ; Modgil, Sanjay
Studia Logica. 108 (2019) 2 - p. 291-357 , 2019

Link: https://doi.org/10.1007/..

7

Introduction: the Governance of Algorithms:

D'Agostino, Marcello ; Durante, Massimo
Philosophy & Technology. 31 (2018) 4 - p. 499-505 , 2018

Link: https://doi.org/10.1007/..

8

How to standardize (if you must):

D'Agostino, Marcello ; Dardanoni, Valentino ; Ricci, Roberto Ghiselli
Scientometrics. 113 (2017) 2 - p. 825-843 , 2017

Link: https://doi.org/10.1007/..

9

Adding logic to the toolbox of molecular biology:

Boniolo, Giovanni ; D'Agostino, Marcello ; Piazza, Mario.
European Journal for Philosophy of Science. 5 (2015) 3 - p. 399-417 , 2015

Link: https://doi.org/10.1007/..

10

An informational view of classical logic:

D'Agostino, Marcello
Theoretical Computer Science. 606 (2015) - p. 79-97 , 2015

Link: https://doi.org/10.1016/..

11

ANALYTIC INFERENCE AND THE INFORMATIONAL MEANING OF THE LOG..:

d'Agostino, Marcello
Logique et Analyse. 57 (2014) 227 - p. 407-437 , 2014

Link: http://www.jstor.org/sta..

12

A logical calculus for controlled monotonicity:

D'Agostino, Marcello ; Piazza, Mario ; Pulcini, Gabriele
Journal of Applied Logic. 12 (2014) 4 - p. 558-569 , 2014

Link: https://doi.org/10.1016/..

13

Informational Semantics, Non-Deterministic Matrices and Fea..:

D'Agostino, Marcello
Electronic Notes in Theoretical Computer Science. 305 (2014) - p. 35-52 , 2014

Link: https://doi.org/10.1016/..

14

Semantics and proof-theory of depth bounded Boolean logics:

D'Agostino, Marcello ; Finger, Marcelo ; Gabbay, Dov
Theoretical Computer Science. 480 (2013) - p. 43-68 , 2013

Link: https://doi.org/10.1016/..

15

A logic of non-monotonic interactions:

Boniolo, Giovanni ; D'Agostino, Marcello ; Piazza, Mario.
Journal of Applied Logic. 11 (2013) 1 - p. 52-62 , 2013

Link: https://doi.org/10.1016/..