DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Game semantics
Game semantics
Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation
A Game Theoretical Semantics for a Logic of Formal Inconsistency
Game Semantics of Homotopy Type Theory
The Game Semantics of Game Theory
Game Theoretical Semantics for Paraconsistent Logics
A Game Theoretical Semantics for Logics of Nonsense
Semantics of Interaction Samson Abramsky
Algorithmic Game Semantics and Component-Based Verification
DIALECTICAL GAMES in the ACADEMY Benoît Castelnérac† & Mathieu Marion‡
Game Semantics
Nominal Game Semantics
Intensionality, Definability and Computation
Constructive Game Logic ⋆
Resource Modalities in Game Semantics Paul-André Melliès, Nicolas Tabareau
Interaction Systems and Linear Logic, a Different Games Semantics Pierre Hyvernat
The Conception of Truth in Game Semantics and Linear Logic
Semantics of Interaction Samson Abramsky
Game Semantics in String Diagrams
Top View
Infinite-Game Semantics for Logic Programming Languages
A Logic for Specifying Contracts in Semantic Web Services
'Games That Make Sense': Logic, Language, and Multi-Agent Interaction
April 24, 2013 19:54 WSPC/INSTRUCTION FILE Mood˙Classification COMBINING LANGUAGE MODELING and LSA on GREEK SONG “WORDS” FO
Extended Game-Theoretical Semantics Manuel Rebuschi
Symbolic Execution Game Semantics Yu-Yang Lin Queen Mary University of London, UK Nikos Tzevelekos Queen Mary University of London, UK
Game Semantics and Normalization by Evaluation Pierre Clairambault, Peter Dybjer
Ancestor Worship in the Logic of Games. How Foundational Were Aristotle's Contributions?
Game Semantics
Power Resume Search
Aristotle's Ategorical Syllogisms As Dialectical Games. Work in Progress
Game Semantics for Type Soundness
Fuzzy Semantics of Contract Language
Applications of Game Semantics: from Program Analysis to Hardware Synthesis
An Invitation to Game Semantics
Concurrent Game Semantics: Easy As Pi Simon Castellan, Léo Stefanesco, Nobuko Yoshida
Knowledge and Games in Modal Semirings
Game Semantics of Martin-Lo127 of Type Theory
On Complexity of Delp Through Game Semantics∗
A System-Level Game Semantics
Refinement-Based Game Semantics for Certified Abstraction Layers∗
GAME SEMANTICS for FIRST-ORDER LOGIC Introduction
Semantic Navigation in Video Games Msc Thesis L.M
Constructive Type Theory and the Dialogical Approach To
An Ontology for Role Playing Games
University of Birmingham Latent Semantic Analysis of Game Models
Game Semantics: Easy As Pi Introducing Programming Game Semantics
Natural Language Processing Week 02 Chapter 1
LSA for Mining Hidden Information in Action Game Semantics
On the Learnability of Programming Language Semantics
Refinement Calculus
Modal Knowledge and Game Semirings
Introduction to Game Semantics (PDF)
Extracting and Learning Semantics from Social Web Data