Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Logical Characterisation"'
Autor:
Gazda, Maciej, Mousavi, Mohammad Reza
Logical characterisation of a behavioural equivalence relation precisely specifies the set of formulae that are preserved and reflected by the relation. Such characterisations have been studied extensively for exact semantics on discrete models such
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::49c83c4279425bbcfd9ec7a446830f88
Autor:
Lluis Godo, Marchioni, E.
Publikováno v:
Proceedings of the Eleventh European Workshop on Multi-Agent Systems
European Workshop on Multi-Agent Systems-EUMAS 2013
European Workshop on Multi-Agent Systems-EUMAS 2013, Dec 2013, Toulouse, France. pp. 82-96
Digital.CSIC. Repositorio Institucional del CSIC
instname
Scopus-Elsevier
European Workshop on Multi-Agent Systems-EUMAS 2013
European Workshop on Multi-Agent Systems-EUMAS 2013, Dec 2013, Toulouse, France. pp. 82-96
Digital.CSIC. Repositorio Institucional del CSIC
instname
Scopus-Elsevier
We introduce the logics E(G) for reasoning about probabilistic expectation over classes G of games with discrete polynomial payoff functions represented by finite-valued Lukasiewicz formulas and provide completeness and complexity results. In additio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a54fdc50f817da6f24f2fa3d4325d06b
https://hal.archives-ouvertes.fr/hal-01141906/document
https://hal.archives-ouvertes.fr/hal-01141906/document
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.