Alternating-time Temporal Logic - PDFSEARCH.IO - Document Search Engine

Alternating-time Temporal Logic
Results: 10

#	Item
1	Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 17:31:43
2	piotr ka z´ mierczak A G E N T S T H AT P L AY B Y T H E R U L E S Piotr Ka´zmierczak: Agents that Play by the Rules, Using Social Laws for Coordination of Multiagent Systems, © October 2014 Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-02 10:18:50 Artificial intelligence Multi-agent systems Formal sciences Simulation Alternating-time Temporal Logic Modal logic Norm Temporal logic Game theory International Conference on Autonomous Agents and Multiagent Systems Logic Agent-based model
3	Game-Theoretic Semantics for Alternating-Time Temporal Logic arXiv:1602.07667v1 [math.LO] 24 FebValentin Goranko1 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2016-05-03 02:41:58
4	Alternating-Time Temporal Logic RAJEEV ALUR University of Pennsylvania, Philadelphia, Pennsylvania THOMAS A. HENZINGER University of California, Berkeley, California Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-03-05 17:31:43
5	Alternating-time Temporal Logics with Irrevocable Strategies Agotnes Thomas ˚ Dept. of Computer Engineering Bergen University College, Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-05-18 19:37:50 Logic Mathematical logic Model theory Mathematics Formal languages Linear temporal logic Temporal logic Symbol Substitution Interpretation Structure Constructible universe
6	Logic for Automated Mechanism Design — A Progress Report Michael Wooldridge∗ Thomas Agotnes† ∗ Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-07-21 09:47:36 Game theory Artificial intelligence Formal epistemology Modal logic Logic in computer science Common knowledge Epistemic modal logic Intelligent agent Alternating-time Temporal Logic Temporal logic Social software Mechanism design
7	Agents and Roles: Renement in Alternating-Time Temporal Logic Mark Ryan1 and Pierre-Yves Schobbens2 1 School of Computer Science Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-02-25 10:33:25
8	Relentful Strategic Reasoning in Alternating-Time Temporal Logic Fabio Mogavero∗,† Universitá degli Studi di Napoli "Federico II", INapoli, Italy. Aniello Murano† Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-04-24 14:08:43
9	Resource-bounded alternating-time temporal logic Natasha Alechina Brian Logan Nguyen Hoang Nga Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-01-22 13:16:00 Logical connective Logic Symbol Entailment
10	Resource-bounded alternating-time temporal logic Natasha Alechina Brian Logan Nguyen Hoang Nga Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-09-15 07:35:29 Logical connective Logic Symbol Entailment

UPDATE