SoleCRISSiirtymälinkkiEtusivuSiirtymälinkkiKäyttöohjeSiirtymälinkkiRekisteriselosteSiirtymälinkkiKirjautuminen

Artikkelit/Tieteellinen aikakauslehti
      
Tämä on julkaisun katselusivu. Tällä sivulla voit katsella julkaisun perustietoja. Jos haluat päästä muokkaamaan julkaisun tietoja, siirry julkaisun muokkaussivulle alalaidassa olevalla siirtymis-toiminnolla tai jatka järjestelmän käyttöä menusta.


Game-theoretic semantics for alternating-time temporal logic - Goranko, V.; Kuusisto, A.; Rönnholm, R 2018


Laji Artikkelit
Alalaji Tieteellinen aikakauslehti
Tyyppi Alkuperäisartikkeli
OKM:n julkaisutyyppiluokitus A1 
Tekijät Goranko, V.; Kuusisto, A.; Rönnholm, R 
Tekijöiden lukumäärä
Yliopiston ensimmäinen tekijä
Ensimmäisen tekijän yksikkö
Artikkelin nimi Game-theoretic semantics for alternating-time temporal logic 
Lehden nimi Acm transactions on computational logic 
Julkaisu- ja rekisterivuosi 2018  ja 2018 
Volyymi ja lehden numero 19  :
Artikkelinumero 17 
Referee Kyllä
ISSN 1529-3785 
Julkaisukieli englanti
Julkaistu ulkomailla Kyllä
Tieteenala Tietojenkäsittely ja informaatiotieteet
Kansainvälinen yhteisjulkaisu Kyllä
Yhteisjulkaisu yrityksen kanssa Ei
Avoin saatavuus Ei vastausta
Julkaisu rinnakkaistallennettu Ei
DOI-tunniste 10.1145/3179998 
Verkkojulkaisun linkki http://doi.org/10.1145/3179998
Asiasanat / Englanti Argumentation-based dialogue and protocols; Logic and game theory; Logics for agents and multiagent systems 
Tunniste Scopus:2-s2.0-85053222941
Suora linkki Suora linkki