Searching for authors named "Viviana Patti" – sorted by Relevance.
-
Conformance and Interoperability in Open Enviroments
- an invocation that respects its public Matteo Baldoni, Cristina Baroglio, Alberto Martelli, and Viviana Patti
- Add To MetaCart
-
Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions
- Matteo Baldoni, Cristina Baroglio, and Viviana Patti Dipartimento di Informatica — Università degli Studi
- Cited by 2 (0 self) – Add To MetaCart
-
Applying Logic Inference Techniques for Gaining Flexibility and Adaptivity in Tutoring Systems
- Abstract Matteo Baldoni, Cristina Baroglio, Viviana Patti Dipartimento di Informatica, Università degli
- Cited by 4 (4 self) – Add To MetaCart
-
A Modal Programming Language for Representing Complex Actions
- , Alberto Martelli, and Viviana Patti Dipartimento di Informatica --- Universit`a degli Studi di Torino C
- Cited by 10 (6 self) – Add To MetaCart
-
An Abductive Proof Procedure for Reasoning about Actions in Modal Logic P r o g r a m m i n g
- and Viviana Patti Dipartimento di Informatica - Universit`a di Torino C.so Svizzera 185 - 10149 Torino, ITALY
- Cited by 14 (10 self) – Add To MetaCart
-
Reasoning about Complex Actions with Incomplete Knowledge: a Modal Approach
- , Laura Giordano 2 , Alberto Martelli 1 , and Viviana Patti 1 1 Dipartimento di Informatica
- Cited by 16 (15 self) – Add To MetaCart
-
Using a Rational Agent in an Adaptive, Web-Based Tutoring System
- , Viviana Patti, Laura Torasso Dipartimento di Informatica — Università degli Studi di Torino C.so Svizzera
- Cited by 8 (6 self) – Add To MetaCart
-
Reasoning about interaction protocols for web service composition
- Baroglio, 1 ,2 Alberto Martelli, and Viviana Patti Dipartimento di Informatica Università degli
- Cited by 7 (6 self) – Add To MetaCart
-
Programming Goal-driven Web Sites using an Agent Logic Language
- , Alessandro Chiarotto, and Viviana Patti Dipartimento di Informatica — Università degli Studi di Torino, C
- Cited by 8 (7 self) – Add To MetaCart
-
Reasoning about self and others: communicating agents in a modal action logic
- , Cristina Baroglio, Alberto Martelli, and Viviana Patti Dipartimento di Informatica — Università degli Studi
- Cited by 19 (19 self) – Add To MetaCart

