 | 2011 |
|---|
| 11 |       | Francesco Belardinelli,
Alessio Lomuscio,
Fabio Patrizi:
Verification of Deployed Artifact Systems via Data Abstraction.
ICSOC 2011: 142-156 |
| 10 | | Francesco Belardinelli,
Alessio Lomuscio,
Fabio Patrizi:
A Computationally-Grounded Semantics for Artifact-Centric Systems and Abstraction Results.
IJCAI 2011: 738-743 |
| 9 | | Francesco Belardinelli,
Alessio Lomuscio:
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.
Fundam. Inform. 106(2-4): 175-190 (2011) |
| 8 | | Francesco Belardinelli,
Andrew V. Jones,
Alessio Lomuscio:
Model Checking Temporal-Epistemic Logic Using Alternating Tree Automata.
Fundam. Inform. 112(1): 19-37 (2011) |
| 2010 |
|---|
| 7 | | Francesco Belardinelli,
Alessio Lomuscio:
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems.
KR 2010 |
| 2009 |
|---|
| 6 | | Francesco Belardinelli,
Alessio Lomuscio:
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment.
WoLLIC 2009: 140-154 |
| 5 | | 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 | | Francesco Belardinelli,
Alessio Lomuscio:
A quantified epistemic logic for reasoning about multiagent systems.
AAMAS 2007: 87 |
| 2 | | Francesco Belardinelli,
Alessio Lomuscio:
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems.
CLIMA 2007: 248-267 |
| 2004 |
|---|
| 1 | | Francesco Belardinelli,
Peter Jipsen,
Hiroakira Ono:
Algebraic Aspects of Cut Elimination.
Studia Logica 77(2): 209-240 (2004) |
Data released under the ODC-BY 1.0 license — See also our legal information page