dblp.uni-trier.dewww.uni-trier.de

Francesco Belardinelli

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
5EEFrancesco 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
3EEFrancesco Belardinelli, Alessio Lomuscio: A quantified epistemic logic for reasoning about multiagent systems. AAMAS 2007: 87
2EEFrancesco Belardinelli, Alessio Lomuscio: A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems. CLIMA VIII 2007: 248-267
2004
1EEFrancesco Belardinelli, Peter Jipsen, Hiroakira Ono: Algebraic Aspects of Cut Elimination. Studia Logica 77(2): 209-240 (2004)

Coauthor Index

1Peter Jipsen [1]
2Alessio Lomuscio [2] [3] [4] [5]
3Hiroakira Ono [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)