| |
| 2009 | ||
|---|---|---|
| 5 | EE | Francesco Belardinelli, Alessio Lomuscio: Quantified epistemic logics for reasoning about knowledge in multi-agent systems. Artif. Intell. 173(9-10): 982-1013 (2009) |
| 2008 | ||
| 4 | Francesco Belardinelli, Alessio Lomuscio: A Complete First-Order Logic of Knowledge and Time. KR 2008: 705-714 | |
| 2007 | ||
| 3 | EE | Francesco Belardinelli, Alessio Lomuscio: A quantified epistemic logic for reasoning about multiagent systems. AAMAS 2007: 87 |
| 2 | EE | Francesco Belardinelli, Alessio Lomuscio: A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. CLIMA VIII 2007: 248-267 |
| 2004 | ||
| 1 | EE | Francesco Belardinelli, Peter Jipsen, Hiroakira Ono: Algebraic Aspects of Cut Elimination. Studia Logica 77(2): 209-240 (2004) |
| 1 | Peter Jipsen | [1] |
| 2 | Alessio Lomuscio | [2] [3] [4] [5] |
| 3 | Hiroakira Ono | [1] |