313 citations
- University of AmsterdamNL58 papers
- Eindhoven University of TechnologyNL56 papers
- Vrije Universiteit AmsterdamNL15 papers
- Radboud University NijmegenNL14 papers
- Leiden UniversityNL13 papers
- Centre National de la Recherche ScientifiqueFR11 papers
- College of Western IdahoUS11 papers
- University of OxfordGB8 papers
- University of WaterlooCA8 papers
- Delft University of TechnologyNL7 papers
- University of California, BerkeleyUS7 papers
- Sorbonne UniversitéFR6 papers
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016★ 13 cited
A Compositional Framework for Preference-Aware Agents
Tobias Kappé, Farhad Arbab, Carolyn Talcott
A formal description of a Cyber-Physical system should include a rigorous specification of the computational and physical components involved, as well as their interaction. Such a…
cs.LO2016★ 25 cited
Knowing Values and Public Inspection
Jan van Eijck, Malvin Gattinger, Yanjing Wang
We present a basic dynamic epistemic logic of "knowing the value". Analogous to public announcement in standard DEL, we study "public inspection", a new dynamic operator which upda…