I'm a postdoctoral researcher at UBA‘s Institute for Research in Computer Science and an associated member of UNIMI‘s LUCI Lab. I'm interested in tractable reasoning, automated and assisted deduction, logics in AI and CS, proof complexity and, generally, in the relation between logic and information. Currently, I'm defininig hierarchies of tractable depth-bounded approximations to non-classical logics, where the levels can be naturally related to the bounded inferential power of agents.
Buenos Aires, Distrito Federal, Argentina
Areas of Specialization
| Logic and Information |
Areas of Interest
| Logic and Information |
| Areas of Artificial Intelligence, Misc |