Searching for authors named "Rosella Gennari" – sorted by Relevance.
-
Temporal Reasoning and Constraint Programming - A Survey
- Temporal Reasoning and Constraint Programming A Survey Rosella Gennari Contents 1 Introduction 6
- Cited by 3 (0 self) – Add To MetaCart
-
Constraint Propagation and Diamond Satisfaction
- MappingInferences Con‚raintPropagationandDiamondSatiƒaction MI CD RosellaGennariMapping Inferences
- Add To MetaCart
-
Encoding requests to web service compositions as constraints
- 1 , and Rosella Gennari 2 1 DIT, Trento U., via Sommarive 14, 38050 Trento, IT, {lazovik
- Cited by 4 (0 self) – Add To MetaCart
-
AN ONTOLOGY FOR A WEB DICTIONARY OF ITALIAN SIGN LANGUAGE
- AN ONTOLOGY FOR A WEB DICTIONARY OF ITALIAN SIGN LANGUAGE Rosella Gennari KRDB, Free University
- Add To MetaCart
-
Constraint Programming for Modelling and Solving Modal Satisfiability
- Constraint Programming for Modelling and Solving Modal Satisfiability Sebastian Brand 1 , Rosella
- Cited by 4 (2 self) – Add To MetaCart
-
Finite CSP Solvers for Modal Satisfiability
- Sebastian. Brand@ cwi. nl Rosella Gennari ITC-irst, Trento, Italy gennari@ irst. itc. it Maarten de Rijke
- Cited by 1 (0 self) – Add To MetaCart
-
Modelling Modal Satisfiability in Constraint Logic Programming
- Modelling Modal Satisfiability in Constraint Logic Programming Sebastian Brand 1 , Rosella Gennari
- Cited by 1 (0 self) – Add To MetaCart
-
Constraint Methods for Modal Satisfiability
- Constraint Methods for Modal Satisfiability Sebastian Brand 1 , Rosella Gennari 2 , and Maarten de
- Cited by 1 (0 self) – Add To MetaCart
-
Tree-Based Heuristics in Modal Theorem Proving
- Tree-Based Heuristics in Modal Theorem Proving Carlos Areces 1 and Rosella Gennari 2 and Juan
- Cited by 17 (8 self) – Add To MetaCart
-
Constraint Programming for
- Constraint Programming for Modelling and Solving Modal Satisfiability Sebastian Brand 1 , Rosella
- Add To MetaCart

