References
-
A. Formisano,
E.G. Omodeo,
and
A. Policriti.
The axiom of elementary sets. I: Three-variable
statements of set-pairing.
Research report n.19/02. Dipartimento di Matematica
e Informatica, Univ. di Perugia, 2002.
-
A. Formisano,
E.G.Omodeo,
and
A.Policriti.
Three-variable statements of set-pairing.
Denis Richard 60th
Birthday Conference, Laboratoire de Logique, Algorithmique et Informatique
de Clermont-Ferrand, France, May 16-17, 2002.
-
A. Formisano,
E.G.Omodeo,
and
A.Policriti.
Automated validation of three-variable formulations of set pairing.
Special Session on Automated Reasoning in Mathematics and Logic, J.G.F.Belinfante ed.,
2002-AMS and MAA Spring Southeastern
Section Meeting, Atlanta, GA, March 8-10, 2002.
(Also presented at
Workshop of WA2 and WA3,
April 10-14, 2002, L'Aquila. Meeting of the project TARSKI, COST
Action N.274.)
-
A. Formisano,
E.G.Omodeo,
and
M.Temperini.
Instructing equational set-reasoning with Otter.
In R.Gore, A.Leitsch, and T.Nipkow eds.,
Automated Reasoning.
Proc. of First International Joint Conference,
IJCAR 2001--(CADE+FTP+TABLEAUX),
Lecture
Notes in Computer Science 2083, pages 152-167,
Springer-Verlag, 2001.
-
A. Formisano,
E.G.Omodeo,
and
M.Temperini.
Layered map reasoning: An experimental approach put to trial on sets.
In A. Dovier, M.-C. Meo, and A. Omicini Eds.,
Declarative Programming - Selected Papers from AGP 2000.
Electronic
Notes in Theoretical Computer Science, 48:1-28,
Elsevier Science B. V., 2001.
-
A. Formisano,
E.G.Omodeo,
and
M.Simeoni.
A graphical approach to relational reasoning.
In W. Kahl, D. L. Parnas, and G. Schmidt Eds.,
Proc. of Relational Methods in Software,
RelMiS 2001 (ETAPS 2001).
Electronic
Notes in Theoretical Computer Science, 44(3),
Elsevier Science B. V., 2001.
(Also in Bericht Nr.2001-02, Relational Methods in Software, RelMiS 2001.
Fakultaet
fuer
Informatik, Universitaet der Bundeswehr Muenchen. April, 2001.)
-
A. Formisano
and
E.G.Omodeo.
Initial experiments in equational set reasoning.
AI*IA-Notizie, XIII(1), Periodico
dell'Associazione Italiana per
l'Intelligenza Artificiale, March 2000.
-
A.Chiacchiaretta,
A. Formisano,
and
E.G.Omodeo.
Map reasoning through existential multigraphs.
Report 05/00, Dipartimento di Matematica Pura ed Applicata,
Università di L'Aquila, April 2000.
-
A. Formisano,
E.G.Omodeo,
and
M.Temperini.
Goals and Benchmarks for Automated Map Reasoning.
J. of Symbolic
Computation,
29(2),
pp. 259-297, February 2000.
-
A. Formisano,
and
E.G.Omodeo.
An equational re-engineering of set theories.
In G.Salzer and R.Caferra eds.
Automated Deduction in Classical and Non-Classical Logics.
Lecture
Notes in Computer Science 1761, pages 175-190,
Springer-Verlag, Berlin, 2000.
(Extended version of FTP98).
-
A.Chiacchiaretta,
A. Formisano,
and
E.G.Omodeo.
Benchmark #1 for equational set theory.
Associazione Italiana per l'Intelligenza
Artificiale (AI*IA),
giornata di lavori sul tema:
Analisi sperimentale di algoritmi per l'Intelligenza Artificiale.
December 1999. Roma, Italy.
Electronic proceedings in
http://www.dis.uniroma1.it/~rcra/roma99.
-
A.Dovier,
A. Formisano,
and
E.G.Omodeo.
Provable $\exists^\ast\forall$-sentences about sets with atoms.
In B. Jayaraman and G.-F. Rossi, eds.,
Quaderni del Dipartimento di Matematica, n.200, pp.9-17,
Università di Parma.
Proceedings of the
DPS'99-PLI'99,
Workshop on Declarative Programming with Sets.
Paris, France. September 27, 1999.
-
A. Formisano,
E.G.Omodeo,
and
M.Temperini.
Map Calculus: a link between algebraic specification and
first-order theorem-proving.
In proceedings of the
first workshop of the project `Sistemi formali per la specifica, l'analisi,
la verifica, la sintesi e la trasformazione di sistemi software'.
TFSiS98. Report SI-98/11, DSI, Univ. "La Sapienza", Rome.
Centro Congressi dell'Università "La Sapienza", Rome. December 21-23,
1998.
-
A. Formisano,
and
E.G.Omodeo.
An equational re-engineering of set theories.
In G.Salzer and R.Caferra eds.
Proceedings of the International Workshop on
First-order Theorem Proving.
FTP98.
Technical Report E1852-GS-981,
Technische Universität Wien.
Schloss Wilhelminenberg, Wien, Austria. November 23-25, 1998.
-
F.Aureli,
A. Formisano,
E.G.Omodeo,
and
M.Temperini.
Map Calculus: Initial application scenarios and experiments
based on Otter.
Report 466, IASI-CNR, 1998.