Alberto Artosi

According to our database, Alberto Artosi authored at least 9 papers between 1994 and 2002.

Collaborative distances:

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

2002

Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations.

Alberto Artosi, Guido Governatori, Antonino Rotolo

J. Log. Comput., 2002

2000

A tableau methodology for deontic conditional logics

Alberto Artosi, Guido Governatori

CoRR, 2000

A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations.

Alberto Artosi, Guido Governatori, Antonino Rotolo

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

1997

A Modal Computational Framework for Default Reasoning.

Alberto Artosi, Paola Cattabriga, Guido Governatori

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

1996

Labelled Proofs for Quantified Modal Logic.

Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Towards a Computational Treatment of Deontic Defeasibility.

Alberto Artosi, Guido Governatori, Giovanni Sartor

Proceedings of the Deontic Logic, Agency and Normative Systems, 1996

Shakespearian Modal Logic: A Labelled Treatment of Modal Identity.

Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo

Proceedings of the Advances in Modal Logic 1, 1996

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