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

Saved in:
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!
Abstract 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 provides explainability and potential validation. In this paper we define a time module suitable to add time to many logic representations of agents.
AbstractList 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 provides explainability and potential validation. In this paper we define a time module suitable to add time to many logic representations of agents.
Author Costantini, Stefania
Pitoni, Valentina
Author_xml – sequence: 1
  givenname: Valentina
  surname: Pitoni
  fullname: Pitoni, Valentina
  organization: University of L'Aquila
– sequence: 2
  givenname: Stefania
  surname: Costantini
  fullname: Costantini, Stefania
  organization: University of L'Aquila
BookMark eNpNkEFLAzEQhYNUsGpv_oA9erB1ksx2k2MprRYqCtZzSDaTsnXblGxF_PfGVsS5vOEdvgffJevt4o4Yu-EwQgF4P3tZTV9HEsYjhDPWF1CVQ8EV9P79F2zQdRvIJ7VAPe6z20mxou0-JtsWT9F_tFSEmIplXDd1rubJbukzpvfump0H23Y0-M0r9jafraaPw-Xzw2I6WQ5rUapDXpHoAdGXFfjSa40oVKUqB0Ghl3nX2ko7r7SsnBDkqdTKkwveKRskySu2OHF9tBuzT83Wpi8TbWOORUxrY9OhqVsy4ASSsjDmtUJXck3ClbXlPLgMJ8ysuxOrTrHrEoU_HgfzI80cpZkszSDIb7sZXxE
Cites_doi 10.1007/978-3-030-19570-0_47
10.2190/KRQB-0CED-NX6J-HQ72
10.1007/BF01995674
10.2307/2695090
10.1609/aimag.v38i4.2744
10.1109/AAMAS.2004.10090
10.1305/ndjfl/1040046088
10.1023/A:1010050603219
ContentType Journal Article
DBID AAYXX
CITATION
DOA
DOI 10.4204/EPTCS.306.40
DatabaseName CrossRef
DOAJ Directory of Open Access Journals
DatabaseTitle CrossRef
DatabaseTitleList
Database_xml – sequence: 1
  dbid: DOA
  name: DOAJ Directory of Open Access Journals
  url: https://www.doaj.org/
  sourceTypes: Open Website
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 2075-2180
EndPage 346
ExternalDocumentID oai_doaj_org_article_0b24e8a061c84b519e2b5ca11fb37be4
10_4204_EPTCS_306_40
GroupedDBID 5VS
AAYXX
ADBBV
ALMA_UNASSIGNED_HOLDINGS
BCNDV
CITATION
E3Z
GROUPED_DOAJ
KQ8
M~E
OK1
ID FETCH-LOGICAL-c258t-2134d044d570d5d994428787b0f84d3039aa79bd8937b22ede598debfdb8af3e3
IEDL.DBID DOA
ISICitedReferencesCount 0
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001050029200013&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 2075-2180
IngestDate Fri Oct 03 12:52:49 EDT 2025
Sat Nov 29 02:05:29 EST 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly true
Issue Proc. ICLP 2019
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c258t-2134d044d570d5d994428787b0f84d3039aa79bd8937b22ede598debfdb8af3e3
OpenAccessLink https://doaj.org/article/0b24e8a061c84b519e2b5ca11fb37be4
PageCount 7
ParticipantIDs doaj_primary_oai_doaj_org_article_0b24e8a061c84b519e2b5ca11fb37be4
crossref_primary_10_4204_EPTCS_306_40
PublicationCentury 2000
PublicationDate 2019-09-19
PublicationDateYYYYMMDD 2019-09-19
PublicationDate_xml – month: 09
  year: 2019
  text: 2019-09-19
  day: 19
PublicationDecade 2010
PublicationTitle Electronic proceedings in theoretical computer science
PublicationYear 2019
Publisher Open Publishing Association
Publisher_xml – name: Open Publishing Association
References 10.2307/2695090
10.1007/BF01995674
10.1305/ndjfl/1040046088
10.1109/AAMAS.2004.10090
10.1609/aimag.v38i4.2744
10.2190/KRQB-0CED-NX6J-HQ72
10.1023/A:1010050603219
10.1007/978-3-030-19570-0_47
References_xml – ident: 10.1007/978-3-030-19570-0_47
  doi: 10.1007/978-3-030-19570-0_47
– ident: 10.2190/KRQB-0CED-NX6J-HQ72
  doi: 10.2190/KRQB-0CED-NX6J-HQ72
– ident: 10.1007/BF01995674
  doi: 10.1007/BF01995674
– ident: 10.2307/2695090
  doi: 10.2307/2695090
– ident: 10.1609/aimag.v38i4.2744
  doi: 10.1609/aimag.v38i4.2744
– ident: 10.1109/AAMAS.2004.10090
  doi: 10.1109/AAMAS.2004.10090
– ident: 10.1305/ndjfl/1040046088
  doi: 10.1305/ndjfl/1040046088
– ident: 10.1023/A:1010050603219
  doi: 10.1023/A:1010050603219
SSID ssj0000392496
Score 2.1572359
Snippet In artificial intelligence, multi agent systems constitute an interesting typology of society modeling, and have in this regard vast fields of application,...
SourceID doaj
crossref
SourceType Open Website
Index Database
StartPage 340
Title A Temporal Module for Logical Frameworks
URI https://doaj.org/article/0b24e8a061c84b519e2b5ca11fb37be4
Volume 306
WOSCitedRecordID wos001050029200013&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAON
  databaseName: DOAJ Directory of Open Access Journals
  customDbUrl:
  eissn: 2075-2180
  dateEnd: 20201231
  omitProxy: false
  ssIdentifier: ssj0000392496
  issn: 2075-2180
  databaseCode: DOA
  dateStart: 20090101
  isFulltext: true
  titleUrlDefault: https://www.doaj.org/
  providerName: Directory of Open Access Journals
– providerCode: PRVHPJ
  databaseName: ROAD: Directory of Open Access Scholarly Resources (ISSN International Center)
  customDbUrl:
  eissn: 2075-2180
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0000392496
  issn: 2075-2180
  databaseCode: M~E
  dateStart: 20090101
  isFulltext: true
  titleUrlDefault: https://road.issn.org
  providerName: ISSN International Centre
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwrV27asMwFBUldOjSd-kbDS10cSLLciSNaUjo0IRAU8hm9IRCSEoeHfvtvZKc4q1LFw9CGOlerHOuuToHoYeA4pRzGW4sm4xZkWfCcZ0pq2hXOy-6MplN8PFYzGZy0rD6Cj1hSR44Ba5DNGVOKIAdI5gGvuGoLo3Kc68Lrl1UAiVcNoqpeAYXoa6IznKAiRngGEld74wS1hlMpv23NpDldvjn0cCjhmx_xJfhMTqsiSHupQWdoD23OEVHO9MFXH-DZ-iph6dJTmqOR0u7nTsMvBO_piMMD3fNVutz9D4cTPsvWW13kBlaik0WtNUsYcyWnNjSSslCOSO4Jl4wC1AjleJS28AwNKXOulIK67S3WihfuOICtRbLhbtEGEZLy0qphdGMaSe71BuvjAX6BBSCXKHH3aarz6RqUUE1EIJTxeBUEJyKwbznEJHfOUGLOg5Ahqo6Q9VfGbr-j5fcoAOgKrG7K5e3qLVZbd0d2jdfm4_16j4mH56j78EPdnqyVA
linkProvider Directory of Open Access Journals
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=A+Temporal+Module+for+Logical+Frameworks&rft.jtitle=Electronic+proceedings+in+theoretical+computer+science&rft.au=Pitoni%2C+Valentina&rft.au=Costantini%2C+Stefania&rft.date=2019-09-19&rft.issn=2075-2180&rft.eissn=2075-2180&rft.volume=306&rft.spage=340&rft.epage=346&rft_id=info:doi/10.4204%2FEPTCS.306.40&rft.externalDBID=n%2Fa&rft.externalDocID=10_4204_EPTCS_306_40
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=2075-2180&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=2075-2180&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=2075-2180&client=summon