Paper

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

2013

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

Simplified Graph of Associations

Word Cloud

Bibliographic Sets

1

Research Paradigm

Authors

3

Alberto Martelli

Daniele Theseider Dupré

Venue

1

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

References

2

Representation results for defeasible logic

Programming Rational Agents in a Modal Action Logic