M. Ajmone Marsan, S. Donatelli, F. Neri, and U. Rubino "Good and Bad Dynamic Polling Orders in Symmetric Single Buffer Markovian Multiserver Multiqueue Systems", Proc. of the IEEE Conference on Computer Communication: INFOCOM 93, Florence, Italy, march, 1993.

C. Anglano, S. Donatelli, and R. Gaeta "Parallel Architecture with regular Structure: a Case Study in Modelling using Stochastic Well-Formed Colored Petri Nets", Proc. of the PNPM93, Toulouse, France, October, 1993.

L. Ardissono, L. Lesmo, A. Lombardo, and D. Sestero "Production of Cooperative Answers on the Basis of Partial Knowledge in Information-Seeking Dialogues", in LNAI 728: Advances in Artificial Intelligence, Springer Verlag, 254-265, 1993.

L. Ardissono, A. Lombardo, and D. Sestero "A Flexible Approach to Cooperative Response Generation in Information-Seeking Dialogues", Proc. of the 31st Annual Meeting ACL, Columbus, 254-276, 1993.

G. Balbo, S. Donatelli, G. Franceschinis, A. Mazzeo, N. Mazzocca, M. Ribaudo, and S. Russo "DISC-GreatSPN: an Integrated System for Distributed Software Development and Validation", Proc. of the AICA93, Settembre, 1993.

G. Balbo "Performance Evaluation and Concurrent Programming", Proc. of the MMB '93, Springer-Verlag, Aachen, Germany, September, 1-13, 1993.

G. Balbo, S. Donatelli, G. Franceschinis, A. Mazzeo, N. Mazzocca, and M. Ribaudo "On the Computation of Performance Characteristics of Concurrent Programs using GSPNs", Performance Evaluation, 1993.

M. Baldoni, L.Giordano L.Giordano, and A.Martelli A.Martelli "A multimodal Logic to define Modules in Logic Programming", Proc. of the International Logic Programming Symposium, Vancouver, Canada, 473-487, 1993.

C. Baroglio, M. Botta, and A. Giordana "Learning Relations: An Evaluation of Search Strategies", Fundamenta Informaticae, 18, No. 2,3,4, 221-232, Feb.-Apr., 1993.

C. Baroglio, M. Botta, and L. Saitta "WHY: a system that learns using causal models and examples", in Machine Learning: an Artificial Intelligence Approach (vol IV), Y. Kodratoff R. Michalski (Ed), Morgan Kaufmann, (to appear).

F. Bergadano and D. Gunetti "Learning Relations: Basing Top-down Methods on Inverse Resolution", Proc. of the Italian Conference on Artificial Intelligence, Torino, Italy, 1993.

F. Bergadano "Applications of Inductive Logic Programming to Protein Engineering", Proc. of the Int. School of Mathematics G. Stampacchia, in C.N.R. Series in Applied Mathematics, M. Di Bacco, Giardini, Pisa, Erice, Sicily, 1993.

F. Bergadano and D. Gunetti "Functional Inductive Logic Programming with Queries to the User", Proc. of the European Conference on Machine Learning, P. Brazdil, Springer-Verlag, Vienna, Austria, 323-328, 1993.

F. Bergadano and V. Cutello "Learning membership functions", Proc. of the ECSQARU-93, (European Conference on Symbolic and Quantitative Approaches ro Reasoning and Uncertainty, Springer, Granada, Spain, 1993.

F. Bergadano and D. Gunetti "Logic Programming by Examples", Proc. of the Atti dell'ottavo Convegno sulla Programmazione Logica (GULP-93), Gizzeria Lido (CZ), Italy, 393-405, 1993.

F. Bergadano and D. Gunetti "An Interactive System to Learn Functional Logic Programs", Proc. of the 13th Int. Joint. Conf. on Artificial Intelligence, Morgan Kaufmann, Chambery, France, 1044-1049, 1993.

F. Bergadano, L. De Raedt, S. Matwin, and Muggleton S. (Editors) IJCAI-93 Workshop on Inductive Logic Programming, IJCAI, 1993.

F. Bergadano, S. Brusotti, D. Gunetti, and U. Trinchero "Inductive Test Case Generation", Proc. of the third Int. Workshop on Inductive Logic Programming, Bled, Slovenia, 1993.

F. Bergadano, D. Gunetti, and U. Trinchero "The Difficulties of Learning Logic Programs with Cut", Journal of Artificial Intelligence Research, 1, 91-107, 1993.

F. Bergadano "New issues in Logic Program Synthesis", The Knowledge Engineering Review, 1993.

F. Bergadano "Abductive Completion of Positive Examples for Learning Relations", Proc. of the Uncertainty Management Systems and Abduction, R. Kruse, 1993.

F. Bergadano and D. Gunetti "Inductive Synthesis of Logic Programs and Inductive Logic Programming", Proc. of the Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR-93), Leuven, Belgium, 1993.

F. Bergadano "The Foundations of Induction and Machine Learning", Minds and Machines, 3, 31-51, 1993.

F. Bergadano "Test Case Generation by Means of Learning Techniques", Proc. of the ACM SIGSOFT, Los Angeles, CA, 1993.

F. Bergadano "Inductive Database Relations", IEEE Trans. on Data and Knowledge Engineering, 5, No. 6, 969-972, 1993.

M. Botta, A. Giordana, and L. Saitta "Learning Fuzzy Concept Definitions", Proc. of the IEEE International Conference on Fuzzy Systems, San Francisco, CA, 18-22, 1993.

M. Botta and A. Giordana "Smart+: A Multi-strategy Learning Tool", Proc. of the 13th IJCAI, Chambery, France, 937-943, 1993.

G. Bussolin "Quality Improvement Cycle and Computer Supported Learning in Administrative organizations: An Observation through Some Experiments", Proc. of the 34th ADCIS/SIGCUE International Conference, Norfolk, 1992.

G. Bussolin "Approccio Cognitivo e cultura d'Impresa", in Sinergie-L'Impresa nella Societa in Cambiamento, 28.

G. Bussolin and A. Bruno "A project for computer supported learning in the field of Administration Science. The use of hypertext techniques as a guideline for its design.", Proc. of the 35th ADCIS International Conference, (in press).

G. Chiola and A. Ferscha "Exploiting Petri Net Model Structure to Improve Distributed Simulation", Proc. of the 26th Hawaii International Computer Science Symposium, Honolulu, Hawaii, jan, 1993.

G. Chiola and R. Gaeta "Efficient Simulation of Parallel Architectures Exploiting Symmetric Well-formed Petri Net Models", Proc. of the SCS Western Simulation Multiconference '93, C.E. Knadler and H. Vakilzadian, Society for Computer Simulation, San Diego, California, jan, 285-290, 1993.

G. Chiola, R. Gaeta, and M. Sereno "A Simulation Model of a Double Ring Protocol Based on Timed Well-formed Coloured Petri Nets", Proc. of the Intern. Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, H. Schwetman, J. Walrand, K. Bagchi, and D. DeGroot, Society for Computer Simulation, San Diego, California, jan, 259-264, 1993.

G. Chiola, M. Ajmone Marsan, G. Balbo, and G. Conte "Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications", IEEE Transactions on Software Engineering, 19, No. 2, 89-107, feb, 1993.

G. Chiola and A. Ferscha "Distributed Simulation of Petri Nets", Parallel and Distributed Technology, 1, No. 3, 33-50, aug, 1993.

G. Chiola and A. Ferscha "Distributed Simulation of Timed Petri Nets: exploiting the net structure to obtain efficiency", Proc. of the 14th International Conference on Application and Theory of Petri Nets, Springer Verlag, Chicago, Illinois, jun, 1993.

G. Chiola, J. Campos, J.M. Colom, M. Silva, and C. Anglano "Operational Analysis of Timed Petri Nets and Applications to the Computation of Performance Bounds", Proc. of the 5th Intern. Workshop on Petri Nets and Performance Models, IEEE-CS Press, Toulouse, France, oct, 1993.

G. Chiola "On the Structural and Behavioural Characterization of {P/T} Nets", Proc. of the 5th Intern. Workshop on Petri Nets and Performance Models, IEEE-CS Press, Toulouse, France, oct, 1993.

G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad "Stochastic Well-Formed Coloured Nets for Symmetric Modelling Applications", IEEE Transactions on Computers, 42, No. 11, nov, 1993.

G. Chiola, J. Campos, J.M. Colom, and M. Silva "Operational Analysis of Timed Petri Nets", Proc. of the PERFORMANCE '93, Roma, Italy, extended abstract, sep, 1993.

L. Console and P. Torasso "Temporal Constraint Satisfaction on Causal Models", Information Sciences, 68, 1-32, 1993.

L. Console, B. Pernici, and P. Terenziani "Towards the development of a general temporal manager for temporal databases: a layered and modular approach", Proc. of the International Workshop on an Infrastructure for Temporal Databases, Arlington, Texas, 1993.

L. Console, G. Friedrich, and D. Theseider Dupré "Model-Based Diagnosis Meets Error Diagnosis in Logic Programs", Proc. of the 13th IJCAI, Chambery, France, 1494-1499, 1993.

L. Console and P. Torasso "Temporal Constraint Satisfaction on Causal Models", Information Sciences, 68, No. 1, 1-32, 1993.

L. Console, L. Portinale, D. Theseider Duprè, and P. Torasso "Combining Heuristic and Causal Reasoning in Diagnostic Problem Solving", in Second Generation Expert Systems, J.M. David, J.P. Krivine, and R. Simmons (Eds), Springer Verlag, 46-68, 1993.

A. DiLeva, P. Giolito, and F. Vernadat "M*-OBJECT: An Object-oriented Database Design Methodology for CIM Information Systems", Control Engineering Practice, 1993.

A. DiLeva, P. Giolito, and F. Vernadat "M*-OBJECT: Methodologie d'Intervention pour l'Analyse et la Conception des Systemes d'Information de Productique", Ingenierie des Systemes d'Information, 1, No. 1, 1993.

S. Donatelli, G. Franceschinis, M. Ribaudo, and S. Russo "Petri Net based Concurrent Software Validation in the DISC-GreatSPN Envinronment", Proc. of the 1st Workshop on Software Engineering for Paral Systems (World Transputer Congress), Aachen, Germany, Settembre, 1993.

S. Donatelli "Superposed Stochastic Automata: a class of Stochastic Petri nets with parallel solution and distributed state space", Performance Evaluation, No. 11, 1993.

G. Franceschinis and R.R. Muntz "Bounds for Quasi-Lumpable Markov Chains", Proc. of the Performance 93, Rome, Italy, sept, 1993.

G. Franceschinis and R.R. Muntz "Computing bounds for the performance indices of quasi-lumpable Stochastic Well-Formed Nets", Proc. of the 5th Intern. Workshop on Petri Nets and Performance Models, IEEE-CS Press, Toulouse, France, oct, 1993.

P. Giannini, F. Honsell, and S. Ronchi Della Rocca "Type Inference: Some Results and Some Problems", Foundamenta Informaticae, No. 19, 87-127, 1993.

A. Giordana, L. Saitta, and C. Baroglio "Learning Simple Recursive Theories", in LNAI-689, J. Komorowski and Z.W. Ras (Eds), Springer-Verlag, 425-434, 1993.

A. Giordana, L. Saitta, F. Bergadano, F. Brancadori, and D. De Marchi "ENIGMA: a System that Learns Diagnostic Knowledge", IEEE Trans. on Knowledge and Data Engineering, 5, No. 1, 15-28, 1993.

L. Giordano, A. Martelli, and M.L. Sapino "A Semantics for Eshghi and Kowalski's Abductive Procedure", Proc. of the ICLP-93, Budapest, Hungary, 586-600, 1993.

L. Giordano "Defining Variants of Default Logic: a Modal Approach", in LNAI-689, J. Komorowski and Z.W. Ras (Eds), Springer-Verlag, 59-68, 1993.

L. Lesmo and V. Lombardo "Un approccio computazionale all'interpretazione del linguaggio", Epistemologia, Fascicolo speciale su Linguaggi e Macchine, 165-190, 1993.

L. Lesmo and V. Lombardo "A Compact Syntactic Representation", in Current Issues in Mathematical Linguistics, C.Martin-Vide, To-appear.

F. Neri and L. Saitta "Exploiting Sample Selection and Ordering to Speed-up Learning", Proc. of the AAAI Spring Symposium on Order Effects in Machine Learning, Stanford, CA, March, 1993.

M. Nuttin and C. Baroglio "Fuzzy Controller Synthesis in Robotic Assembly: Procedure and Experiments", Proc. of the 1st Workshop on Learning Robot", Torino, Italy, 1993.

L. Portinale "Selecting Observation time in the monitoring and interpretation of Time-Varying data", in Lecture Notes in Computer Science 728, Springer Verlag, 314-325, 1993.

L. Portinale, P. Torasso, C. Ortalda, and A. Giardino "Using Case-Based Reasoning to Focus Model-Based Diagnostic Problem Solving", Proc. of the First European Workshop on Case-Based Reasoning, Kaiserslautern, Germany, 1993.

L. Portinale "Exploiting T-invariant analysis in Diagnostic reasoning on a Petri net model", in 14th Int. Conf. on Application and Theory of Petri Nets, LNCS 691, Springer Verlag, Chicago, IL, 339-356, 1993.

L. Portinale, A. Rigallo, and P. Torasso "Integrating Abductive Reasoning and Probabilistic Temporal Prediction in Diagnostic Problem Solving", Proc. of the IEEE/SMC 93 Conference, Le Touquet, France, 1993.

L. Saitta and F. Bergadano "Pattern Recognition and Valiant's Learning Framework", IEEE Trans. on Pattern Analysis and Machine Intelligence, 15, No. 2, 145-154, 1993.

L. Saitta, M. Botta, and F. Neri "Multi-strategy learning and theory revision", Machine Learning, 11, 153-172, 1993.

M. Sereno and G. Balbo "Computational Algorithms for Product Form Solution Stochastic Petri Nets", Proc. of the 5th Intern. Workshop on Petri Nets and Performance Models, IEEE-CS Press, Toulouse, France, oct, 1993.

P. Terenziani "Integrating Linguistic and Pragmatic Temporal Information in Natural Language Understanding: the Case of 'When Sentences'", Proc. of the 13th IJCAI, Chambery, France, 1304-1309, 1993.