Silvana Zappacosta-Amboldi

According to our database, Silvana Zappacosta-Amboldi authored at least 3 papers between 1983 and 2005.

Collaborative distances:

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

2005

Multi-threaded Communicating Agents in Qu-Prolog (Tutorial Paper).

Keith L. Clark, Peter J. Robinson, Silvana Zappacosta-Amboldi

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2002

Distributed Implementation of a Connection Graph Based on Cylindric Set Algebra Operators.

Silvana Zappacosta-Amboldi

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

1983

Software Tools for First-Order Logic.

Jim Cunningham, Silvana Zappacosta-Amboldi

Softw. Pract. Exp., 1983