Gianna Cioni

According to our database, Gianna Cioni authored at least 9 papers between 1976 and 1998.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1998

Intuitive minimal abduction in sequent calculi.

Bo Yi, XianPing Tao, Gianna Cioni, Attilio Colagrossi

J. Comput. Sci. Technol., 1998

1996

An Approach to Class Reasoning in Symbolic Computation.

Gianna Cioni, Attilio Colagrossi, Marco Temperini

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

1995

A Sequent Calculus for Automated Reasoning in Symbolic Computation Systems.

Gianna Cioni, Attilio Colagrossi, Alfonso Miola

J. Symb. Comput., 1995

1993

An Enhanced Sequent Calculus for Reasoning in a Given Domain.

Sabina Bonamico, Gianna Cioni, Attilio Colagrossi

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1993

1992

A Desk-Top Sequent Calculus Machine.

Gianna Cioni, Attilio Colagrossi, Alfonso Miola

Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1992

1988

Embedding Flexible Control Strategies into Object Oriented Languages.

Sabina Bonamico, Gianna Cioni

Proceedings of the Applied Algebra, 1988

1986

Meta-Reasoning and Data Structuring for Improving PROLOG Programming Style.

Claudio Arbib, Gianna Cioni

Proceedings of the Artificial Intelligence II: Methodology, Systems, Applications, 1986

1984

Programmed Deallocation Without Dangling Reference.

Gianna Cioni, Antoni Kreczmar

Inf. Process. Lett., 1984

1976

Using minicomputers for algebraic computations.

Gianna Cioni, Alfonso Miola

SIGSAM Bull., 1976