|
|
You might also want to check my page on DBLP.
2012
2011
- F. Belardinelli, A. Lomuscio, F. Patrizi. Verification of Deployed
Artifact Systems via Data Abstraction, Proceedings of the 9th
International Conference on Service Oriented Computing
(ICSOC2011). Paphos, Cyprus. Springer, 2011.
- F. Belardinelli,
A. Lomuscio, F. Patrizi. A Computationally Grounded Semantics for
Artifact-centric Systems and Abstraction Results. Proceedings of the
22nd International Joint Conference on Artificial Intelligence
(IJCAI11). Barcelona, Spain. AAAI Press, 2011.
- F. Belardinelli, A. Jones,
A. Lomuscio; Model Checking
Temporal-Epistemic Logic Using Tree Automata, Fundamenta
Informaticae. 112(1), pp. 19-37, 2011.
- F. Belardinelli,
A. Lomuscio; First-Order
Linear-time Epistemic Logic Group Knowledge: An Axiomatisation of
the Monodic Fragment, Fundamenta Informaticae. 106 (2-4),
pp. 175-190, 2011.
2010
- F. Belardinelli, A. Jones, A. Lomuscio; Model Checking Temporal-Epistemic Logic Using Tree Automata, Proceedings of the 13th International Workshop on Concurrency, Specification and Programming (CS&P10). Helenenau, Germany.
- F. Belardinelli, A. Lomuscio; Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems, Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010), F. Lin, U. Sattler and M. Truszczynski editors, AAAI Press.
2009
- F. Belardinelli, A. Lomuscio; First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment, Proceedings of the Workshop on Logic, Language, Information and Computation (WoLLIC09), H. Ono, M. Kanazawa and R. de Queiroz editors, 140-154, Springer.
- F. Belardinelli, A. Lomuscio; Quantified epistemic logics for reasoning about knowledge in multi-agent systems, Artificial Intelligence, 173(9-10): 982-1013.
2008
2007
- F. Belardinelli, A. Lomuscio; A Quantified Epistemic Logic for Reasoning about Multi-Agent Systems, Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS07), 1-3, ACM, New York, USA.
- F. Belardinelli, A. Lomuscio; A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems, Computational Logic in Multi-Agent Systems, 8th International Workshop (CLIMAVIII), Revised Selected and Invited Papers, F. Sadri and K. Saton editors, 248-267, Springer.
- F. Belardinelli, A. Lomuscio; Quantified Epistemic Logics with Flexible Terms, A Meeting of the Minds: Proceedings of the Workshop on Logic, Rationality and Interaction (LORI07). J. van Benthem, S. Ju and F. Veltman editors, 113-128, College Publications, London.
2006
2004
|