The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Viviana Patti: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Reasoning about Conversation Protocols in a Logic-Based Agent Language. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:300-311 [Conf]
  2. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Verification of Protocol Conformance and Agent Interoperability. [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:265-283 [Conf]
  3. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
    Verifying Protocol Conformance for Logic-Based Communicating Agents. [Citation Graph (0, 0)][DBLP]
    CLIMA V, 2004, pp:196-212 [Conf]
  4. Matteo Baldoni, Cristina Baroglio, I. Gungui, Alberto Martelli, Maurizio Martelli, Viviana Mascardi, Viviana Patti, Claudio Schifanella
    Reasoning About Agents' Interaction Protocols Inside DCaseLP. [Citation Graph (0, 0)][DBLP]
    DALT, 2004, pp:112-131 [Conf]
  5. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
    Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. [Citation Graph (0, 0)][DBLP]
    EPEW/WS-FM, 2005, pp:257-271 [Conf]
  6. Matteo Baldoni, Cristina Baroglio, Viviana Patti
    Structureless, intention-guided web sites: planning based adaptation. [Citation Graph (0, 0)][DBLP]
    HCI, 2001, pp:237-241 [Conf]
  7. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2006, pp:339-351 [Conf]
  8. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Reasoning about Self and Others: Communicating Agents in a Model Action Logic. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2003, pp:228-241 [Conf]
  9. Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
    Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:405-425 [Conf]
  10. Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Nicola Henze, Elisa Marengo, Viviana Patti
    A Personalization Service for Curriculum Planning. [Citation Graph (0, 0)][DBLP]
    LWA, 2006, pp:17-20 [Conf]
  11. Matteo Baldoni, Laura Giordano, Alberto Martelli, Viviana Patti
    An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. [Citation Graph (0, 0)][DBLP]
    NMELP, 1996, pp:132-150 [Conf]
  12. Matteo Baldoni, Cristina Baroglio, Alessandro Chiarotto, Viviana Patti
    Programming Goal-Driven Web Sites Using an Agent Logic Language. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:60-75 [Conf]
  13. Matteo Baldoni, Cristina Baroglio, Laura Giordano, Alberto Martelli, Viviana Patti
    Reasoning about Communicating Agents in the Semantic Web. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2003, pp:84-98 [Conf]
  14. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
    Interaction Protocols and Capabilities: A Preliminary Report. [Citation Graph (0, 0)][DBLP]
    PPSWR, 2006, pp:63-77 [Conf]
  15. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Reasoning about Interaction for Personalizing Web Service Fruition. [Citation Graph (0, 0)][DBLP]
    WOA, 2003, pp:29-35 [Conf]
  16. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella, Laura Torasso, Viviana Mascardi
    Personalization, Verification and Conformance for Logic-based Communicating Agents. [Citation Graph (0, 0)][DBLP]
    WOA, 2005, pp:177-183 [Conf]
  17. Matteo Baldoni, Cristina Baroglio, Viviana Patti
    Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions. [Citation Graph (0, 0)][DBLP]
    WOA, 2002, pp:49-55 [Conf]
  18. Matteo Baldoni, Cristina Baroglio, Viviana Patti
    Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions. [Citation Graph (0, 0)][DBLP]
    Artif. Intell. Rev., 2004, v:22, n:1, pp:3-39 [Journal]
  19. Matteo Baldoni, Alberto Martelli, Viviana Patti, Laura Giordano
    Programming Rational Agents in a Modal Action Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2004, v:41, n:2-4, pp:207-257 [Journal]
  20. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Reasoning About Interaction Protocols for Web Service Composition. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:21-36 [Journal]
  21. Matteo Baldoni, Cristina Baroglio, Ingo Brunkhorst, Elisa Marengo, Viviana Patti
    Reasoning-Based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture. [Citation Graph (0, 0)][DBLP]
    EC-TEL, 2007, pp:426-431 [Conf]
  22. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Conformance and Interoperability in Open Enviroments. [Citation Graph (0, 0)][DBLP]
    WOA, 2006, pp:- [Conf]
  23. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Reasoning about interaction protocols for customizing web service selection and composition. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:70, n:1, pp:53-73 [Journal]

  24. Choice, interoperability, and conformance in interaction protocols and service choreographies. [Citation Graph (, )][DBLP]


  25. Service selection by choreography-driven matching. [Citation Graph (, )][DBLP]


  26. Context-based ranking in folksonomies. [Citation Graph (, )][DBLP]


  27. ArsMeteo: artworks and tags floating over the planet art. [Citation Graph (, )][DBLP]


  28. Goal Preservation by Choreography-Driven Matchmaking. [Citation Graph (, )][DBLP]


  29. Preserving players goals: a choreography-driven matchmaking approach. [Citation Graph (, )][DBLP]


  30. Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts. [Citation Graph (, )][DBLP]


  31. Joint Achievement of Services' Personal Goals. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002