Searching for authors named "Rosella Gennari" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
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
Showing 1 through 10.
