23 citations · 27 across the 3 of their papers we have counts for
4 papers
Bringing robustness to end-user programming
Mickaël Baron, Patrick Girard
In some cases, end-user programming allows the design of stand-alone applications. But none of the existing approaches is concerned by safety aspects of programming. Heavy techniqu…
Ceteris paribus logic in counterfactual reasoning
Patrick Girard, Marcus Anthony Triplett
The semantics for counterfactuals due to David Lewis has been challenged on the basis of unlikely, or impossible, events. Such events may skew a given similarity order in favour of…
Facebook and the Epistemic Logic of Friendship
Jeremy Seligman, Fenrong Liu, Patrick Girard
This paper presents a two-dimensional modal logic for reasoning about the changing patterns of knowledge and social relationships in networks organised on the basis of a symmetric…
Altered Stats: Two anyons via path integrals for multiply connected spaces
P. Girard, R. MacKenzie
We apply the formalism of path integrals in multiply connected spaces to the problem of two anyons.