**
**Adali S., Console L., Sapino M.L., Schenone M. and Terenziani P. Representing and Reasoning with temporal constraints in Multi Presentations. *IEEE INTERNATIONAL WORKSHOP ON TEMPORAL REPRESENTATION AND REASONING-TIME, IEEE Computer Society Press, *Cape Breton, Nova Scotia, pp. 3-11, Canada, Luglio, 2000.

Adali S., Sapino M.L., Subrahmanian V.S. An Algebra for Creating and Querying Multimedia Presentations"-*MULTIMEDIA SYSTEMS, Vol. 8, *pp. 212-230, 2000.

Baldoni M. Normal Multimodal Logics with Interaction Axioms, in "Labelled Deduction". editors: D. Basin, M. D'Agostino, D. M. Gabbay, S. Matthews e L. Viganò, *Kluwer Academic Publisher, *pp. 33-57, The Netherlands, 2000.

Gabbay D.M. and Olivetti N. Goal-Directed Proof Theory. pag. 266, *Kluwer Academic Publisher, *Dordrecht, The Netherlands, 2000.

Giordano L., Martelli A. and Schwind C. Reasoning About Actions in Dynamic Linear Time Temporal Logic. *FAPR - FORMAL AND APPLIED PRACTICAL REASONING, Technical Report Imperial College ISSN 1469-4166, *pp. 117-129, Londra - U.K., Settembre, 2000.

Giordano L., Martelli A., Schwind C. Ramification and Causality in a Modal Action Logic, *JOURNAL OF LOGIC AND COMPUTATION, Vol. 10, *No. 5, pp. 625-662, 2000.

Olivetti N. Tableaux for Lukasiewicz infinite-valued logic. *MEMORIAM P.MIGLIOLI CONSTRUCTIVISM IN NON-CLASSICAL LOGICS AND COMPUTER SCIENCE, *pp. 0-4, Mantova, Italia, Ottobre, 2000.

Olivetti N., Gliozzi V. and Giordano L. A Conditional Logic for Iterated Belief Revision. *ECAI - EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, IOS Press, *pp. 28-32, Berlino, Germania, Agosto, 2000.

Olivetti N., Sapino M.L. Gabbay D., Giordano L., Martelli A. Conditional Reasoning in Logic Programming. *JOURNAL OF LOGIC PROGRAMMING, Vol. 44, *pp. 37-74, 2000.

Patti V., Martelli A., Chiarotto A., Baroglio C. and Baldoni M. Intention-guided Web Sites: A New Perspective on Adaptation. *ERCIM-WORKSHOP USER INTERFACE FOR ALL, *pp. 68-82, Firenze, Italia, Settembre, 2000.

Patti V., Martelli A., Giordano L. and Baldoni M. Modeling Agents in a Logic Action Language. *FAPR - FORMAL AND APPLIED PRACTICAL REASONING, *pp. 0-7, Londra, U.K., Settembre, 2000.

Sapino M.L., Liepins J. and Adali S. Dynamic Graph Structured Document Databases. *WORKSHOP ON MULTIMEDIA INFORMATION SYSTEMS, *pp. 187-196, Chicago, USA, Ottobre, 2000.