| |
| 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 | ||
| 9 | EE | Gian 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 | ||
| 6 | EE | Gian 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) | |
| 1 | Cristina Bicchieri | [3] [4] [5] |
| 2 | Eithan Ephrati | [5] |
| 3 | Richmond H. Thomason | [11] |