Author

Alberto Martelli

Created by Alysson Bolognesi Prado at 2019-03-28 08:58:10.0.

Simplified Graph of Associations

Word Cloud

Could you solve a captcha to retrieve Marcelo Cabral Ghilardi's Lattes?

Cole aqui o código fonte do lattes da pessoa:

Sim, eu sei, isso é feio, é horrível. Mas o Lattes mudou para o recaptcha, e agora não sei mais como contornar.

Yes

Why?

Publications

Temporal deontic action logic for the verification of compliance to norms in ASP

Programming Rational Agents in a Modal Action Logic

An Efficient Unification Algorithm

Optimizing decision trees through heuristically guided search

Published At

Annals of Mathematics and Artificial Intelligence

Communications of the ACM

ACM Transactions on Programming Languages and Systems

Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law - ICAIL ’13

Co-Authors

Daniele Theseider Dupré

Referenced By

Fine-Grained Access Control via Policy-Carrying Data

The assignment of computational tasks among processors in a distributed system

Temporal deontic action logic for the verification of compliance to norms in ASP