Searching for authors named "Guido Governatori" – sorted by Relevance.
100 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
