Paola Cattabriga

According to our database, Paola Cattabriga authored at least 4 papers between 1994 and 2013.

Collaborative distances:

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

2013

A note on Türing's 1936.

Paola Cattabriga

CoRR, 2013

1997

A Modal Computational Framework for Default Reasoning.

Alberto Artosi, Paola Cattabriga, Guido Governatori

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

1995

A Prolog Implementation of Kem.

Alberto Artosi, Paola Cattabriga, Guido Governatori

Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994

KED: A Deontic Theorem Prover.

Alberto Artosi, Paola Cattabriga, Guido Governatori

Proceedings of the ICLP 1994 Workshop W12: Legal Application of Logic Programming, 1994