Back to Results
First PageMeta Content
Linear temporal logic / Mathematical logic / Logic / Norm / Modal logic


Reasoning about Normative Update Natasha Alechina University of Nottingham Nottingham, UK [removed]
Add to Reading List

Document Date: 2013-04-23 07:25:54

Open Document

File Size: 154,58 KB

Share Result on Facebook

City

Hamburg / Dakar / /

Company

Normative Multiagent Systems / Agent-Based Systems / Multiagent Systems / Multi-Agent Systems / /

Country

Germany / Senegal / /

/

Facility

College Publications / Brian Logan University of Nottingham Nottingham / Normative Update Natasha Alechina University of Nottingham Nottingham / /

IndustryTerm

non-deterministic algorithm / concrete model-checking algorithm / concrete algorithm / modelchecking algorithm / finite-state concurrent systems / /

Organization

Brian Logan University of Nottingham Nottingham / Normative Update Natasha Alechina University of Nottingham Nottingham / Utrecht University / /

Person

Thomas Henzinger / Moshe Y. Vardi / Thomas Agotnes / Michael Luck / Orna Kupferman / Vincent Conitzer / Rajeev Alur / John-Jules Ch / Computational Logic / Lin Padgham / Yves Lesp´erance / Wiebe van der Hoek / Gal A. Kaminka / Louise A. Dennis / Nick A. M. Tinnemeier / Wojciech Jamroga / Michael Winikoff / Sandip Sen / Nils Bulling / Max Knobbout / Aniello Murano / Michael Zakharyaschev / Andrei Voronkov / Mehdi Dastani / Michael Fisher / John-Jules Meyer / Fabio Mogavero / Nobu-Yuki Suzuki / Leon van der Torre / Frank Wolter / J. Broersen / V / Davide Grossi / Michael Wooldridge / /

Position

King / designer / system designer / player / /

ProgrammingLanguage

J / /

PublishedMedium

Journal of the ACM / Lecture Notes in Computer Science / /

Technology

Intelligent Agent Technology / modelchecking algorithm / ast Non-deterministic algorithms / CTL algorithm / non-deterministic algorithm / concrete model-checking algorithm / /

SocialTag