A Compositional Game Semantics for Multi−Agent Logics of Partial Information

A Compositional Game Semantics for Multi−Agent Logics of Partial Information

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Abramsky, S
Μορφή:	Conference item
Έκδοση:	Amsterdam University Press 2007

Παρόμοια τεκμήρια

Semantics of Interaction: an introduction to Game Semantics
ανά: Abramsky, S
Έκδοση: (1997)

Game Semantics
ανά: Abramsky, S, κ.ά.
Έκδοση: (1999)

From CSP to Game Semantics
ανά: Abramsky, S
Έκδοση: (2010)

Games in the Semantics of Programming Languages
ανά: Abramsky, S
Έκδοση: (1997)

Game Semantics for Programming Languages
ανά: Abramsky, S
Έκδοση: (1997)

Observational Logic and Process Semantics (Abstract)
ανά: Abramsky, S
Έκδοση: (1989)

Applying Game Semantics to Compositional Software Modelling and verification
ανά: Abramsky, S, κ.ά.
Έκδοση: (2004)

Quantales‚ Observational Logic and Process Semantics
ανά: Abramsky, S, κ.ά.
Έκδοση: (1993)

Algorithmic Game Semantics: A Tutorial Introduction
ανά: Abramsky, S
Έκδοση: (2001)

Game Semantics for Access Control
ανά: Abramsky, S, κ.ά.
Έκδοση: (2009)

A Game semantics for Generic Polymorphism
ανά: Abramsky, S, κ.ά.
Έκδοση: (2003)

A Game Semantics for Generic Polymorphism
ανά: Abramsky, S, κ.ά.
Έκδοση: (2005)

Sequentiality vs. concurrency in games and logic
ανά: Abramsky, S
Έκδοση: (2003)

Game semantics for dependent types
ανά: Vákár, M, κ.ά.
Έκδοση: (2018)

Concurrent logic games on partial orders
ανά: Gutierrez, J
Έκδοση: (2011)

Games and Full Completeness for Multiplicative Linear Logic
ανά: Abramsky, S, κ.ά.
Έκδοση: (1994)

Games and Full Completeness for Multiplicative Linear Logic
ανά: Abramsky, S, κ.ά.
Έκδοση: (1992)

A fully abstract game semantics for general references
ανά: Abramsky, S, κ.ά.
Έκδοση: (1998)

Algorithmic Game Semantics and Component−Based Verification
ανά: Abramsky, S, κ.ά.
Έκδοση: (2003)

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
ανά: Bradfield, J, κ.ά.
Έκδοση: (2015)

Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
ανά: Abramsky, S, κ.ά.
Έκδοση: (1997)

Partially observable game-theoretic agent programming in Golog
ανά: Finzi, A, κ.ά.
Έκδοση: (2020)

The semantics of norms mining in multi-agent systems
ανά: Ahmed Mahmoud, Moamin, κ.ά.

Model-checking games for fixpoint logics with partial order models
ανά: Gutierrez, J, κ.ά.
Έκδοση: (2010)

Model-checking games for fixpoint logics with partial order models
ανά: Gutierrez, J, κ.ά.
Έκδοση: (2009)

Model-checking games for fixpoint logics with partial order models
ανά: Gutierrez, J, κ.ά.
Έκδοση: (2011)

Imperfect information in logic and concurrent games
ανά: Clairambault, P, κ.ά.
Έκδοση: (2013)

Whither semantics?
ανά: Abramsky, S
Έκδοση: (2019)

Game−Theoretic Agent Programming in Golog Under Partial Observability
ανά: Finzi, A, κ.ά.
Έκδοση: (2007)

Game−Theoretic Agent Programming in Golog under Partial Observability
ανά: Finzi, A, κ.ά.
Έκδοση: (2005)

Compositional relational reasoning via operational game semantics
ανά: Jaber, G, κ.ά.
Έκδοση: (2021)

Logic, semantics, ontology
ανά: Heck, Richard Gustave
Έκδοση: (2009)

Finding friend and foe in multi-agent games
ανά: Serrino, Jack, κ.ά.
Έκδοση: (2021)

A laboratory experiment on the minority games with aggregate information and partial information.
ανά: Hang, Tianyu., κ.ά.
Έκδοση: (2012)

Local equilibria in logic-based multi-player games
ανά: Gutierrez, J, κ.ά.
Έκδοση: (2018)

Classical mathematical logic : the semantic foundations of logic /
ανά: Epstein, Richard L., 1947-
Έκδοση: (2006)

Learning logic, logical games /
ανά: Dienes, Zoltan P. (Zoltan Paul), κ.ά.
Έκδοση: (1971)

Symbolic logic and the game of logic /
ανά: 389608 Carrol, Lewis
Έκδοση: (1958)

Semantic Foundations for Applicative Multiprogramming
ανά: Abramsky, S
Έκδοση: (1983)

Nominal Game Semantics
ανά: Tzevelekos, N
Έκδοση: (2009)