Concepedia

Diego Tajer

DT

Statistics

Publications

2

Citations

106

H-Index

2

Active since

2014

Affiliations

Universidad de Buenos Aires(Current)

Diego Tajer is an author at Universidad de Buenos Aires specializing in verification, automated reasoning, and engineering.

Top concepts

EngineeringVerificationComputer ScienceAutomated ReasoningBiasData ScienceEpistemologyFormal MethodsFormal VerificationKnowledge Discovery

Publications per year

2014–2016

2

Publications

2

The Logics of Strict-Tolerant Logic

Eduardo Alejandro Barrio, Lucas Rosenblatt, Diego Tajer · Journal of Philosophical Logic · 2014 · 84 citations · Full text

Non-classical Logic, Engineering, Automated Reasoning +7

Capturing naive validity in the Cut-free approach

Eduardo Alejandro Barrio, Lucas Rosenblatt, Diego Tajer · Synthese · 2016 · 22 citations

Engineering, Data Science, Algorithmic Bias +9

1–2 of 2