| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Matteo Baldoni Matteo Baldoni, Flavio De Paoli , Alberto Martelli , Andrea Omicini : WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November - 1 December 2004, Torino, Italy Pitagora Editrice Bologna 2004 Claudio Schifanella , Luca Lusso , Matteo Baldoni, Cristina Baroglio : Design and development of a visual environment for writing DyLOG programs. WOA 2004 : 43-50 Matteo Baldoni, Alberto Martelli , Viviana Patti , Laura Giordano : Programming Rational Agents in a Modal Action Logic. Ann. Math. Artif. Intell. 41 (2-4): 207-257 (2004) Matteo Baldoni, Cristina Baroglio , Viviana Patti : Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions. Artif. Intell. Rev. 22 (1): 3-39 (2004) Matteo Baldoni, Cristina Baroglio , Alberto Martelli , Viviana Patti : Reasoning About Interaction Protocols for Web Service Composition. Electr. Notes Theor. Comput. Sci. 105 : 21-36 (2004) Matteo Baldoni, Cristina Baroglio , Alberto Martelli , Viviana Patti : Reasoning about Conversation Protocols in a Logic-Based Agent Language. AI*IA 2003 : 300-311 Matteo Baldoni, Cristina Baroglio , Alberto Martelli , Viviana Patti : Reasoning about Self and Others: Communicating Agents in a Model Action Logic. ICTCS 2003 : 228-241 Matteo Baldoni, Cristina Baroglio , Laura Giordano , Alberto Martelli , Viviana Patti : Reasoning about Communicating Agents in the Semantic Web. PPSWR 2003 : 84-98 Matteo Baldoni, Cristina Baroglio , Alberto Martelli , Viviana Patti : Reasoning about Interaction for Personalizing Web Service Fruition. WOA 2003 : 29-35 Matteo Baldoni, Cristina Baroglio , Viviana Patti : Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions. WOA 2002 : 49-55 Matteo Baldoni, Laura Giordano , Alberto Martelli , Viviana Patti : Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. ICTCS 2001 : 405-425 Matteo Baldoni, Cristina Baroglio , Alessandro Chiarotto , Viviana Patti : Programming Goal-Driven Web Sites Using an Agent Logic Language. PADL 2001 : 60-75 Matteo Baldoni, Cristina Baroglio , Davide Cavagnino : XFF: A Simple Method to eXtract Fractural Features for 2D Object Recognition. SSPR/SPR 1998 : 382-389 Matteo Baldoni, Laura Giordano , Alberto Martelli : A Tableau for Multimodal Logics and Some (Un)Decidability Results. TABLEAUX 1998 : 44-59 Matteo Baldoni, Laura Giordano , Alberto Martelli : A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. J. Log. Comput. 8 (5): 597-635 (1998) Matteo Baldoni, Cristina Baroglio , Davide Cavagnino , Giuseppe Lo Bello : Extraction of Discriminant Features from Image Fractal Encoding. AI*IA 1997 : 127-138 Matteo Baldoni, Laura Giordano , Alberto Martelli : Translating a Modal Language with Embedded Implication into Horn Clause Logic. ELP 1996 : 19-33 Matteo Baldoni, Laura Giordano , Alberto Martelli : A Framework for a Modal Logic Programming. JICSLP 1996 : 52-66 Matteo Baldoni, Laura Giordano , Alberto Martelli , Viviana Patti : An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming. NMELP 1996 : 132-150 Matteo Baldoni, Laura Giordano , Alberto Martelli : A Modal Extension of Logic Programming. GULP-PRODE (2) 1994 : 324-335 Matteo Baldoni, Laura Giordano , Alberto Martelli : A Multimodal Logic to Define Modules in Logic Programming. ILPS 1993 : 473-487 1 [ 6 ] [ 9 ] [ 10 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 16 ] [ 17 ] [ 18 ] [ 20 ] 2 [ 6 ] 3 [ 6 ] [ 9 ] 4 [ 10 ] 5 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 7 ] [ 8 ] [ 11 ] [ 14 ] [ 19 ] 6 [ 20 ] 7 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 7 ] [ 8 ] [ 11 ] [ 13 ] [ 14 ] [ 15 ] [ 16 ] [ 17 ] [ 19 ] [ 21 ] 8 [ 21 ] 9 [ 21 ] 10 [ 3 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 16 ] [ 17 ] [ 18 ] [ 19 ] 11 [ 20 ]  ©2005 Association for Computing Machinery |
