Game semantics

Results: 71



#Item
51Pragmatics / Science / Ambiguity / Critical thinking / Implicature / Referring expression / Loudspeaker / Communication / Perception / Semantics / Philosophy of language / Linguistics

Communicating with Cost-based Implicature: a Game-Theoretic Approach to Ambiguity Hannah Rohde University of Edinburgh 3 Charles Street Edinburgh, UK

Add to Reading List

Source URL: idiom.ucsd.edu

Language: English - Date: 2012-08-22 15:27:58
52Tile-based game / Manufacturing / Business / Technology / Engineering / Computer-integrated manufacturing

Semantics and the Web: e-Government Implications of some Emerging Technology Beyond W3C Adrian Walker www.reengineeringllc.com

Add to Reading List

Source URL: www.reengineeringllc.com

Language: English - Date: 2004-09-18 14:03:39
53Human-based computation / Applied linguistics / Data collection / Human-based computation game / Semantics / Word-sense disambiguation / Treebank / Annotation / International Corpus of English / Linguistics / Science / Computational linguistics

Phrase Detectives: Utilizing Collective Intelligence for Internet-Scale Language Resource Creation MASSIMO POESIO, JON CHAMBERLAIN, and UDO KRUSCHWITZ, University of Essex LIVIO ROBALDO, University of Turin LUCA DUCCESCH

Add to Reading List

Source URL: www.jonchamberlain.com

Language: English - Date: 2013-10-24 07:41:36
54Mathematics / Philosophical logic / Logic in computer science / Structure / Universal algebra / Symbol / Determinacy / Independence-friendly logic / Game semantics / Logic / Mathematical logic / Model theory

Imperfect Information in Logic and Concurrent Games Pierre Clairambault1 , Julian Gutierrez2 , and Glynn Winskel1 1 2

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-03-06 10:39:50
55Computer science / Applied mathematics / Concurrency / Denotational semantics / Actor model / Petri net / Game semantics / Domain theory / Semantics / Theoretical computer science / Models of computation / Logic in computer science

For the ACS course Advanced Topics in Concurrency Event Structures, Stable Families and Concurrent Games Glynn Winskel [removed]

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-02-05 13:06:24
56Philosophy / Game theory / Philosophy of mathematics / Mathematical logic / Johan van Benthem / Modal logic / Game semantics / Institute for Logic /  Language and Computation / Epistemic modal logic / Logic / Philosophical logic / Mathematics

1 Entry for International Directory of Logicians, 2008 VAN BENTHEM, Johannes Franciscus Abraham Karel Specialties: Modal logic, epistemic logic, dynamic logic, logics of time and space, semantics of natural language: gen

Add to Reading List

Source URL: staff.science.uva.nl

Language: English - Date: 2009-01-30 07:12:28
57Semantics / Model theory / Philosophical logic / Game theory / Interpretation / Optimality theory / Pragmatics / Entailment / Nash equilibrium / Logic / Science / Mathematics

Optimization Games: An Application Maria Aloni* [removed] A b s t r a c t In an optimization game (see [5]) speaker and addressee coordinate their choice of preferred syntactic form and preferred interpretation. I

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:50
58Semantics / Formal languages / Predicate logic / Independence-friendly logic / Game semantics / Interpretation / First-order logic / Model theory / Entailment / Logic / Philosophical logic / Metalogic

A Compositional Game Semantics for Multi-Agent Logics of Partial Information Samson Abramsky Oxford University Computing Laboratory Abstract

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2013-06-06 21:36:07
59Theoretical computer science / Applied mathematics / Generic programming / Sheaf / Combinatory logic / Holomorphic functional calculus / Mathematics / Computability theory / Lambda calculus

A Game Semantics for Generic Polymorphism Samson Abramsky Oxford University Computing Laboratory Radha Jagadeesan DePaul University

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2013-06-06 21:34:19
60Science / Nash equilibrium / Solution concept / Subgame / Trembling hand perfect equilibrium / Non-credible threat / Extensive-form game / Strategy / Stable model semantics / Game theory / Problem solving / Economics

Decisions, Agents and Games Marina De Vos* and Dirk Vermeir Dept. of Computer Science Free University of Brussels, VUB Pleinlaan 2, Brussels 1050, Belgium Tel: +[removed]

Add to Reading List

Source URL: www.tark.org

Language: English - Date: 2011-10-23 10:31:50
UPDATE