Back to Results
First PageMeta Content
Mathematics / Common knowledge / Epistemic modal logic / Probabilistic logic / Kripke semantics / Modal operator / Dynamic logic / Temporal logic / Belief revision / Logic / Mathematical logic / Modal logic


Hans van Ditmarsch EPS – Project numberfor public dissemination
Add to Reading List

Document Date: 2013-08-13 03:09:02

Open Document

File Size: 168,69 KB

Share Result on Facebook

City

Seville / /

Event

Product Issues / /

Facility

More complex / The highway / /

IndustryTerm

synchronous and asynchronous multi-agent systems / asynchronous multi-agent systems / Secure protocols / reactive systems / multi-agent systems / closed and open systems / genetic algorithms / asynchronous systems / communication protocols / then modelling protocols / forward handshake protocol / information-based security protocols / bit protocol / epistemic protocol / partial protocol / /

Organization

European Research Council / /

Person

Hans van Ditmarsch / /

Position

Principal Investigator / player / /

Product

communication channels / /

Technology

then modelling protocols / epistemic protocol / artificial intelligence / peer-to-peer / partial protocol / one-step protocol / Simulation / communication protocols / alternating bit protocol / forward handshake protocol / information-based security protocols / /

SocialTag