A Temporal Module for Logical Frameworks

In artificial intelligence, multi agent systems constitute an interesting typology of society modeling, and have in this regard vast fields of application, which extend to the human sciences. Logic is often used to model such kind of systems as it is easier to verify than other approaches, and provi...

Full description

Bibliographic Details

Published in:	Electronic proceedings in theoretical computer science Vol. 306; no. Proc. ICLP 2019; pp. 340 - 346
Main Authors:	Pitoni, Valentina, Costantini, Stefania
Format:	Journal Article
Language:	English
Published:	Open Publishing Association 19.09.2019
ISSN:	2075-2180, 2075-2180
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!