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...
Gespeichert in:
| Veröffentlicht in: | Electronic proceedings in theoretical computer science Jg. 306; H. Proc. ICLP 2019; S. 340 - 346 |
|---|---|
| Hauptverfasser: | , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Open Publishing Association
19.09.2019
|
| ISSN: | 2075-2180, 2075-2180 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!