Publications in ai-romatre-pubs.bib - Type: Article
2021
[91] An Empirical Review of Automated Machine Learning (, and ), In Computers, volume 10, . [bibtex] [url] [doi]
2020
[90] Unreliable Users Detection in Social Media (), In IEEE Access, volume 8, . [bibtex] [url] [doi]
[89] Knowledge-Based Smart City Service System (, , , and ), In Electronics, volume 9, . [bibtex] [url] [doi]
[88] Community detection in social recommender systems: a survey (), In Applied Intelligence, . [bibtex] [url] [doi]
[87] On timeline-based games and their complexity (, , , and ), In Theor. Comput. Sci., volume 815, . [bibtex] [url] [doi]
[86] 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]
[85] A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies (), In J. Autom. Reason., volume 64, . [bibtex] [url] [doi]
[84] A framework for modelling Molecular Interaction Maps (, , and ), In CoRR, volume abs/2008.09546, . [bibtex] [url]
[83] MoodleREC: A recommendation system for creating courses using the moodle e-learning platform (, , and ), In Comput. Hum. Behav., volume 104, . [bibtex] [url] [doi]
2019
[82] Personalized weight loss strategies by mining activity tracker data (, and ), In User Modeling and User-Adapted Interaction, . [bibtex] [url] [doi]
[81] Exploiting semantics for context-aware itinerary recommendation (), In Personal and Ubiquitous Computing, volume 23, . [bibtex] [url] [doi]
[80] Point of interest recommendation based on social and linked open data (), In Personal and Ubiquitous Computing, volume 23, . [bibtex] [url] [doi]
[79] Enhancing cultural recommendations through social and linked open data (), In User Modeling and User-Adapted Interaction, . [bibtex] [url] [doi]
[78]An Approach to Conversational Recommendation of Restaurants (, , and ), In Communications in Computer and Information Science, volume 1034, . [bibtex] [doi]
[77]Point of interest recommendation based on social and linked open data (), In Personal and Ubiquitous Computing, volume 23, . [bibtex] [doi]
[76]Exploiting semantics for context-aware itinerary recommendation ( and ), In Personal and Ubiquitous Computing, volume 23, . [bibtex] [doi]
2018
[75] Advances in Personalized Mobile Services (, , , , and ), In Mobile Information Systems, Hindawi Limited, volume 2018, . [bibtex] [url] [doi]
[74] Temporal people-to-people recommendation on social networks with sentiment-based matrix factorization (, , and ), In Future Generation Computer Systems, volume 78, . [bibtex] [url] [doi]
[73]Enhancing itinerary recommendation with linked open data (, and ), In Communications in Computer and Information Science, volume 850, . [bibtex] [doi]
2017
[72] Prerequisites between Learning Objects: Automatic Extraction based on a Machine Learning Approach (, , , and ), In Telematics and Informatics, volume 35, . [bibtex] [url] [doi]
[71] 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]
[70] Modeling user interests from web browsing activities (), In Data Mining and Knowledge Discovery, volume 31, . [bibtex] [url] [doi]
2016
[69]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]
[68]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]
[67]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]
[66]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]
[65]Mining prerequisite relationships among learning objects (, , , and ), In Communications in Computer and Information Science, volume 618, . [bibtex] [doi]
[64]Planning and execution with flexible timelines: a formal account (, and ), In Acta Informatica, volume 53, . [bibtex] [doi]
2015
[63]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]
[62]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]
[61]A social network-based teacher model to support course construction (, and ), In Computers in Human Behavior, volume 51, . [bibtex] [doi]
2014
[60]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]
[59]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]
[58] 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]
[57]Mining Navigation Histories for User Need Recognition (, and ), In Communications in Computer and Information Science, volume 434 PART I, . [bibtex] [doi]
[56]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]
[55]Extended Decision Procedure for a Fragment of HL with Binders (), In Journal of Automated Reasoning, volume 53, . [bibtex] [doi]
2013
[54]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]
[53]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]
[52]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]
[51]Filtering Learning Objects Repositories by a Didactic Search Engine (, and ), In Communications in Computer and Information Science, volume 278, . [bibtex] [doi]
[50] An approach to social recommendation for context-aware mobile services (, , and ), In ACM TIST, volume 4, . [bibtex] [url] [doi]
[49]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]
[48]Social semantic query expansion (, , and ), In ACM Transactions on Intelligent Systems and Technology, volume 4, . [bibtex] [doi]
2011
[47] Personalized e-learning in moodle: The moodle_LS system (, and ), In Journal of E-Learning and Knowledge Society, volume 7, . [bibtex] [url]
[46]The Lecomps5 framework for personalized web-based learning: A teacher's satisfaction perspective (, , and ), In Computers in Human Behavior, volume 27, . [bibtex] [doi]
[45]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]
2010
[44]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]
[43]A module for adaptive course configuration and assessment in moodle (, , and ), In Communications in Computer and Information Science, volume 111 CCIS, . [bibtex] [doi]
[42]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]
[41]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]
[40]An efficient approach to nominal equalities in hybrid logic tableaux ( and ), In Journal of Applied Non-Classical Logics, volume 20, . [bibtex] [doi]
2009
[39]Towards Cognitive Modeling of User Needs in Web Browsing Activities (, and ), In Cognitive Systems (ESSCS), ESSCS, volume 7, . [bibtex]
[38]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]
[37]Adaptive learning with the LS-Plan system: A field evaluation (, , and ), In IEEE Transactions on Learning Technologies, volume 2, . [bibtex] [doi]
[36]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]
[35] A web-based training system for business letter writing (, and ), In Knowl.-Based Syst., volume 22, . [bibtex] [url] [doi]
[34]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
[33]Adaptive course generation through learning styles representation (, , and ), In Universal Access in the Information Society, Springer, volume 7, . [bibtex]
[32]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]
[31]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]
2007
[30] 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]
[29] 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]
[28] 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]
[27] Personalized Search Based on a Memory Retrieval Theory ( and ), In IJPRAI, volume 21, . [bibtex] [url] [doi]
[26]Linear temporal logic as an executable semantics for planning languages (, , and ), In Journal of Logic, Language and Information, volume 16, . [bibtex] [doi]
2005
[25]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]
2003
[24]Recognition of office-like environments through the extraction of the perspective structure (, and ), In IFAC Proceedings Volumes, Elsevier, volume 36, . [bibtex]
[23] 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]
[22] 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]
2002
[21] 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]
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