Computer Science

R e s e a r c h   a c t i v i t i e s

Artificial Intelligence

P e o p l e

Badaloni Silvana - Associate Professor (http://www.dei.unipd.it/~badaloni)

E-mail: silvana.badaloni@unipd.it

Office phone: +39 049 827 7667

Timetable:

Giovedì 8.30-10.30

Curriculum and activities:

Degree in Physics. M.Sc. in Artificial Intelligence (Paris). Research associate ING-INF/05 Associate Professor ING-INF/05 (since 1st.03.07) Teaching: Artificial Intelligence and Foundations of Computer Science. Equal Opportunities Committee of Padua University

Research activities or notes:

Until 1983, her field of research was plasma physics. Her current field of investigation includes temporal reasoning, uncertainty managment, temporal planning and autonomous robot applications.

P u b l i c a t i o n s

2010

Coping with Uncertainty in Temporal Gene Expressions Using Symbolic Representations (2010) In: E. HULLERMEIER, R. KRUSE, AND F. HOFFMANN EDS.. Chapter in Proc. of the 13th International Conference on Information Processing and Modelling of Uncertainty IPMU 2010 - CCIS 81. vol. Part II, p. 11-20, HEIDELBERG: SPRINGER - Chapter of a book Authors: Badaloni S., Falda M.

Temporal-based medical diagnoses using a Fuzzy Temporal Constraint System (2010) JOURNAL OF INTELLIGENT MANUFACTURING, vol. 21; p. 145-153, ISSN: 0956-5515, doi: 10.1007/s10845-008-0171-8 - Paper Authors: Badaloni S., Falda M.

Temporal-based medical diagnoses using a Fuzzy Temporal Constraint System (2010) JOURNAL OF INTELLIGENT MANUFACTURING, vol. 21; p. 145-153, ISSN: 0956-5515, doi: 10.1007/s10845-008-0171-8 - Paper Authors: Badaloni S., Falda M.

2009

Classical and Fuzzy Neighborhood Relations of the Temporal Qualitative Algebra (2009) Proc. of the 16th International Symposium on Temporal Representation and Reasoning (TIME) pp. 147-154, IEEE Computer Society Press - Int. Conf. Proceedings Authors: Badaloni S., Falda M.

CNET: an algorithm for the inference of gene regulatory interactions from gene expression time series (2009) Proc. of IDAMAP'09 workshop; pp. 23-28. Verona, 2009 - Workshop or symposium Authors: Sambo F., Di Camillo B., Falda M., Badaloni S., Toffolo G.

Fuzzy Mutual Information for Reverse Engineering of Gene Regulatory Networks (2009) Proc. of the International Conference on Fuzzy Calculus (ICFC'09), pp. 25-30 - Int. Conf. Proceedings Authors: Badaloni S., Falda M., Massignan P., Sambo F.

Temporal Patterns in Biological Warfare (2009) International Workshop on Fuzzy Logic and Applications - Revised Selected Papers, LNCS 5571, S. K. Pal V. Di Gesù, A. Petrosino editors, pp. 368-375 - Chapter of a book Authors: Badaloni S., Falda M.

2008

Evaluation of local reliability of gene networks inferred from time series expression data (2008) RECOMB Regulatory Genomics /Systems Biology / DREAM3 - Int. Conf. Proceedings Authors: Sambo F., Di Camillo B., Falda M., Toffolo G., Badaloni S.

Addressing temporally constrained Delivery Problems with the Swarm Intelligence approach (2008) Intelligent Autonomous System 10 (ISBN: 978-1-58603-887-8), pp. 264-271, IOS Press, 2008. - Chapter of a book Authors: Badaloni S., Falda M., Sambo F., Zanini L.

Scale-free structure and topological properties in reverse engineering of gene regulatory networks (2008) Atti del convegno Workshop Italiano su Vita Artificiale e Computazione Evolutiva (Wivace'08); Venezia (Italy), 2008. - Nat. Conf. Proceedings Authors: Badaloni S., Falda M., Sambo F.

Temporal-based medical diagnoses using a Fuzzy Temporal Constraint System (2008) Journal of Intelligent Manufacturing, published online (by now DOI: http://dx.doi.org/10.1007/s10845-008-0171-8). - Paper Authors: Badaloni S., Falda M. http://dx.doi.org/10.1007/s10845-008-0171-8

Tractable Fragments of Fuzzy Qualitative Algebra (2008) Spatial Cognition and Computation, 8(1-2): 150-166, 2008. - Paper Authors: Badaloni S., Falda M., Giacomin M.

2007

Applying a Fuzzy Temporal Constraint System to medical diagnoses. (2007) CAEPIA’07 Workshop on Planning, Scheduling and Constraint Satisfaction - Salamanca, Spain ISBN:13-978-84-611 - Workshop or symposium Authors: Badaloni S., Falda M

Computational Complexity Study of Fuzzy Qualitative Temporal Algebra (2007) FUZZ-IEEE’07, pp. 1662-1666, London, 2007. ISBN:1-4244-1210-2-07 - Int. Conf. Proceedings Authors: Badaloni S., Falda M. Giacomin M.

Fuzzy Extensions of Qualitative Algebra Tractable Fragments (2007) Proc. of 20th International Conference on Arifificial Intelligence IJCAI-07, Workshop on Spatial and Temporal Reasoning, pp. 11-15, Hyderabad, India. - Int. Conf. Proceedings Authors: S.Badaloni, M.Falda, M.Giacomin

Fuzzy Extensions of Qualitative Algebra Tractable Fragments (2007) In Proc. of IJCAI’07 Workshop on Spatial and Temporal Reasoning, Hyderabad (India), 2007. - Int. Conf. Proceedings Authors: Badaloni S., Falda M., Giacomin M.

Solving Temporal Over-constrained Problems using Fuzzy Techniques (2007) Journal of Intelligent and Fuzzy Systems, 18(3): 255-265, 2007. - Paper Authors: Badaloni S., Falda M., Giacomin M.

2006

About Tractability of Fuzzy Temporal Qualitative Algebra QAfuz (2006) Proceedings of IPMU Conference, pp. 45-48, Paris, 2006. - Int. Conf. Proceedings Authors: Badaloni S., Falda M.

Temporal characterization of ill-known diseases (2006) Proceedings IDAMAP 2006, pp. 17-22, Verona. - Int. Conf. Proceedings Authors: Badaloni S., Falda M.

Temporal Characterization of Unknown Diseases (2006) In Intelligent Data Analysis in Biomedicine and Pharmacology - IDAMAP’06, pages 17-22, Verona, Italy, August 2006. - Workshop or symposium Authors: Badaloni S., M. Falda M.

The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning. (2006) Artificial Intelligence 170, pp. 872-908, Elsevier, 2006. - Paper Authors: Badaloni S., Giacomin M.

2005

Discriminating Exanthematic Diseases from Temporal Patterns of Patient Symptoms (2005) In S.Miksch, J.Hunter, E.Keravnou (Eds.), Artificial Intelligence in Medicine, 10th Conf. on Artificial Intelligence in Medicine, AIME05, LNAI 3581, pp. 33-41, Springer, Germany, 2005. - Chapter of a book Authors: S.Badaloni, M.Falda

Discriminating exanthematic diseases from temporal patterns of patient symptoms (2005) In Proc. of the 10th Conference of Artificial Intelligence in Medicine (AIME 2005), LNAI, pp. 33-42; Springer Verlag, Berlin Heidelberg, 2005. - Chapter of a book Authors: Badaloni S., Falda M.

Donne & Scienza a Ingegneria (2005) Il Genere in Scienza e Ingegneria: Testimonianze, Ricerche, Idee e Proposte. - Nat. Conf. Proceedings Authors: Badaloni S.

2004

An Hybrid Fuzzy Temporal Constraint Approach: a Case Study (2004) In 9th Int. Conf. Inf. Proc. and Manag.of Uncertainty in Know.-based Systems (IPMU2004), pages 1585–1592, Perugia, Italy,2004. - Int. Conf. Proceedings Authors: Badaloni S., Falda M., Giacomin M.

Integrating quantitative and qualitative fuzzy temporal constraints. (2004) AI COMMUNICATIONS. Special Issue on Spatial and Temporal Reasoning. Vol.17 n.4, pp. 187-200, ISSN: 0921-7126. IOS Press. - Paper Authors: Badaloni S., Falda M., Giacomin M.

Mobile robot scheduling using a genetic algorithm enhanced with a credit gain mechanism (2004) In 8th Conference on Intelligent Autonomous Systems (IAS8), pages 485-503, Amsterdam, 2004. - Int. Conf. Proceedings Authors: Badaloni S., Falda M.

Mobile Robot Scheduling using a Genetic Algorithm enhanced with a credit gain mechanism. (2004) F.Groen et al (Eds) Intelligent Autonomous Systems IAS-8. (pp. 485-503). ISBN/ISSN: 1 58603 414 6. IOS Press. - Int. Conf. Proceedings Authors: Badaloni S., Falda M.

2003

Integrating Qualitative and Quantative Constraints in Fuzzy Temporal Networks. (2003) International Workshop on Spatial and Temporal Reasoning - IJCAI 03, pp. 105-112, Acapulco, Mexico. - Int. Conf. Proceedings Authors: Badaloni S., Falda M., Giacomin M.

Integrating qualitative and quantitative constraints in fuzzy temporal networks (2003) In Proc. of IJCAI’03 Workshop on Spatial and Temporal Reasoning, pages 105–112, Acapulco, Mexico, 2003. - Workshop or symposium Authors: Badaloni S., Falda M., Giacomin M.

2002

Evolutionary techniques for mobile-robot office delivery service (2002) 9th Int. Conf. Inf.Proc.and Manag.of Uncertainty in Know.-based Systems IPMU2002 - Int. Conf. Proceedings Authors: Badaloni S., Bison P.

Evolutionary techniques for mobile-robot office delivery service. (2002) 9th Int. Conference on Information Processing and Management of Uncertainty in Knowledge-based Systems IPMU2002. Vol. II, pp. 705-710. - Int. Conf. Proceedings Authors: Badaloni S., Bison P.

Fuzzy extension of interval-based temporal sub-algebras (2002) 9th Int. Conf. Inf.Proc.and Manag.of Uncertainty in Know.-based Systems IPMU2002 - Int. Conf. Proceedings Authors: Badaloni S., M.Giacomin

Qualitative and Quantitative Fuzzy Temporal Constraints (2002) Atti dell’8° Convegno della Ass. per l'Intelligenza Art. (AI*IA2002), pages 39–48, Siena, Italy, 2002. - Nat. Conf. Proceedings Authors: Badaloni S., Falda M., Giacomin M.

2001

Qualitative temporal representation and reasoning about points, intervals and durations (2001) 8th International Symposium on Temporal Representation and Reasoning TIME-01 - Int. Conf. Proceedings Authors: Badaloni S., Giacomin M., Masolo C.

Qualitative temporal representation and reasoning about points, intervals and durations. (2001) 8th International Symposium on Temporal Representation and Reasoning TIME-01, IEEE Computer Society Press, pp. 51-56. - Int. Conf. Proceedings Authors: Badaloni S., Giacomin M., Masolo C.

2000

A flexible and efficient office-delivery scheduler for mobile robots (2000) Intelligent Autonomous Systems 6 - Int. Conf. Proceedings Authors: Badaloni S., Bison P., Costa G.

A fuzzy extension of Allen's Interval Algebra (2000) LECTURE NOTES IN COMPUTER SCIENCE - Vol. 1792, Pagg. 155-165 - Paper Authors: Badaloni S., Giacomin M.

Flexible Temporal Constraints (2000) 8th Int. Conf. IPMU 2000 - Int. Conf. Proceedings Authors: Badaloni S., Giacomin M.