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

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

Bibliografske podrobnosti
Glavni avtor:	Abramsky, S
Format:	Conference item
Izdano:	Amsterdam University Press 2007

Podobne knjige/članki

Semantics of Interaction: an introduction to Game Semantics
od: Abramsky, S
Izdano: (1997)

Game Semantics
od: Abramsky, S, et al.
Izdano: (1999)

From CSP to Game Semantics
od: Abramsky, S
Izdano: (2010)

Games in the Semantics of Programming Languages
od: Abramsky, S
Izdano: (1997)

Game Semantics for Programming Languages
od: Abramsky, S
Izdano: (1997)

Observational Logic and Process Semantics (Abstract)
od: Abramsky, S
Izdano: (1989)

Applying Game Semantics to Compositional Software Modelling and verification
od: Abramsky, S, et al.
Izdano: (2004)

Quantales‚ Observational Logic and Process Semantics
od: Abramsky, S, et al.
Izdano: (1993)

Algorithmic Game Semantics: A Tutorial Introduction
od: Abramsky, S
Izdano: (2001)

Game Semantics for Access Control
od: Abramsky, S, et al.
Izdano: (2009)

A Game semantics for Generic Polymorphism
od: Abramsky, S, et al.
Izdano: (2003)

A Game Semantics for Generic Polymorphism
od: Abramsky, S, et al.
Izdano: (2005)

Sequentiality vs. concurrency in games and logic
od: Abramsky, S
Izdano: (2003)

Game semantics for dependent types
od: Vákár, M, et al.
Izdano: (2018)

Concurrent logic games on partial orders
od: Gutierrez, J
Izdano: (2011)

Games and Full Completeness for Multiplicative Linear Logic
od: Abramsky, S, et al.
Izdano: (1994)

Games and Full Completeness for Multiplicative Linear Logic
od: Abramsky, S, et al.
Izdano: (1992)

A fully abstract game semantics for general references
od: Abramsky, S, et al.
Izdano: (1998)

Algorithmic Game Semantics and Component−Based Verification
od: Abramsky, S, et al.
Izdano: (2003)

Partial-order Boolean games: informational independence in a logic-based model of strategic interaction
od: Bradfield, J, et al.
Izdano: (2015)

Linearity‚ Sharing and State: a fully abstract game semantics for Idealized Algol
od: Abramsky, S, et al.
Izdano: (1997)

Partially observable game-theoretic agent programming in Golog
od: Finzi, A, et al.
Izdano: (2020)

The semantics of norms mining in multi-agent systems
od: Ahmed Mahmoud, Moamin, et al.

Model-checking games for fixpoint logics with partial order models
od: Gutierrez, J, et al.
Izdano: (2010)

Model-checking games for fixpoint logics with partial order models
od: Gutierrez, J, et al.
Izdano: (2009)

Model-checking games for fixpoint logics with partial order models
od: Gutierrez, J, et al.
Izdano: (2011)

Imperfect information in logic and concurrent games
od: Clairambault, P, et al.
Izdano: (2013)

Whither semantics?
od: Abramsky, S
Izdano: (2019)

Game−Theoretic Agent Programming in Golog Under Partial Observability
od: Finzi, A, et al.
Izdano: (2007)

Game−Theoretic Agent Programming in Golog under Partial Observability
od: Finzi, A, et al.
Izdano: (2005)

Compositional relational reasoning via operational game semantics
od: Jaber, G, et al.
Izdano: (2021)

Logic, semantics, ontology
od: Heck, Richard Gustave
Izdano: (2009)

Finding friend and foe in multi-agent games
od: Serrino, Jack, et al.
Izdano: (2021)

A laboratory experiment on the minority games with aggregate information and partial information.
od: Hang, Tianyu., et al.
Izdano: (2012)

Local equilibria in logic-based multi-player games
od: Gutierrez, J, et al.
Izdano: (2018)

Classical mathematical logic : the semantic foundations of logic /
od: Epstein, Richard L., 1947-
Izdano: (2006)

Learning logic, logical games /
od: Dienes, Zoltan P. (Zoltan Paul), et al.
Izdano: (1971)

Symbolic logic and the game of logic /
od: 389608 Carrol, Lewis
Izdano: (1958)

Semantic Foundations for Applicative Multiprogramming
od: Abramsky, S
Izdano: (1983)

Nominal Game Semantics
od: Tzevelekos, N
Izdano: (2009)