The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Matteo Baldoni: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Modal Extension of Logic Programming. [Citation Graph (0, 0)][DBLP]
    GULP-PRODE (2), 1994, pp:324-335 [Conf]
  2. Matteo Baldoni, Cristina Baroglio, Davide Cavagnino, Giuseppe Lo Bello
    Extraction of Discriminant Features from Image Fractal Encoding. [Citation Graph (0, 0)][DBLP]
    AI*IA, 1997, pp:127-138 [Conf]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. Matteo Baldoni, Laura Giordano, Alberto Martelli
    Translating a Modal Language with Embedded Implication into Horn Clause Logic. [Citation Graph (0, 0)][DBLP]
    ELP, 1996, pp:19-33 [Conf]
  8. 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]
  9. 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]
  10. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Framework for a Modal Logic Programming. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:52-66 [Conf]
  11. 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]
  12. 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]
  13. 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]
  14. Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre
    Modelling the Interaction Between Objects: Roles as Affordances. [Citation Graph (0, 0)][DBLP]
    KSEM, 2006, pp:42-54 [Conf]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre
    Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. [Citation Graph (0, 0)][DBLP]
    PROMAS, 2005, pp:57-75 [Conf]
  21. Matteo Baldoni, Cristina Baroglio, Nicola Henze
    Personalization for the Semantic Web. [Citation Graph (0, 0)][DBLP]
    Reasoning Web, 2005, pp:173-212 [Conf]
  22. Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre
    powerJava: ontologically founded roles in object oriented programming languages. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1414-1418 [Conf]
  23. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Multimodal Logic to Define Modules in Logic Programming. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:473-487 [Conf]
  24. Matteo Baldoni, Cristina Baroglio, Davide Cavagnino
    XFF: A Simple Method to eXtract Fractural Features for 2D Object Recognition. [Citation Graph (0, 0)][DBLP]
    SSPR/SPR, 1998, pp:382-389 [Conf]
  25. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Tableau for Multimodal Logics and Some (Un)Decidability Results. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1998, pp:44-59 [Conf]
  26. 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]
  27. 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]
  28. 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]
  29. Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre
    Social roles, from agents back to objects. [Citation Graph (0, 0)][DBLP]
    WOA, 2005, pp:164-170 [Conf]
  30. Claudio Schifanella, Luca Lusso, Matteo Baldoni, Cristina Baroglio
    Design and development of a visual environment for writing DyLOG programs. [Citation Graph (0, 0)][DBLP]
    WOA, 2004, pp:43-50 [Conf]
  31. 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]
  32. 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]
  33. Matteo Baldoni, Cristina Baroglio, Davide Cavagnino
    Use of IFS Codes for Learning 2D Isolated-Object Classification Systems. [Citation Graph (0, 0)][DBLP]
    Computer Vision and Image Understanding, 2000, v:77, n:3, pp:371-387 [Journal]
  34. 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]
  35. Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre
    Roles as a Coordination Construct: Introducing powerJava. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:150, n:1, pp:9-29 [Journal]
  36. Matteo Baldoni, Laura Giordano, Alberto Martelli
    A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1998, v:8, n:5, pp:597-635 [Journal]
  37. Matteo Baldoni, Cristina Baroglio, Elisa Marengo
    Curricula Modeling and Checking. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2007, pp:471-482 [Conf]
  38. Matteo Baldoni, Elisa Marengo
    Curriculum Model Checking: Declarative Representation and Verification of Properties. [Citation Graph (0, 0)][DBLP]
    EC-TEL, 2007, pp:432-437 [Conf]
  39. 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]
  40. Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre
    Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects. [Citation Graph (0, 0)][DBLP]
    PROMAS, 2006, pp:149-164 [Conf]
  41. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
    Conformance and Interoperability in Open Enviroments. [Citation Graph (0, 0)][DBLP]
    WOA, 2006, pp:- [Conf]
  42. Matteo Baldoni, Guido Boella, Leendert van der Torre
    Importing Agent-like Interaction in Object Orientation. [Citation Graph (0, 0)][DBLP]
    WOA, 2006, pp:- [Conf]
  43. Matteo Baldoni, Guido Boella, Leendert van der Torre
    Relationships Meet Their Roles in Object Oriented Programming. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:440-448 [Conf]
  44. Matteo Baldoni, Guido Boella, Leendert van der Torre
    Interaction among objects via roles: sessions and affordances in Java. [Citation Graph (0, 0)][DBLP]
    PPPJ, 2006, pp:188-193 [Conf]
  45. 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]
  46. Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre
    Interaction between Objects in powerJava. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2007, v:6, n:2, pp:- [Journal]

  47. Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? [Citation Graph (, )][DBLP]


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


  49. Behavior-Oriented Commitment-based Protocols. [Citation Graph (, )][DBLP]


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


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


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


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


  54. How to Program Organizations and Roles in the JADE Framework. [Citation Graph (, )][DBLP]


  55. Preface to the Proceedings of WOA 2007. [Citation Graph (, )][DBLP]


  56. Declarative representation of curricula models: an LTL- and UML-based approach. [Citation Graph (, )][DBLP]


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


  58. An implementation of roles as affordances: powerJava. [Citation Graph (, )][DBLP]


  59. Adding Roles to Relationship Patterns. [Citation Graph (, )][DBLP]


  60. The Interplay between Relationships, Roles and Objects. [Citation Graph (, )][DBLP]


  61. Adding Organizations and Roles as Primitives to JADE Framework. [Citation Graph (, )][DBLP]


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


  63. Introductory Essay of MALLOW-AWESOME'009. [Citation Graph (, )][DBLP]


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


Search in 0.009secs, Finished in 0.011secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002