DIPARTIMENTO   DI   INFORMATICA
Università di Torino

1992 Publications

G. Balbo "Performance Issues in Parallel Programming", Proc. of the 13-th Int. Conference on Application and Theory of Petri Nets, LNCS 616, Sheffield, UK, June, 1-23, 1992.

G. Balbo, S. Donatelli, and G. Franceschinis "Understanding Parallel Programs Behaviour through Petri net models", Journal of Parallel and Distributed Computing, 15, October, 1992.

G. Balbo, S. Donatelli, G. Franceschinis, A. Mazzeo, A. Mazzocca, and M. Ribaudo "On Concurrent Programs Characterization", PERFORMANCE EVALUATION, 1992.

G. Balbo and G. Serazzi "Asymptotic Analysis of Multiclass Closed Queueing Networks: Common Bottleneck", , March, 1992.

G. Balbo and G. Serazzi "Asymptotic Analysis of Multiclass Closed Queueing Networks: Multiple Bottlenecks", , March, 1992.

G. Balbo, G. Chiola, S.C. Bruell, and P. Chen "An Example of Modelling and Evaluation of a Concurrent Program using Coloured Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm", IEEE Transactions on Parallel and Distributed Systems, 3, No. 2, 221-240, mar, 1992.

F. Barbanera and S. Berardi "Witness Extraction in Classical logic through normalization", Proc. of the To appear in Proceeding of the 2nd BRA meeting on Logical Frameworks, 1992.

C. Baroglio and A. Giordana "Learning Contextual Relations", Proc. of the Terzo Workshop del Gruppo AI*IA di Interesse Speciale su Apprendimento Automatico, Roma, Italy, 33-53, 1992.

S. Berardi "Encoding data types in Construction Calculus: a conservativity result", Proc. of the To appear in Proceeding of the 2nd BRA meeting on Logical Frameworks, 1992.

S. Berardi F. Barbanera "A constructive semantic for Classical Logic and its use in extracting witnesses from proofs.", Proc. of the Proceedings of CAAP '92, Lecture Notes in Computer Science 581, Springer Verlag, 1992.

S. Berardi F. Barbanera "Continuations and Simple Types : A strong Normalization Result", Proc. of the Proceedings of the ACM SIGPLAN Workshop on Continuations CW'92. June 1992 San Fr ancisco, California. Report No. STAN-CS-92-1426, University of Stanford, 1992.

F. Bergadano, Y. Kodratoff, and K. Morik "Machine Learning and Knowledge Acquisition", AI Communications - the European Journal on Artificial Intelligence, 5, No. 1, 19-24, 1992.

F. Bergadano, S. Matwin, R. S. Michalski, and J. Zhang "Learning Two-Tiered Descriptions of Flexible Concepts: the Poseidon System", Machine Learning, 8, 5-43, 1992.

G. Berio, DiLeva A., Giolito P., and Vernadat F. "PDN: a Process and Data Net Model for CIM Design and Prototyping", Proc. of the Proc. IEEE Int. Workshop on Emerging Technologies and Factory Automation, CRL Publ. Ltd., 1992.

G. Berio, DiLeva A., Giolito P., and Vernadat F. "Process and Data Net: an Object Oriented Model for Information System Design", Proc. of the Proc. 5ht Int. Conf. on Putting into Practice Methods and Tools for Information Systems Design, INFORSID, 1992.

G. Berio, DiLeva A., Giolito P., and Vernadat F. "Organisation Analysis Concepts and Models for CIM Design", Proc. of the Proc. 2nd Int. Conf. on Automation, Robotics and Computer Vision, Nanyang TU, 1992.

A. Bondavalli, L. Strigini, and M. Sereno "Destination stripping dual ring: a new protocol for MANs", Computer Networks and ISDN Systems, 24, No. 9, 15-32, March, 1992.

M. Botta, S. Ravotto, and L. Saitta "Use of Causal Models and Abduction in Learning Diagnostic Knowledge", International Journal of Man-Machine Studies, 36, 289-307, 1992.

M. Botta, A. Giordana, and L. Saitta "Comparison of Search Strategies in Learning Relations", Proc. of the ECAI-92, Vienna, Austria, August, 451-455, 1992.

M. Botta, C. Baroglio, and A. Giordana "Learning behavioural knowledge in robotic domains", Proc. of the Proc. IROS 92, 1992.

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, England, 1992.

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

J. Campos, G. Chiola, J. M. Colom, and M. Silva "Properties and Performance Bounds for Timed Marked Graphs", IEEE Transactions on Circuits and Systems---1: Fundamental Theory and Applications, 39, No. 5, 386-401, may, 1992.

G. Chiola "An example of use of Petri net interactive simulation to teach concurrency", Proc. of the 1992 Intern. Conf. on Simulation in Engineering Education, Newport Beach, California, jan, 1992.

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, 1992.

G. Chiola "Petri Net Modelling of Parallel Computers", Journal of Parallel and Distributed Computing, 15, No. 3, 169-170, jul, 1992.

G. Chiola, G. Franceschinis, and R. Gaeta "A Symbolic Simulation Mechanism for Well-formed Coloured Petri Nets", Proc. of the Proc. 25th SCS Annual Simulation Symposium, Orlando, Florida, apr, 1992.

G. Chiola, R. Gaeta, and M. Ribaudo "Designing an efficient tool for Stochastic Well-Formed Coloured Petri Nets", Proc. of the Proc. 6th Int. Conference on Modelling Techniques and Tools for Computer Performance Evaluation, R. Pooley and J. Hillston, Antony Rowe Ltd, Edinburg, UK, September, 391-395, 1992.

L. Console and L. Saitta "Abduction, Induction and Inverse Resolution", Proc. of the Compulog Workshop on Logic Programming and Artificial Intelligence, London, UK, 1992.

L. Console, L. Portinale, D. Theseider Dupré, and P. Torasso "Diagnostic Reasoning across different time points", Proc. of the Proc. 10th ECAI, Vienna, Austria, 369-373 , 1992.

L. Console, C. Mossino, L. Portinale, D. Theseider Dupré, and P. Torasso "Abductive Diagnosis and its application to a mechanical troubleshooting problem", in Industrial Application of Knowledge Based Diagnosis , G. Guida and A. Stefanini (Eds), Elsevier Science, 265-288, 1992.

L. Console, G. Molino, V. Ripa di Meana, and P. Torasso "LIED: Liver Information, Education and Diagnosis", Methods of Information in Medicine, 31, No. 4, 1992.

L. Console and L. Portinale "Model based diagnosis of system malfunction with Petri nets", in Robotics and Flexible Manufacturing Systems (to appear), S.G. Tzafestas and J.C. Gentina (Eds), Elsevier Science, 1992.

L. Console and P. Torasso "An Approach to the Compilation of Operational Knowledge from Causal Models", IEEE Trans. on Systems, Man and Cybernetics, 22, No. 3, 1992.

L. Console, M.L. Sapino, and P. Terenziani "Dealing with Uncertain Temporal Information in the Interval Algebra", Proc. of the IPMU 92, Palma de Mallorca, Spain, 521-524, 1992.

M. Coppo and P. Giannini "A Complete Type Inference Algorithm for Simple Intersection Types", Proc. of the CAAP 92, Rennes, France, 1992.

M. Dezani-Ciancaglini and R. Hindley "Intersection Types for Combinatory Logic (Expanded Version)", Theoretical Computer Science, 100, 303-324 , 1992.

M. Dezani-Ciancaglini F. Cardone and U. de Liguoro "Combining Type Disciplines", Proc. of the Proc. of IX Latin American Symposium on Mathematical Logic, 1992.

A. DiLeva, P. Giolito, and F. Vernadat "Executable Models for the Representation of Production Systems", in ROBOTICS and FLEXIBLE MANUFACTURING SYSTEMS, Gentina J.C. and Tzafestas S.G. (Eds), North-Holland, 259-268, 1992.

A. Di Leva, P. Giolito., and F. Vernadat "Object Oriented Database Design and Specification and its Applications to CIM Environments", Proc. of the Proc. 7th IFAC-IFIP Symp. on Information Control Problems in Manufacturing Technologies, AFCET, 1992.

A. Di Leva, P. Giolito., and F. Vernadat "Object Oriented Database Design Methodology for CIM Information Systems", Proc.of the Proc. 7th IFAC-IFIP Symp. on Information Control Problems in Manutecturing Technologies, IFAC, 1992.

S. Donatelli and M. Sereno On the Product Form Solution for Stochastic Petri Nets, Springer Verlag, LNCS, N. 616 (1992), 154-172.

A. Giordana and C. Sale "Learning structural concepts using genetic algorithms", Proc. of the Proc. of the 9th Machine Learning Conference, Aberdeen, Scotland, 169-178 , 1992.

A. Giordana and C. Sale "Learning Structured Concepts Using Genetic Algorithms", Proc. of the Terzo Workshop del Gruppo AI*IA di Interesse Speciale su Apprendimento Automatico, Roma, Italy, 183-192, 1992.

L. Giordano and N. Olivetti "Negation as failure in Intuitionistic Logic Programming", Proc. of the Proc. Joint International Conference and Symposium on Logic Programming, Washington, DC, 431-445, 1992.

L. Giordano, A. Martelli, and G.F. Rossi "Extending Horn Clause Logic with Implication Goals", Theoretical Computer Science, 95, 43-74, 1992.

L. Giordano and A. Martelli "A Modal Framework for Structuring Logic Programs", Proc. of the Proc. 3rd Int. Workshop on Extensions of Logic Programming, Bologna, Italy, to appear in LNAI 660, 177-191, 1992.

D. Gunetti "Efficient Proofs in Propositional Calculus with Inverse Resolution", Proc. of the of the CompEuro, 1992, P. Dewilde and J. Vanderwalle, IEEE Comp. Soc. Press, The Hague, Netherlands, 1-1, 1992 .

D. Gunetti "Linear Time Proofs of Propositional Horn Formulas with Inverse Resolution", Proc. of the Atti del settimo convegno sulla Programmazione Logica, 1992, S. Costantini, CittaStudi, Tremezzo (CO), Italy, 1-1, 1992 .

F. Honsell and S. Ronchi della Rocca "An Approximation Theorem for Topological Lambda Models and the Topological ncompleteness of Lambda Calculus", Journal of Computer and System Sciences, 45, 1992.

L. Lesmo and V. Lombardo "The assignment of grammatical relations in natural language processing", Proc. of the Proc. 15th COLING, Nantes, France, 1090-1094 , 1992.

G. Lolli Cos'e' la logica matematica, Muzzio, Padova, Italy, 1992 .

G. Lolli Incompletezza, Il Mulino, Bologna, Italy, 1992 .

G. Lolli "Logica naturale e logica assiomatizzata", in Omaggio a Ludovico Geymonat, Muzzio, Padova, Italy, 43-59 , 1992.

G. Lolli "Presentazione", in Mente e macchina, Quaderno Le Scienze 66, Gabriele Lolli (Ed), Le Scienze, Milano, Italy, june, 1992.

V. Lombardo "Incremental Dependency parsing", Proc. of the Proc. 30th Annual Meeting of the ACL, Newark, NJ, 291-293 , 1992.

A. Negro and M. Sereno "Solution of Ulam's problem on binary search with three lies", Journal of Combinatorial Theory, Ser. A, 59, No. 1, January, 1992.

A. Negro and M. Sereno "Ulam's Searching Game with Three Lies", Advances In Applied Mathematics, No. 13, 404-428, 1992.

L. Portinale "Verification of Causal Models Using Petri Nets", International Journal of Intelligent Systems, 7, No. 8, 1992.

L. Portinale "Modeling uncertain temporal evolutions in model-based diagnosis", Proc. of the Proc. 8th Conf. on Uncertainty in Artificial Intelligence, Stanford, CA, 244-251 , 1992.

H. Schiff, R. Giorgis, and M. Giordanino "Visual inputs as muscle commands", Comp. Biochemical Physiology, 102A, 333-342, 1992.

H. Schiff and G. Di Stefano "Target localization in different luminous environments", Comp. Biochemical Physiology, 103A, 479-486, 1992.

P. Torasso, L. Portinale, L. Console, and M. Casassa Mont "Approximate Reasoning in a System Combining Prototypical Knowledge with Case-Based Reasoning", in Fuzzy Logic for the Management of Uncertainty, L.A. Zadeh and J. Kacprzyk (Eds), John Wiley & Sons, 377-396, 1992.

Department home [Information] [People] [Research] [Ph.D.] [Education] [Library] [Search]
[Bandi/Careers] [HelpDesk] [Administration] [Services] [Hostings] [News and events]

Administrator: wwwadm[at]di.unito.it Last update: Apr 09, 2002