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

Gian Aldo Antonelli

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

2002
11 Gian Aldo Antonelli, Richmond H. Thomason: Representability in Second-Order Propositional Poly-Modal Logic. J. Symb. Log. 67(3): 1039-1054 (2002)
10 Gian Aldo Antonelli: The Complexity of Revision, Revised. Notre Dame Journal of Formal Logic 43(2): 75-78 (2002)
1999
9EEGian Aldo Antonelli: A Directly Cautious Theory of Defeasible Consequence for Default Logic via the Notion of General Extension. Artif. Intell. 109(1-2): 71-109 (1999)
8 Gian Aldo Antonelli: Free Set Algebras Satisfying Systems of Equations. J. Symb. Log. 64(4): 1656-1674 (1999)
1998
7 Gian Aldo Antonelli: Extensional Quotients for Type Theory and the Consistency Property for NF. J. Symb. Log. 63(1): 247-261 (1998)
1997
6EEGian Aldo Antonelli: Defeasible Inheritance on Cyclic Networks. Artif. Intell. 92(1-2): 1-12 (1997)
1995
5 Cristina Bicchieri, Eithan Ephrati, Gian Aldo Antonelli: Games Servers Play: A Procedural Approach. ATAL 1995: 127-142
4 Cristina Bicchieri, Gian Aldo Antonelli: Game-Theoretic Axioms for Local Rationality and Bounded Knowledge. Journal of Logic, Language and Information 4(2): 145-167 (1995)
1994
3 Gian Aldo Antonelli, Cristina Bicchieri: Backwards Forward Induction. TARK 1994: 24-43
2 Gian Aldo Antonelli: The Complexity of Revision. Notre Dame Journal of Formal Logic 35(1): 67-72 (1994)
1 Gian Aldo Antonelli: A Revision-Theoretic Analysis of the Arithmetical Hierarchy. Notre Dame Journal of Formal Logic 35(2): 204-218 (1994)

Coauthor Index

1Cristina Bicchieri [3] [4] [5]
2Eithan Ephrati [5]
3Richmond H. Thomason [11]

Colors in the list of coauthors

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