Searching for authors named "Guido Governatori" – sorted by Relevance.
-
On the Relative Complexity of Labelled Modal Tableaux
- On the Relative Complexity of Labelled Modal Tableaux Guido Governatori Cooperative Information
- Add To MetaCart
-
A Duplication and Loop Checking Free Proof System for S4
- A Duplication and Loop Checking Free Proof System for S4 1 Introduction Guido Governatori CIRFID
- Cited by 3 (0 self) – Add To MetaCart
-
Defeasible description logic
- Defeasible Description Logics Guido Governatori School of Information Technology and Electrical
- Cited by 4 (3 self) – Add To MetaCart
-
Labelling Ideality and Subideality
- Labelling Ideality and Subideality ⋆ Guido Governatori CIRFID, University of Bologna via Galliera
- Cited by 2 (2 self) – Add To MetaCart
-
Dealing with contract violations: formalism and domain specific language
- Dealing with contract violations: formalism and domain specific language ∗ Guido Governatori
- Cited by 5 (4 self) – Add To MetaCart
-
An approach for validating BCL contract specifications
- An Approach for Validating BCL Contract Specifications Guido Governatori School of Information
- Cited by 2 (1 self) – Add To MetaCart
-
Labelled Modal Tableaux
- Labelled Modal Tableaux Guido Governatori abstract. Labelled tableaux are extensions of semantic
- Add To MetaCart
-
c ○ World Scientific Publishing Company A FORMAL ANALYSIS OF A BUSINESS CONTRACT LANGUAGE
- Systems c○ World Scientific Publishing Company A FORMAL ANALYSIS OF A BUSINESS CONTRACT LANGUAGE GUIDO
- Add To MetaCart
-
Labelled Tableaux for Multi-Modal Logics
- Labelled Tableaux for Multi-Modal Logics ⋆ Introduction Guido Governatori CIRFID, Università di
- Cited by 16 (9 self) – Add To MetaCart
-
Modal Tableaux for Nonmonotonic Reasoning
- 1 Introduction Alberto Artosi, Guido Governatori MODAL TABLEAUX FOR NONMONOTONIC REASONING Artosi
- Add To MetaCart

