Sigla





Kogãlniceanu 1,
3400 Cluj-Napoca,
ROMANIA

E-mail:
dtatar@cs.ubbcluj.ro
"Babes-Bolyai" University of Cluj
Faculty of Mathematics and Computer Science


CURRICULUM VITAE

Professor DOINA TÃTAR





  • Titles and Degrees: Professor, Doctor in Computer Science.
  • Professional Address:
    Kogalniceanu 1,
    Faculty of Mathematics and Computer Science,
    3400, Cluj-Napoca,
    ROMANIA.
  • Scientific Education:
    "Babes-Bolyai" University of Cluj-Napoca, Department of Computer Science Diploma, August 1966.
    Doctorate: University of Bucharest. Diploma in applied mathematics: March, 1975.
  • Scientific career:
    1/8/1966-1/9/1972 assistant at the University of Craiova,Dept.of Mathematics
    1/9/1972-1/3/1990 lecturer at the same University
    1/3/1990-1/9/1991 associate professor at the same University
    1/9/1991-1/9/2004 associate professor at the University "Babes-Bolyai"of Cluj-Napoca
    1/9/2004- today professor at the University "Babes-Bolyai"of Cluj-Napoca
  • Teaching experience: Numerous courses in computer science: Logic in Computer Science, Formal languages, Automata theory, Automated deduction, Logic Programming, Natural language processing, etc.
  • Books:
  • Inteligenta artificiala: demonstrarea automata a teoremelor, prelucrarea limbajului natural, Editura Albastra, Microinformatica, Cluj-Napoca, 2001, ISBN 973-9443-99-0.
  • Inteligenta artificiala. Aplicatii in prelucrarea limbajului natural, Editura Albastra, Microinformatica, Cluj-Napoca, 2003, ISBN 973-650-100-0.
  • Some papers (after 1985):
    1. Program schemes and associated languages. Bull. Math. Soc. Sci. Math. R. S. Roumanie 29(77) (1985), no. 2, 161--166.
    2. Equivalent criteria for recursive programs. (Romanian) Stud. Cerc. Mat. 38 (1986), no. 1, 72--78.
    3. On monadic schemes. (Romanian) Stud.Cerc. Mat. 39 (1987), no. 5, 455--461.
    4. Using a syntactic grammar associated with a recursive scheme in the study of programs. (Romanian) Stud.Cerc. Mat. 40 (1988), no. 4, 339--347.
    5. Derecursivation of programs by unification in rewriting systems. Papers of the Second National Colloquium on Language, Logic and Mathematical Linguistics (Brasov, 1988), 225--235.
    6. Normalized rewriting systems and applications in the theory of programs. An. Univ. Bucuresti, Seria Mat. ,(1989), no. 2, 76--80.
    7. A new method for the proof of theorems. Proceedings of the Third Colloquium on Logic, Language, Mathematics Linguistics (Brasov, 1991), 111--121.
    8. A new method for the proof of theorems. Studia Univ. Babes-Bolyai, Math. 36 (1991), no. 3, 83--95.
    9. Term rewriting systems and completion theorems proving, Studia Universitatis Babes-Bolyai, Mathematica, 1992, pp.117--127.
    10. Buchberger algorithm in theorem proving, ROSYCS'93, 12-13 nov, Iasi, pp490-501.
    11. A note on non-monotonic logic, (colaborare M.Lupea), Studia Universitatis "Babes-Bolyai", nr3, 1993, pp109-115.
    12. Logical grammars and unfold transformations of logic programming, Studia Univ. "Babes-Bolyai", nr3, 1994, pp75-83.
    13. Logical grammars as a tool for studying Logic Programming, Studia Universitas``Babes-Bolyai'', 1994,nr.3,pp83-95.
    14. Normal forms of fuzzy formulas and their minimization,(colaborare D.Dumitrescu) Fuzzy Sets and Systems 64 (1994), no.1, 113--117.
    15. Automated theorem proving with semantic tableaux, Research seminar Computer Science, Preprint 2, 1995, pp 27-36.
    16. Buchberger algorithm in theorem proving , Analele Univ." A.I.Cuza", seria Informatica, 1995, pp85-92.
    17. Automated theorem proving with semantic tableaux, Poster at PAP'96, Londra, 26-28 aprilie, 1996.
    18. Attribute grammars and Logic programming with types, Proceedings ROSYCS'96, Iasi, mai 1996, pp57-69.
    19. Unification based and orient-object based approaches to grammars, Res. seminar in Computer science, nr2, 1996, pp63-74.
    20. Logical grammar as grammatical view of logic programming, Analele Univ. Bucuresti, seria mat-inf, XLV, 1996, 2, pp 3-12.
    21. Compiling definite clause grammars, Studia Universitatis " Babes- Bolyai", seria Informatica, vol I, nr1, 1996, pp45 - 56.
    22. Simplification of magic-set rules by logic grammars, Studia Universitatis " Babes- Bolyai", seria Informatica, vol I, nr2, 1996, pp 19-30. ( colaborare V.Varga )
    23. A class of reziduated lattices connected with fuzzy set theory, (colaborare cu D. Dumitrescu, A. Dumitrescu, L. Muresan) Proceedings of "IFSA'97", Praga, 1997,pp 227-231.
    24. Reasoning with frame-based and object-oriented knowledge, ( colaborare cu A.Dumitrescu) Acceptata la conferinta SEKE'97 ( Software engineering and knowledge engineering), June 18-20,1997, Madrid, Spania.
    25. Unification based and object-oriented based grammars,(colaborare D.Zaiu ), Proceedings of LACL' , pp65-70 , Nancy, 22-24 sept,1997.
    26. Feature structures in NLP , Res. Sem.in CS, nr. 3, 1998, pp93-104.
    27. Reasoning with frame - based and object - oriented knowledge , (colaborare cu A. Dumitrescu), Studia Universitatis "Babes-Bolyai", seria Informatica, 1997, nr.2, pp 13-24.
    28. Feature structures in NLP and object-oriented logic, (colaborare cu D. Zaiu ), Proceedings of SPECOM'97, Cluj-Napoca, 27-30oct 1997, pp 31-37.
    29. Incomplete databases and constraint logic programming, ( colaborare cu S.Campan), Studia Universitatis "Babes-Bolyai", Seria Informatica, 1997, nr1, pp63-77.
    30. Indexed grammars and unification grammars, ( colaborare cu M. Lupea), Studia Universitatis "Babes-Bolyai", Seria Informatica, 1998, nr 1, pp39-46.
    31. Well-typedness in logic programming with types, ( colaborare cu G. Serban), Studia Universitatis "Babes-Bolyai", Seria Informatica, 1998, nr.2, pp27-36.
    32. Theorem proving and DNA computing (colaborare cu M. Oltean), Studia Universitatis "Babes-Bolyai", Seria informatica, 1999, nr 1, pp62-72.
    33. Semantic representation of quantitative natural language sentences (colaborare cu A. Onet), Studia Universitatis "Babes-Bolyai", Seria Informatica, 1999, nr 2, pp 99-109.
    34. Unification grammars in natural language processing, in "Recent topics in mathematical and computational linguistic", Ed. C. Martin-Vide, G. Paun, Ed. Academiei, 2000, pp 289-300.
    35. Order-sorted logic for knowledge representation with application in NLP (colaborare cu A. Onet), Research Seminars, Seminar on Computer Science, 2000, pp75-84
    36. Feature structures in NL interfaces, Proceedings of SYNASC 2000, 4-6 oct.2000, Univ. Timisoara - RISC-Linz , pp82-86 .
    37. The semantic representation of NL sentences. A theoretical and practical approach (colaborare cu A. Onet) , BAM/2001, nr 1797, pg.195-204,
    38. Training Probabilistic Context-Free Grammars as Hidden Markov Models, (colaborare cu A.Duda, G. Serban),Studia Universitatis "Babes-Bolyai", Seria Informatica, 2000, nr 1, pp17-30.
    39. Phrase Generation in Lexical Functional Grammars and Unification Grammars (colaborare cu D.Avram), Studia Universitatis "Babes-Bolyai", Seria Informatica, 2000, nr 1, pp 69-78.
    40. Semantic Analysis in Dialog Interfaces (colaborare A.Onet), Studia Universitatis "Babes-Bolyai", Seria Informatica, 2000, nr 1, pp 79-88.
    41. Term rewriting systems in logic programming and functional programming (colaborare cu G. Seban), Studia Universitatis "Babes-Bolyai", Seria Informatica , 2000, nr 2, pp87-94.
    42. Feature Structures in NL interfaces, Analele Univ Timisoara, vol XXXVIII, nr 2, 2000, pp 179-191
    43. Intensional Logic Translation for Quantitative Natural Language Sentences, (colaborare cu A.Onet), Studia Universitatis "Babes-Bolyai", Seria Informatica, 2001, nr 1, pp 41-54.
    44. A new algorithm for word sense disambiguation (colaborare cu G. Serban), Studia Universitatis "Babes-Bolyai", Seria Informatica, 2001, nr 2, pp 99-108.
    45. A Word Sense Disambiguation Experiment for Romanian Language ( colaborare cu G. Serban), Studia Universitatis "Babes-Bolyai", Seria Informatica, 2002, nr 2, pp37-43
    46. Word Sense Disambiguation for Untagged Corpus: Application to Romanian Language, (colaborare cu G. Serban), CICLing-2003, Fourth International Conference on Intelligent Text Processing and Computational Linguistics, February, 2003, Mexico City, LNCS 2588, pp270-275
    47. How to build a QA system in your back-garden: application for Romanian, (colaborare cu Constantin Orasan, Gabriela Serban, Dana Avram, Adrian Onet ), EACL 2003, 12-17 April, Budapest, pp139-142.
    48. An Improved Algorithm on Word Sense Disambiguation, (colaborare cu Gabriela Serban), Proceedings of "Inteligent Information Processing and Web Mining", Zakopane, Polland, June 2-5, 2003, Advances in Soft Computing,Ed. Springer, Editors M.A.Klopotek, S. Wierzchon, K. Trojanowski, pp 199-209
    49. Word clustering in QA systems, (colaborare cu G. Serban), Studia Universitatis "Babes-Bolyai", Seria Informatica 2003, nr.1, pp23-33.
    50. From noun clusters to taxonomies on untagged corpus, (colaborare cu D. Avram, G. Serban) Mathematical Preprint Server, Applied Mathematics, 0309004, 2003.
    51. Hierarchical clustering algorithms for repeating similarity values, (colaborare cu D. Avram, G. Serban), Studia Universitatis "Babes-Bolyai", seria Informatica, 2003, nr 2 , pp 61-73
    52. A Web-based collaborative framework for building multi-lingual semantic networks (colaborare cu N. Ayewah, R. Mihalcea, V. Nastase ) Studia Universitatis "Babes-Bolyai", Seria Informatica, 2004, nr 1, pp 31-45
    53. UBB system at Senseval3 (colaborare cu Serban, G.), Proceedings of Workshop in Word Disambiguation, ACL 2004, Barcelona , July 2004 , pp 226-229.
    54. An evaluation exercise for Romanian WSD (colaborare cu R. Mihalcea, V. Nastase, T. Chklovski, D. Tufis, F. Hristea), Proceedings of Workshop in Word Disambiguation, ACL 2004, Barcelona , July 2004 , pp 29-36
    55. Word Sense Disambiguation by machine learning approach: a short survey, Studia Universitatis "Babes-Bolyai", Seria Informatica, 2004, nr 2, pp 17-27
    56. Word Sense Disambiguation by machine learning, Fundamenta Informaticae, IOS Press, Vol 64, nr 1-4, 2005, pp 433-442
    57. Some remarks about feature selection in word sense discrimination for Romanian language (colaborare cu D. Avram Lupsa, Studia Universitatis "Babes-Bolyai", Seria Informatica, 2005, nr 2, pp59-68
    58. Bootstrapping in Word Sense Disambiguation., Revue Roumaine de Linguistique, 2006, tome LI, no 3-4, pp 405-420.
    59. Recognizing textual entailment by theorem proving approach (colaborare cu Militon Frentiu), Studia Universitatis "Babes-Bolyai", Seria Informatica, 2006, nr 2, pp 31-41
    60. Text Entailment verification with text similarities (colaborare cu G. Serban, M. Lupea), Proceedings of the International Conference on Knowledge Engineering, Principles and Techniques, KEPT2007 Cluj-Napoca (Romania), June 6-8, 2007, pp. 33-40
    61. A CHAIN dictionary method for Word Sense Disambiguation and applications (colaborare cu G. Serban, A. Mihis, M. Lupea, D.Lupsa, M. Frentiu), Proceedings of the International Conference on Knowledge Engineering, Principles and Techniques, KEPT2007 Cluj-Napoca (Romania), June 6-8, 2007, pp.41-49
    62. Textual Entailment as a Directional Relation (colaborare cu Gabriela Serban, Andreea Mihis , Rada Mihalcea), Proceedings of the International Whorshop CALP2007, RANLP2007, Borovetz, Bulgaria, 30 sept 2007, pp
    63. Summarization by logic segmentation and text entailment (colaborare cu Emma Tamaianu-Morita, Andreea Mihis, Dana Lupsa), 9th International Conference CICLING 2008, Haifa, Israel,February 2008, Research in Computing Science vol 33, ed. Alexander Gelbukh, pp 15-26
    64. Text Entailment for Logical Segmentation and Summarization. (colaborare cu Andreea Mihis si Dana Lupsa), 13th International Conference on Applications of Natural Language to Information Systems, June 24-27 2008, London, UK, LNCS 5039, pp233-244
    65. Top-Down Cohesion Segmentation in Summarization. (colaborare cu Andreea Mihis si Gabriela Serban), International Conference on Semantics in Text Processing, STEP 2008, Venice, Italy, September 22-24; College Publication, Research in Computational Semantics, vol.1, Ed. Johan Bos and Rodolfo Delmonte, pp 389-397
    66. Lexical Chains Cohesion Segmentation and Summarization. (colaborare cu Andreea Mihis si Gabriela Serban), 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computation, SYNASC 2008, Timisoara, Sept. 26-29, IeAT Technical Report, pp 99-106
    67. Lexical Chains Segmentation in Summarization. (colaborare cu Andreea Mihis si Gabriela Serban), Proceedings of SYNASC 2008, IEEE Computer Society, pp 95-101
    68. Entailment-based linear segmentation in summarization (colaborare cu Andreea Mihis, Dana Lupsa, Emma Tamaianu-Morita), IJSEKE, International Journal of Software Engineering and Knowledge Engineering, Vol 19, Nr 9, 2009, pp 1023-1038
    69. Textual Entailment as a Directional Relation (colaborare cu Gabriela Serban, Andreea Mihis , Rada Mihalcea), JRPIT, Journal of Research and Practice in Information Technology, Vol 41, nr 1, 2009, pp 53-64
    70. Text Segments as Constrained Formal Concepts. SYNASC 2010, pp 223-228 (Doina Tatar, Epaminondas Kapetanios, Christian Sacarea, Diana Tanase)
    71. TEXT SEGMENTATION USING ROGET-BASED WEIGHTED LEXICAL CHAINS, Computing and Informatics, Vol. 32(2), 2013, pp 393-410, (Doina Tatar, Diana Inkpen, Gabriela Czibula)
FAST Web Search Web Search