239 search results - page 2 / 48 » Temporal Languages for Epistemic Programs |
POPL
2000
ACM
13 years 9 months ago
2000
ACM
PLPV
2012
ACM
12 years 4 days ago
2012
ACM
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
PLDI
2003
ACM
13 years 9 months ago
2003
ACM
CLIMA
2004
13 years 6 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
ATAL
2007
Springer
13 years 10 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...