Paola Cattabriga's web page 1

List of Publications
and Preprints

P. Cattabriga.
How to release Frege's system from Russell's antinomy. arXiv: 0705.0901v1
Abstract presented at Logic Colloquium 2006 , July 27 - August 2, Nijmegen, the Netherlands.
P. Cattabriga.
Beyond Uncountable.
Presented at the Symposium pour le Développement de la Théorie des Ensembles accessibles, Institut Henri Poincaré, Paris, 3-4 september 2003. arXiv:math.GM/0312360
P. Cattabriga.
Observations concerning Gödel's 1931. arXiv:math.GM/0306038
Abstract presented by title at 2006-07 ASL Winter Meeting New Orleans, Louisiana January 7-8, 2007.
P. Cattabriga.
For a new Comprehension.
In Contributed papers presented at The Second International Workshop on the History and Philosophy of Logic, Mathematics, and Computation (HPLMC-02), Donostia - San Sebastian, 7-9 November 2002, 96-103, ILCLI.
P. Cattabriga.
Beyond Undecidable.
In H. R. Arabnia (ed.), Proceedings of The International Conference on Artificial Intelligence, IC-AI'2000, Las Vegas, Nevada, USA, June 26-29, 2000, Volume III, 1475-1481, CSREA Press. ( arXiv:math.GM/0606713 )
P. Cattabriga.
An Automated Modal Framework for Nonmonotonic Reasoning: a Prolog Implementation.
In Atti del Convegno Triennale SILFS - Prospettive della logica e della Filosofia della scienza Roma, 3-5 gennaio 1996, 215-226,1998, ETS, Pisa.
A. Artosi, P. Cattabriga and G. Governatori.
A Modal Computational Framework for Default Reasoning.
KI97, 21st German Annual Conference on Artificial Intelligence, 373-376,1997, LNCS 1303. ( .pdf )
P. Cattabriga and A. Provetti.
Actions and Stable Semantics for Legal Norms.
In From Practical Reason to Legal Computer Science,
Proceedings of the 17th IVR World Congress - Challenges to law at the End of the 20th Century, 259-276, 1997, Clueb, Bologna.
P. Cattabriga.
KEM: Implemented.
Annali dell'Universita' di Ferrara, Nuova Serie, Sezione III, Filosofia, Discussion papers n. 47: 1-58, 1996.
P. Cattabriga and A. Provetti.
Stable Semantics for a non-Dyadic Analisys of Legal Norms.
In European Journal of Law, Philosophy and Computer Science, 5: 266-275, 1995, Clueb, Bologna.
A. Artosi, P. Cattabriga and G. Governatori.
A Prolog Implementation of KEM.
In Proceedings of GULP-PRODE'95, Joint Conference on Declarative Programming: 395-400, September 1995. ( .pdf )
A. Artosi, P. Cattabriga and G. Governatori.
An Automated Approach to Deontic Reasoning.
In J. Breuker (ed.), Artificial Normative Reasoning, Workshop ECAI 1994: 132-145, Amsterdam, 1994. ( .pdf )
A. Artosi, P. Cattabriga and G. Governatori.
KED: A Deontic Theorem Prover.
In C. Biagioli, G. Sartor, and D. Tiscornia (eds.), Workshop on Legal Application of Logic Programming S. Margherita Ligure (Genoa), Italy, June, 18, 1994, IDG/CNR, Workshop ICLP '94: 60-76, Firenze, 1994. ( .pdf )

Up to Paola's main page:

Scalae intells,
Liber de ascensu et descensu intellectus, Ramon Lull, 1512

January 30 2008 / Homepage / Paola Cattabriga

Free counter

Hosted by www.Geocities.ws

List of Publications and Preprints

List of Publications
and Preprints