Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results

File(s)

Journal of Artificial Intelligence Research_45_2012.pdf (426.86 KB)

Accepted version

Show more

Author(s)

Belardinelli, F

Lomuscio, A

Type

Journal Article

Date Issued

2012

Citation

Journal of Artificial Intelligence Research, 2012, 45, pp.1-45

URI

http://hdl.handle.net/10044/1/13930

DOI

http://dx.doi.org/10.1613/jair.3547

ISSN

1076-9757

Publisher

AI Access Foundation

Start Page

1

End Page

45

Journal / Book Title

Journal of Artificial Intelligence Research

Volume

45

Copyright Statement

© 2012 AI Access Foundation. All rights reserved.

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Identifier

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000308526200001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202

Publication Status

Published

Article Number

1