Publications in ai-romatre-pubs.bib - Type: .*
2021
[214] Discovering prerequisite relations from educational documents through word embeddings (), In Future Generation Computer Systems, . [bibtex] [url]
[213] Community detection in social recommender systems: a survey (), In Applied Intelligence, volume 51, . [bibtex] [url] [doi]
[212] An Empirical Review of Automated Machine Learning (, and ), In Computers, volume 10, . [bibtex] [url] [doi]
[211] Using Social Media for Personalizing the Cultural Heritage Experience (, and ), In Adjunct Publication of the 29th ACM Conference on User Modeling, Adaptation and Personalization, UMAP 2021, Utrecht, The Netherlands, June 21-25, 2021 (Judith Masthoff, Eelco Herder, Nava Tintarev, Marko Tkalcic, eds.), ACM, . [bibtex] [url] [doi]
[210] Tourism Recommender Systems as a Vehicle for Social and Cultural Inclusion (, and ), In Joint Proceedings of the ACM IUI 2021 Workshops co-located with 26th ACM Conference on Intelligent User Interfaces (ACM IUI 2021), College Station, United States, April 13-17, 2021 (Dorota Glowacka, Vinayak R. Krishnamurthy, eds.), CEUR-WS.org, volume 2903, . [bibtex] [pdf]
[209] SOcial and Cultural IntegrAtion with PersonaLIZEd Interfaces (SOCIALIZE) (, , , and ), In IUI '21: 26th International Conference on Intelligent User Interfaces, College Station, TX, USA, April 13-17, 2021, Companion (Tracy Hammond, Katrien Verbert, Dennis Parra, eds.), ACM, . [bibtex] [url] [doi]
2020
[208] Unreliable Users Detection in Social Media (), In IEEE Access, volume 8, . [bibtex] [url] [doi]
[207] Knowledge-Based Smart City Service System (, , , and ), In Electronics, volume 9, . [bibtex] [url] [doi]
[206] On timeline-based games and their complexity (, , , and ), In Theor. Comput. Sci., volume 815, . [bibtex] [url] [doi]
[205] K-OpenAnswer: a simulation environment to analyze the dynamics of massive open online courses in smart cities ( and ), In Soft Comput., volume 24, . [bibtex] [url] [doi]
[204] A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies (), In J. Autom. Reason., volume 64, . [bibtex] [url] [doi]
[203] A framework for modelling Molecular Interaction Maps (, , and ), In CoRR, volume abs/2008.09546, . [bibtex] [url]
[202] MoodleREC: A recommendation system for creating courses using the moodle e-learning platform (, , and ), In Comput. Hum. Behav., volume 104, . [bibtex] [url] [doi]
[201] Personalizing Technology-Enhanced Learning for Cultural Visits (, , , , , , and ), In Adjunct Publication of the 28th ACM Conference on User Modeling, Adaptation and Personalization, UMAP 2020, Genoa, Italy, July 12-18, 2020 (Tsvi Kuflik, Ilaria Torre, Robin Burke, Gena, Cristina, eds.), ACM, . [bibtex] [url] [doi]
[200] A Social Approach to a Wiki Course Building (, , and ), In Research and Innovation Forum 2020 - Disruptive Technologies in Times of Change, RIIFORUM 2020, Athens, Greece, 15-17 April 2020 (Anna Visvizi, Miltiadis D. Lytras, Naif R. Aljohani, eds.), Springer, . [bibtex] [url] [doi]
[199] A Community of Practice for the Development of Teachers' TEL Skills: A Social Network Analysis Perspective (, , and ), In Research and Innovation Forum 2020 - Disruptive Technologies in Times of Change, RIIFORUM 2020, Athens, Greece, 15-17 April 2020 (Anna Visvizi, Miltiadis D. Lytras, Naif R. Aljohani, eds.), Springer, . [bibtex] [url] [doi]
[198] Business Intelligence for Teaching Analytics: A Case Study (, , and ), In Research and Innovation Forum 2020 - Disruptive Technologies in Times of Change, RIIFORUM 2020, Athens, Greece, 15-17 April 2020 (Anna Visvizi, Miltiadis D. Lytras, Naif R. Aljohani, eds.), Springer, . [bibtex] [url] [doi]
[197] A Language for Timeline-based Planning (, , , and ), In Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020 (Riccardo De Benedictis, Luca Geretti, Andrea Micheli, eds.), CEUR-WS.org, volume 2785, . [bibtex] [pdf]
[196] Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration (, , and ), Chapter in Knowledge Engineering Tools and Techniques for AI Planning (Mauro Vallati, Diane E. Kitchin, eds.), Springer, . [bibtex] [url] [doi]
[195] Tracking Museum Visitors through Convolutional Object Detectors (, , and ), In Adjunct Publication of the 28th ACM Conference on User Modeling, Adaptation and Personalization, Association for Computing Machinery, . [bibtex] [url] [doi]
[194]Automated Machine Learning: Prospects and Challenges (, and ), In Computational Science and Its Applications – ICCSA 2020 (Gervasi, Osvaldo, Murgante, Beniamino, Misra, Sanjay, Garau, Chiara, Blečić, Ivan, Taniar, David, Apduhan, Bernady O., Rocha, Ana Maria A. C., Tarantino, Eufemia, Torre, Carmelo Maria, Karaca, Yeliz, eds.), Springer International Publishing, . [bibtex]
[193]A Comparative Analysis of State-of-the-Art Recommendation Techniques in the Movie Domain (, and ), In Computational Science and Its Applications – ICCSA 2020 (Gervasi, Osvaldo, Murgante, Beniamino, Misra, Sanjay, Garau, Chiara, Blečić, Ivan, Taniar, David, Apduhan, Bernady O., Rocha, Ana Maria A. C., Tarantino, Eufemia, Torre, Carmelo Maria, Karaca, Yeliz, eds.), Springer International Publishing, . [bibtex]
[192]An Analysis of Trends and Connections in Google, Twitter, and Wikipedia (, and ), In HCI International 2020 - Posters (Stephanidis, Constantine, Antona, Margherita, eds.), Springer International Publishing, . [bibtex]
[191]An AI-Based Approach to Automatic Waste Sorting (, , , and ), In HCI International 2020 - Posters (Stephanidis, Constantine, Antona, Margherita, eds.), Springer International Publishing, . [bibtex]
2019
[190] Personalized weight loss strategies by mining activity tracker data (, and ), In User Modeling and User-Adapted Interaction, . [bibtex] [url] [doi]
[189] Point of interest recommendation based on social and linked open data (), In Personal and Ubiquitous Computing, volume 23, . [bibtex] [url] [doi]
[188] Exploiting semantics for context-aware itinerary recommendation (), In Personal and Ubiquitous Computing, volume 23, . [bibtex] [url] [doi]
[187] Enhancing cultural recommendations through social and linked open data (), In User Modeling and User-Adapted Interaction, . [bibtex] [url] [doi]
[186]An Approach to Conversational Recommendation of Restaurants (, , and ), In Communications in Computer and Information Science, volume 1034, . [bibtex] [doi]
[185]Cross-domain recommendation for enhancing cultural heritage experience (, and ), In ACM UMAP 2019 Adjunct - Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization, . [bibtex] [doi]
[184]Point of interest recommendation based on social and linked open data (), In Personal and Ubiquitous Computing, volume 23, . [bibtex] [doi]
[183] BERT, ELMo, use and infersent sentence encoders: The Panacea for research-paper recommendation? (, , , and ), In Proceedings of ACM RecSys 2019 Late-breaking Results co-located with the 13th ACM Conference on Recommender Systems (RecSys 2019), volume 2431, . [bibtex] [url]
[182] Evaluating the Efficacy of Traditional Fitness Tracker Recommendations (, and ), In Proceedings of the 24th International Conference on Intelligent User Interfaces: Companion, ACM, . [bibtex] [url] [doi]
[181]Exploiting semantics for context-aware itinerary recommendation ( and ), In Personal and Ubiquitous Computing, volume 23, . [bibtex] [doi]
[180] Cross-Domain Recommendation for Enhancing Cultural Heritage Experience (, and ), In Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization, UMAP 2019, Larnaca, Cyprus, June 09-12, 2019 (George Angelos Papadopoulos, George Samaras, Stephan Weibelzahl, Dietmar Jannach, Olga C. Santos, eds.), ACM, . [bibtex] [url] [doi]
[179] Simulating Peer Assessment in Massive Open On-line Courses ( and ), In Research & Innovation Forum 2019 - Technology, Innovation, Education, and their Social Impact, RIIFORUM 2019, Rome, Italy, April 24-26, 2019 (Anna Visvizi, Miltiadis D. Lytras, eds.), Springer, . [bibtex] [url] [doi]
[178] BERT, ELMo, USE and InferSent Sentence Encoders: The Panacea for Research-Paper Recommendation? (, , and ), In Proceedings of ACM RecSys 2019 Late-Breaking Results co-located with the 13th ACM Conference on Recommender Systems, RecSys 2019 Late-Breaking Results, Copenhagen, Denmark, September 16-20, 2019 (Marko Tkalcic, Sole Pera, eds.), CEUR-WS.org, volume 2431, . [bibtex] [pdf]
[177] Learning Analytics Models: A Brief Review ( and ), In 23rd International Conference on Information Visualisation, IV 2019, Paris, France, July 2-5, 2019, Part I (Ebad Banissi, Anna Ursyn, Mark W. McK. Bannatyne, Nuno Datia, Rita Francese, Muhammad Sarfraz, Theodor G. Wyeld, Fatma Bouali, Gilles Venturini, Hanane Azzag, Mustapha Lebbah, Marjan Trutschl, Urska Cvek, Heimo Müller, Minoru Nakayama, Sebastian Kernbach, Loredana Caruccio, Michele Risi, Ugo Erra, Autilia Vitiello, Veronica Rossano, eds.), IEEE, . [bibtex] [url] [doi]
[176] Simulating Massive Open On-line Courses Dynamics ( and ), In 18th International Conference on Information Technology Based Higher Education and Training, ITHET 2019, Magdeburg, Germany, September 26-27, 2019, IEEE, . [bibtex] [url] [doi]
[175] Guidelines for TEL Researchers on Discovering and Eliciting Educational Features in Web Resources (, and ), In 18th International Conference on Information Technology Based Higher Education and Training, ITHET 2019, Magdeburg, Germany, September 26-27, 2019, IEEE, . [bibtex] [url] [doi]
[174] An on-line Framework for Experimenting with Concept Maps (, , , , and ), In 18th International Conference on Information Technology Based Higher Education and Training, ITHET 2019, Magdeburg, Germany, September 26-27, 2019, IEEE, . [bibtex] [url] [doi]
[173] Retrieval of Educational Resources from the Web: A Comparison Between Google and Online Educational Repositories (, , and ), In Advances in Web-Based Learning - ICWL 2019 - 18th International Conference, Magdeburg, Germany, September 23-25, 2019, Proceedings (Michael A. Herzog, Zuzana Kubincová, Peng Han, Marco Temperini, eds.), Springer, volume 11841, . [bibtex] [url] [doi]
[172] Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains (, , and ), In AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings (Mario Alviano, Gianluigi Greco, Francesco Scarcello, eds.), Springer, volume 11946, . [bibtex] [url] [doi]
[171] A Prototype for the Robust Execution of Flexible Plans (, , , and ), In Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019 (Nicola Gigante, Federico Mari, Orlandini, Andrea, eds.), CEUR-WS.org, volume 2509, . [bibtex] [pdf]
[170] Toward Automated Courseware Production for the ExPLoRAA Learning Environment (, , , , and ), In AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings (Mario Alviano, Gianluigi Greco, Francesco Scarcello, eds.), Springer, volume 11946, . [bibtex] [url] [doi]
[169]An Approach to Conversational Recommendation of Restaurants (, , and ), In HCI International 2019 - Posters (Stephanidis, Constantine, ed.), Springer International Publishing, . [bibtex]
2018
[168]Modeling Teachers and Learning Materials: a Comparison Among Similarity Metrics (, , and ), In 22nd International Conference on Information Visualisation iV2018, . [bibtex]
[167] Advances in Personalized Mobile Services (, , , , and ), In Mobile Information Systems, Hindawi Limited, volume 2018, . [bibtex] [url] [doi]
[166] Temporal people-to-people recommendation on social networks with sentiment-based matrix factorization (, , and ), In Future Generation Computer Systems, volume 78, . [bibtex] [url] [doi]
[165] Integrating resource management and timeline-based planning (, , and ), In Proceedings International Conference on Automated Planning and Scheduling, ICAPS, volume 2018-June, . [bibtex] [url]
[164] Semantic-based Tag Recommendation in Scientific Bookmarking Systems (, , and ), In Proceedings of the 12th ACM Conference on Recommender Systems, ACM, . [bibtex] [url] [doi]
[163]A game-theoretic approach to timeline-based planning with uncertainty (, , , and ), In 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018, volume 120, . [bibtex] [doi]
[162]Enhancing itinerary recommendation with linked open data (, and ), In Communications in Computer and Information Science, volume 850, . [bibtex] [doi]
[161] Machine Learning and Learning Analytics: Integrating Data with Learning (), In 17th International Conference on Information Technology Based Higher Education and Training, ITHET 2018, Olhao, Portugal, April 26-28, 2018, IEEE, . [bibtex] [url] [doi]
[160] An Environment to Model Massive Open Online Course Dynamics (, , and ), In Knowledge Discovery, Knowledge Engineering and Knowledge Management - 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers (Ana L. N. Fred, Ana Salgado, David Aveiro, Jan L. G. Dietz, Jorge Bernardino, Joaquim Filipe, eds.), Springer, volume 1222, . [bibtex] [url] [doi]
[159] Peer Assessment and Knowledge Discovering in a Community of Learners (, , and ), In Proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2018, Volume 1: KDIR, Seville, Spain, September 18-20, 2018 (Ana L. N. Fred, Joaquim Filipe, eds.), SciTePress, . [bibtex] [url] [doi]
[158]Enhancing Itinerary Recommendation with Linked Open Data (, and ), In HCI International 2018 – Posters' Extended Abstracts (Stephanidis, Constantine, ed.), Springer International Publishing, . [bibtex]
2017
[157] Dynamic Social Recommendation (, , and ), In Proceedings of the 2017 IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining 2017, ACM, . [bibtex] [url] [doi]
[156] Prerequisites between Learning Objects: Automatic Extraction based on a Machine Learning Approach (, , , and ), In Telematics and Informatics, volume 35, . [bibtex] [url] [doi]
[155]Improving News Recommendation by Monitoring the Perception of News Content on Social Networks: A Methodology (), Workshop of the Israel Science Foundation on: User Modeling and Recommender Systems, organized by Tsvi Kuflik. Haifa, Israel, 17-19 July, . [bibtex]
[154] Community Detection and Recommender Systems (, and ), Chapter in Encyclopedia of Social Network Analysis and Mining (Alhajj, Reda, Rokne, Jon, eds.), Springer New York, . [bibtex] [url] [doi]
[153] A Social Cultural Recommender Based on Linked Open Data (, , and ), In Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization, ACM, . [bibtex] [url] [doi]
[152]Enrichment of the Dataset of Joint Educational Entities with the Web of Data (, , and ), In Proceedings - IEEE 17th International Conference on Advanced Learning Technologies, ICALT 2017, . [bibtex] [doi]
[151]A framework for comparing concept maps (, , , and ), In 2017 16th International Conference on Information Technology Based Higher Education and Training, ITHET 2017, . [bibtex] [doi]
[150] Complexity of timeline-based planning (, , and ), In Proceedings International Conference on Automated Planning and Scheduling, ICAPS, . [bibtex] [url]
[149]Social recommendation with time and sentiment analysis (, , and ), In UMAP 2017 - Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization, . [bibtex] [doi]
[148] Personalization and context-awareness in social local search: State-of-the-art and future research challenges (), In Pervasive and Mobile Computing, volume 38, . [bibtex] [url] [doi]
[147] Modeling user interests from web browsing activities (), In Data Mining and Knowledge Discovery, volume 31, . [bibtex] [url] [doi]
[146] Towards a Characterization of Educational Material: An Analysis of Coursera Resources (, , , , , and ), Chapter in Emerging Technologies for Education. SETE 2016 (Wu TT., Gennari R., Huang YM., Xie H., Cao Y., ed.), Springer, . [bibtex] [url] [doi]
[145] Course-Driven Teacher Modeling for Learning Objects Recommendation in the Moodle LMS (, , , and ), In Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization, ACM, . [bibtex] [url] [doi]
[144] A Social Cultural Recommender based on Linked Open Data (, , and ), In Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization, UMAP 2017, Bratislava, Slovakia, July 09 - 12, 2017 (Mária Bieliková, Eelco Herder, Cena, Federica, Michel C. Desmarais, eds.), ACM, . [bibtex] [url] [doi]
[143] Automatic Extraction and Sequencing of Wikipedia Pages for Smart Course Building (, , and ), In 21st International Conference Information Visualisation, IV 2017, London, United Kingdom, July 11-14, 2017, . [bibtex] [url] [doi]
[142] Modeling a Peer Assessment Framework by Means of a Lazy Learning Approach (, , and ), In Emerging Technologies for Education - Second International Symposium, SETE 2017, Held in Conjunction with ICWL 2017, Cape Town, South Africa, September 20-22, 2017, Revised Selected Papers (Tien-Chi Huang, Rynson W. H. Lau, Yueh-Min Huang, Marc Spaniol, Chun-Hung Yuen, eds.), Springer, volume 10676, . [bibtex] [url] [doi]
[141] Implicit Evaluation of User's Expertise in Scientific Domains (, , , and ), In HCI International 2017 – Posters' Extended Abstracts: 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9–14, 2017, Proceedings, Part I (Stephanidis, Constantine, ed.), Springer International Publishing, . [bibtex] [url] [doi]
[140] Social Recommendation with Time and Sentiment Analysis (, , and ), In Adjunct Publication of the 25th Conference on User Modeling, Adaptation and Personalization, Association for Computing Machinery, . [bibtex] [url] [doi]
2016
[139]Steps in assessing a timeline-based planner (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 10037 LNAI, . [bibtex] [doi]
[138] A comparative analysis of personality-based music recommender systems (, and ), In EMPIRE, volume 1680, . [bibtex] [url]
[137]An executable semantics of flexible plans in terms of timed game automata ( and ), In Proceedings of the International Workshop on Temporal Representation and Reasoning, volume 2016-January, . [bibtex] [doi]
[136]A recommendation module to help teachers build courses through the Moodle Learning Management System (, , , and ), In New Review of Hypermedia and Multimedia, volume 22, . [bibtex] [doi]
[135]Towards the recommendation of resources in Coursera (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9684, . [bibtex] [doi]
[134]Concept maps similarity measures for educational applications (, , , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9684, . [bibtex] [doi]
[133]Timelines Are Expressive Enough to Capture Action-Based Temporal Planning (, , and ), In Proceedings of the International Workshop on Temporal Representation and Reasoning, volume 2016-December, . [bibtex] [doi]
[132]DAJEE: A dataset of joint educational entities for information retrieval in technology enhanced learning (, , and ), In SIGIR 2016 - Proceedings of the 39th International ACM SIGIR Conference on Research and Development in Information Retrieval, . [bibtex] [doi]
[131]Mining prerequisite relationships among learning objects (, , , and ), In Communications in Computer and Information Science, volume 618, . [bibtex] [doi]
[130] A Signal-Based Approach to News Recommendation (, , and ), In Late-breaking Results, Posters, Demos, Doctoral Consortium and Workshops Proceedings of the 24th ACM Conference on User Modeling, Adaptation and Personalisation (UMAP 2016), Halifax, Canada, July 13-16, 2016., . [bibtex] [pdf]
[129] A Signal-Based Approach to News Recommendation (, , and ), In Late-breaking Results, Posters, Demos, Doctoral Consortium and Workshops Proceedings of the 24th ACM Conference on User Modeling, Adaptation and Personalisation (UMAP 2016), Halifax, Canada, July 13-16, 2016 (Cena, Federica, Michel C. Desmarais, Darina Dicheva, eds.), CEUR-WS.org, volume 1618, . [bibtex] [pdf]
[128] A Comparative Analysis of Personality-Based Music Recommender Systems (, and ), In Proceedings of the 4th Workshop on Emotions and Personality in Personalized Systems co-located with ACM Conference on Recommender Systems (RecSys 2016), Boston, MA, USA, September 16, 2016 (Marko Tkalcic, Berardina De Carolis, Marco de Gemmis, Andrej Kosir, eds.), CEUR-WS.org, volume 1680, . [bibtex] [pdf]
[127] Automatic Extraction of Prerequisites Among Learning Objects Using Wikipedia-Based Content Analysis (, , , and ), In Intelligent Tutoring Systems - 13th International Conference, ITS 2016, Zagreb, Croatia, June 7-10, 2016. Proceedings, . [bibtex] [url] [doi]
[126] Discovering Prerequisite Relationships Among Learning Objects: A Coursera-Driven Approach (, , , , , and ), In Advances in Web-Based Learning - ICWL 2016 - 15th International Conference, Rome, Italy, October 26-29, 2016, Proceedings, . [bibtex] [url] [doi]
[125] A Social Context-Aware Recommender of Itineraries Between Relevant Points of Interest (, , and ), In HCI International 2016 - Posters' Extended Abstracts - 18th International Conference, HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II (Constantine Stephanidis, ed.), Springer, volume 618, . [bibtex] [url] [doi]
[124] A Machine Learning Approach to Identify Dependencies Among Learning Objects (, , , and ), In CSEDU 2016 - Proceedings of the 8th International Conference on Computer Supported Education, Volume 1, Rome, Italy, April 21-23, 2016. (James Onohuome Uhomoibhi, Gennaro Costagliola, Susan Zvacek, Bruce M. McLaren, eds.), SciTePress, . [bibtex] [url] [doi]
[123] Sequencing Wikipedia Pages: An On-the-fly Approach to Course Building (, , , and ), In CSEDU 2016 - Proceedings of the 8th International Conference on Computer Supported Education, Volume 1, Rome, Italy, April 21-23, 2016. (James Onohuome Uhomoibhi, Gennaro Costagliola, Susan Zvacek, Bruce M. McLaren, eds.), SciTePress, . [bibtex] [url] [doi]
[122]Planning and execution with flexible timelines: a formal account (, and ), In Acta Informatica, volume 53, . [bibtex] [doi]
[121] A signal-based approach to news recommendation (, , and ), In INRA 2016: News Recommendation and Analytics workshop, volume 1618, . [bibtex] [url]
[120] Tag-Aware Personalized Recommendation Using a Deep-Semantic Similarity Model with Negative Sampling (, , , and ), In Proceedings of the 25th ACM International on Conference on Information and Knowledge Management, Association for Computing Machinery, . [bibtex] [url] [doi]
2015
[119]Enriching a temporal planner with resources and a Hierarchy-based Heuristic (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9336 LNCS, . [bibtex] [doi]
[118] Quality metrics to evaluate flexible timeline-based plans (, and ), In Proceedings of the 6th Italian Workshop on Planning and Scheduling, volume 1493, . [bibtex] [url]
[117]Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders [Journal of Automated Reasoning, DOI 10.1007/s10817-014-9307-z] (), In Journal of Automated Reasoning, volume 55, . [bibtex] [doi]
[116]A social network-based teacher model to support course construction (, and ), In Computers in Human Behavior, volume 51, . [bibtex] [doi]
[115]Wiki course builder: A system for retrieving and sequencing didactic materials from Wikipedia (, and ), In 2015 International Conference on Information Technology Based Higher Education and Training, ITHET 2015, . [bibtex] [doi]
[114]Exploiting wikipedia for discovering prerequisite relationships among learning objects (, and ), In 2015 International Conference on Information Technology Based Higher Education and Training, ITHET 2015, . [bibtex] [doi]
[113] Analysis of Sentiment Communities in Online Networks (, , and ), In Proceedings of the International Workshop on Social Personalisation & Search, SPS 2015, co-located with the 38th Annual ACM SIGIR Conference (SIGIR 2015), Santiago de Chile, Chile, August 9-13, 2015., . [bibtex] [pdf]
[112] Enhancing Social Recommendation with Sentiment Communities (, , and ), In Web Information Systems Engineering - WISE 2015 - 16th International Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part II, . [bibtex] [url] [doi]
[111] Personalized Extended Government for Local Public Administrations (, and ), In Posters, Demos, Late-breaking Results and Workshop Proceedings of the 23rd Conference on User Modeling, Adaptation, and Personalization (UMAP 2015), Dublin, Ireland, June 29 - July 3, 2015 (Alexandra I. Cristea, Judith Masthoff, Alan Said, Nava Tintarev, eds.), CEUR-WS.org, volume 1388, . [bibtex] [pdf]
[110] Analysis of User-generated Content for Improving YouTube Video Recommendation (, , , and ), In Poster Proceedings of the 9th ACM Conference on Recommender Systems, RecSys 2015, Vienna, Austria, September 16, 2015., . [bibtex] [pdf]
[109] A Content-Based Approach for Supporting Teachers in Discovering Dependency Relationships Between Instructional Units in Distance Learning Environments (, and ), In HCI International 2015 - Posters' Extended Abstracts - International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part II, . [bibtex] [url] [doi]
[108] A Social Semantic Approach to Adaptive Query Expansion (, , and ), Chapter in Web Information Systems and Technologies: 10th International Conference, WEBIST 2014, Barcelona, Spain, April 3-5, 2014, Revised Selected Papers (Monfort, Valérie, Krempels, Karl-Heinz, eds.), Springer International Publishing, . [bibtex] [url] [doi]
2014
[107] Exploiting Web Browsing Activities for User Needs Identification (, and ), In 2014 International Conference on Computational Science and Computational Intelligence, volume 2, . [bibtex] [url] [doi]
[106]Social network analysis and evaluation of communities of practice of teachers: A case study (, , , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 8699, . [bibtex] [doi]
[105]A formal account of planning with flexible timelines (, and ), In Proceedings of the International Workshop on Temporal Representation and Reasoning, . [bibtex] [doi]
[104]Fuzzy student modeling for personalization of e-learning courses ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 8523 LNCS, . [bibtex] [doi]
[103] iSCUR: Interest and sentiment-based community detection for user recommendation on twitter (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 8538, . [bibtex] [url]
[102]Mining Navigation Histories for User Need Recognition (, and ), In Communications in Computer and Information Science, volume 434 PART I, . [bibtex] [doi]
[101]A data mining approach to the analysis of students' learning styles in an e-learning community: A case study (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 8514 LNCS, . [bibtex] [doi]
[100] UnderstandIT: A community of practice of teachers for VET education (, , , and ), In WEBIST 2014 - Proceedings of the 10th International Conference on Web Information Systems and Technologies, volume 1, . [bibtex] [url]
[99] A General Evaluation Framework for Adaptive Focused Crawlers (, and ), In WEBIST 2014 - Proceedings of the 10th International Conference on Web Information Systems and Technologies, Volume 2, Barcelona, Spain, 3-5 April, 2014, . [bibtex] [url] [doi]
[98]Extended Decision Procedure for a Fragment of HL with Binders (), In Journal of Automated Reasoning, volume 53, . [bibtex] [doi]
[97] SocialSearch: A social platform for web 2.0 search (, , and ), In WEBIST 2014 - Proceedings of the 10th International Conference on Web Information Systems and Technologies, volume 1, . [bibtex] [url]
2013
[96]A proof procedure for hybrid logic with binders, transitivity and relation hierarchies (), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 7898 LNAI, . [bibtex] [doi]
[95]A teaching-style based social network for didactic building and sharing (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 7926 LNAI, . [bibtex] [doi]
[94]A teacher model to speed up the process of building courses (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 8005 LNCS, . [bibtex] [doi]
[93]Filtering Learning Objects Repositories by a Didactic Search Engine (, and ), In Communications in Computer and Information Science, volume 278, . [bibtex] [doi]
[92]Design of a domain-independent training system based on a smart pedagogical agent (, , , and ), In 2013 12th International Conference on Information Technology Based Higher Education and Training, ITHET 2013, . [bibtex] [doi]
[91] An approach to social recommendation for context-aware mobile services (, , and ), In ACM TIST, volume 4, . [bibtex] [url] [doi]
[90] A Sentiment-Based Approach to Twitter User Recommendation (, , and ), In Proceedings of the Fifth ACM RecSys Workshop on Recommender Systems and the Social Web co-located with the 7th ACM Conference on Recommender Systems (RecSys 2013), Hong Kong, China, October 13, 2013., . [bibtex] [pdf]
[89]A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities ( and ), In Journal of Automated Reasoning, volume 51, . [bibtex] [doi]
[88] Personality-based recommendation in E-commerce (, , , , and ), In EMPIRE 2013: Emotions and Personality in Personalized Services, volume 997, . [bibtex] [url]
[87]Social semantic query expansion (, , and ), In ACM Transactions on Intelligent Systems and Technology, volume 4, . [bibtex] [doi]
[86] Signal-based User Recommendation on Twitter (, , , and ), In Proceedings of the 22Nd International Conference on World Wide Web, ACM, . [bibtex] [url] [doi]
2012
[85]Exploring folksonomies for adaptive query expansion (), SASWeb 2012: Semantic and Adaptive Social Web workshop, organized by Lora Aroyo, Cena, Federica, Antonina Dattolo, Pasquale Lops, Julita Vassileva. In conjunction with the 20th Conference on User Modeling, Adaptation, and Personalization. Montreal, Canada, 16-20 July, . [bibtex]
[84]Supporting teachers to retrieve and select learning objects for personalized courses in the Moodle-LS environment (, , and ), In Proceedings of the 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012, . [bibtex] [doi]
[83]Virtual industrial training: Joining innovative interfaces with plant modeling (, , and ), In 2012 International Conference on Information Technology Based Higher Education and Training, ITHET 2012, . [bibtex] [doi]
[82] Wavelet-based Music Recommendation (, , , and ), In WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18 - 21 April, 2012, . [bibtex] [url] [doi]
[81] Folksonomy-based adaptive query expansion (, , , and ), In Workshop and Poster Proceedings of the 20th Conference on User Modeling, Adaptation, and Personalization, Montreal, Canada, July 16-20, 2012, . [bibtex] [pdf]
[80] TREC Microblog 2012 Track: Real-Time Ranking Algorithm for Microblog Ranking Systems ( and ), In Proceedings of The Twenty-First Text REtrieval Conference, TREC 2012, Gaithersburg, Maryland, USA, November 6-9, 2012, . [bibtex] [pdf]
[79] Enhancing Query Expansion through Folksonomies and Semantic Classes (, , and ), In 2012 International Conference on Privacy, Security, Risk and Trust, PASSAT 2012, and 2012 International Confernece on Social Computing, SocialCom 2012, Amsterdam, Netherlands, September 3-5, 2012, . [bibtex] [url] [doi]
2011
[78] A Case-Based Approach to Adaptive Hypermedia Navigation (, and ), Chapter in Dynamic Advancements in Teaching and Learning Based Technologies: New Concepts (Eugenia M. W. Ng, Nikos Karacapilidis, Mahesh Raisinghani, eds.), IGI Global, . [bibtex] [url] [doi]
[77]A Step toward Personalized Social Geotagging (, , and ), In Proceedings of IUI 2010 Workshop on Social Recommender Systems, . [bibtex]
[76] Personalized e-learning in moodle: The moodle_LS system (, and ), In Journal of E-Learning and Knowledge Society, volume 7, . [bibtex] [url]
[75]The Lecomps5 framework for personalized web-based learning: A teacher's satisfaction perspective (, , and ), In Computers in Human Behavior, volume 27, . [bibtex] [doi]
[74] Enhancing Traditional Local Search Recommendations with Context-Awareness (, , , , and ), In User Modeling, Adaption and Personalization - 19th International Conference, UMAP 2011, Girona, Spain, July 11-15, 2011. Proceedings, . [bibtex] [url] [doi]
[73]A tableaux based decision procedure for a broad class of hybrid formulae with binders ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 6793 LNAI, . [bibtex] [doi]
[72] Context-aware Movie Recommendation Based on Signal Processing and Machine Learning (, , , and ), In Proceedings of the 2Nd Challenge on Context-Aware Movie Recommendation, ACM, . [bibtex] [url] [doi]
2010
[71]Automated and flexible comparison of course sequencing algorithms in the LS-Lab framework (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 6095 LNCS, . [bibtex] [doi]
[70]A module for adaptive course configuration and assessment in moodle (, , and ), In Communications in Computer and Information Science, volume 111 CCIS, . [bibtex] [doi]
[69]An ontology-driven OLAP system to help teachers in the analysis of web learning object repositories (, , and ), In Information Systems Management, volume 27, . [bibtex] [doi]
[68]Herod and pilate: Two tableau provers for basic hybrid logic ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 6173 LNAI, . [bibtex] [doi]
[67] Nominal substitution at work with the global and converse modalities ( and ), In Advances in Modal Logic 2006, volume 8, . [bibtex] [url]
[66]An efficient approach to nominal equalities in hybrid logic tableaux ( and ), In Journal of Applied Non-Classical Logics, volume 20, . [bibtex] [doi]
2009
[65]Towards Cognitive Modeling of User Needs in Web Browsing Activities (, and ), In Cognitive Systems (ESSCS), ESSCS, volume 7, . [bibtex]
[64]LS-LAB: A framework for comparing curriculum sequencing algorithms (, and ), In ISDA 2009 - 9th International Conference on Intelligent Systems Design and Applications, . [bibtex] [doi]
[63]Virtual cultural tour personalization by means of an adaptive e-learning system: A case study (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 5736 LNAI, . [bibtex] [doi]
[62]Adaptive learning with the LS-Plan system: A field evaluation (, , and ), In IEEE Transactions on Learning Technologies, volume 2, . [bibtex] [doi]
[61]An application of the LS-Plan system to an educational hypermedia (, and ), In International Journal of Web-Based Learning and Teaching Technologies, volume 4, . [bibtex] [doi]
[60] A web-based training system for business letter writing (, and ), In Knowl.-Based Syst., volume 22, . [bibtex] [url] [doi]
[59] Personalization in Virtual Enterprises (, and ), In WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies, Lisbon, Portugal, March 23-26, 2009 (Joaquim Filipe, José Cordeiro, eds.), INSTICC Press, . [bibtex] [url] [doi]
[58]Abduction and consequence generation in a support system for the design of logical multiple-choice questions (), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 5607 LNAI, . [bibtex] [doi]
2008
[57]Adaptive course generation through learning styles representation (, , and ), In Universal Access in the Information Society, Springer, volume 7, . [bibtex]
[56]Towards Modeling of Information Needs in Web-Browsing Activities (, and ), In Proceedings of the 25th Annual Workshop of European Society for the Study of Cognitive Systems, . [bibtex]
[55] LECOMPS5: A web-based learning system for course personalization and adaptation (, , and ), In MCCSIS'08 - IADIS Multi Conference on Computer Science and Information Systems; Proceedings of e-Learning 2008, volume 1, . [bibtex] [url]
[54]Lecomps5: A framework for the automatic building of personalized learning sequences (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 5288 LNAI, . [bibtex] [doi]
[53]LS-plan: An effective combination of dynamic courseware generation and learning styles in web-based education (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 5149 LNCS, . [bibtex] [doi]
[52] A Deep Evaluation of Two Cognitive User Models for Personalized Search ( and ), Chapter in Personalization Techniques and Recommender Systems, . [bibtex] [url] [doi]
[51]Knowledge retrieval and personalization in virtual enterprises (, and ), In WMSCI 2008 - The 12th World Multi-Conference on Systemics, Cybernetics and Informatics, Jointly with the 14th International Conference on Information Systems Analysis and Synthesis, ISAS 2008 - Proc., volume 6, . [bibtex]
2007
[50] Case-based indoor navigation ( and ), In Proceedings of the 1st International Workshop on Robot Vision; In Conjunction with VISAPP 2007, . [bibtex] [url]
[49] A case-based approach to anomaly intrusion detection ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 4571 LNAI, . [bibtex] [url]
[48] Case-based reasoning in robot indoor navigation (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 4626 LNAI, . [bibtex] [url]
[47] Case-based anomaly detection ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 4626 LNAI, . [bibtex] [url]
[46]Configuration of personalized e-learning courses in moodle (, and ), In EUROCON 2007 - The International Conference on Computer as a Tool, . [bibtex] [doi]
[45] User Profiles for Personalized Information Access (, , and ), Chapter in (Brusilovsky, Peter, Kobsa, Alfred, Nejdl, Wolfgang, eds.), Springer-Verlag, . [bibtex] [url]
[44] Personalized Search Based on a Memory Retrieval Theory ( and ), In IJPRAI, volume 21, . [bibtex] [url] [doi]
[43] Exploiting web browsing histories to identify user needs ( and ), In Proceedings of the 12th International Conference on Intelligent User Interfaces, IUI 2007, Honolulu, Hawaii, USA, January 28-31, 2007, . [bibtex] [url] [doi]
[42] Personalized Search on the World Wide Web (, , and ), Chapter in (Peter Brusilovsky, Alfred Kobsa, Wolfgang Nejdl, eds.), Springer, volume 4321, . [bibtex] [url] [doi]
[41] Adaptive Focused Crawling ( and ), Chapter in (Peter Brusilovsky, Alfred Kobsa, Wolfgang Nejdl, eds.), Springer, volume 4321, . [bibtex] [url] [doi]
[40]Linear temporal logic as an executable semantics for planning languages (, , and ), In Journal of Logic, Language and Information, volume 16, . [bibtex] [doi]
2006
[39] Intelligent Search on the Internet (, and ), Chapter in , . [bibtex] [url] [doi]
2005
[38]Environment topological structure recognition for robot navigation ( and ), In International Conference on Image Analysis and Processing, . [bibtex]
[37]Pdk: The system and its language (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 3702 LNAI, . [bibtex] [doi]
[36]User Profile Generation Based on a Memory Retrieval Theory ( and ), In in Proceedings of the 1st International Workshop on Web Personalization, Recommender Systems and Intelligent User Interfaces, WPRSIUI 2005, . [bibtex]
[35] Planning with graded fluents and actions (, , and ), In IJCAI International Joint Conference on Artificial Intelligence, . [bibtex] [url]
2004
[34]Swarm Intelligence: Agents for Adaptive Web Search ( and ), In Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, . [bibtex]
2003
[33]Recognition of office-like environments through the extraction of the perspective structure (, and ), In IFAC Proceedings Volumes, Elsevier, volume 36, . [bibtex]
[32]An intelligent web tutoring system for learning personalization and semantic web compatibility (, , and ), In Proceedings of the 11th International Conference on Powerful ICT Tools for Teaching and Learning (PEG 2003), St Petersburg, . [bibtex]
[31]Content Based Image Retrieval (, and ), In AIxIA: Advances in Artificial Intelligence: Congress of the Italian Association for Artificial Intelligence. Selected Papers, . [bibtex]
[30]A new content based image retrieval method based on a sketch-driven interpretation of line segments (, and ), In Proceedings of the 18th international joint conference on Artificial intelligence, . [bibtex]
[29]Content based image retrieval for unsegmented images (, and ), In Congress of the Italian Association for Artificial Intelligence, . [bibtex]
[28] Planning under uncertainty in linear time logic (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2829, . [bibtex] [url]
[27] An integrated system for Automatic Face Recognition (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2749, . [bibtex] [url]
[26] Adaptive Web Search Based on a Colony of Cooperative Distributed Agents ( and ), In Cooperative Information Agents VII, 7th International Workshop, CIA 2003, Helsinki, Finland, August 27-29, 2003, Proceedings, . [bibtex] [url] [doi]
2002
[25]Automatic annotation of tennis video sequences (, and ), In Joint Pattern Recognition Symposium, . [bibtex]
[24]A deformation tolerant version of the generalized hough transform for image retrieval (, and ), In Proceedings of the 15th European Conference on Artificial Intelligence, . [bibtex]
[23] A general theorem prover for quantified modal logics (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2381 LNAI, . [bibtex] [url]
[22] Holmes: A Prototype for the Targeted Search of Information About Hi-tech Companies (, , and ), Chapter in Computational Intelligence and Applications (Abraham, Ajith, Nath, Baikunth, Sambandham, M., Saratchandran, P., eds.), Dynamic Publishers, Inc., . [bibtex] [url]
[21] Holmes: A Prototype for the Targeted Search of Information About Hi-tech Companies (, , and ), In Second International Workshop on Intelligent Systems Design and Application, Dynamic Publishers, Inc., . [bibtex] [url]
2001
[20] Ground and free-variable tableaux for variants of quantified modal logics ( and ), In Studia Logica, volume 69, . [bibtex] [url] [doi]
[19] Free-variable tableaux for constant-domain quantified modal logics with rigid and non-rigid designation ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2083 LNAI, . [bibtex] [url]
2000
[18] A case-based approach to image recognition (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1898, . [bibtex] [url]
[17]Variants of first-order modal logics ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1847 LNAI, . [bibtex] [doi]
1999
[16] First order linear temporal logic over finite time structures (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1705 LNAI, . [bibtex] [url]
1998
[15] Using linear temporal logic to model and solve planning problems ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1480 LNAI, . [bibtex] [url]
[14] Bounded model search in linear temporal logic and its application to planning ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1397 LNAI, . [bibtex] [url]
1997
[13]Hintikka multiplicities in matrix decision methods for some propositional modal logics ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1227, . [bibtex] [doi]
1996
[12] P-adic arithmetic and parallel symbolic computation: An implementation for solving linear systems over rationals ( and ), In Computers and Artificial Intelligence, volume 15, . [bibtex] [url]
[11] Uniform representation of basic algebraic structures in computer algebra (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1128, . [bibtex] [url]
[10] Exploiting SML for experimenting with algebraic algorithms: The example of p-adic lifting ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1128, . [bibtex] [url]
1994
[9] Exact solution of linear systems over rational numbers by parallel p-adic arithmetic ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 854 LNCS, . [bibtex] [url]
1993
[8] Rational number arithmetic by parallel p-adic algorithms ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 734 LNCS, . [bibtex] [url]
[7] On the uniform representation of mathematical data structures ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 722 LNCS, . [bibtex] [url]
[6]On an Efficient Algorithm for Big Rational Number Computations by Parallel p-adics (), In Journal of Symbolic Computation, volume 15, . [bibtex] [doi]
1992
[5] Abstract specification of structures and methods in symbolic mathematical computation ( and ), In Theoretical Computer Science, volume 104, . [bibtex] [url] [doi]
1991
[4] Resolution for some first-order modal systems (), In Theoretical Computer Science, volume 85, . [bibtex] [url] [doi]
1990
[3]Abstract specification of mathematical structures and methods (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 429 LNCS, . [bibtex] [doi]
1989
[2]Big numbers p-adic arithmetic: A parallel approach ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 357 LNCS, . [bibtex] [doi]
1986
[1] Some remarks on the possibility of extending resolution proof procedures to intuitionistic logic (), In Information Processing Letters, volume 22, . [bibtex] [url] [doi]
Powered by bibtexbrowser