Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Research on Knowledge-Based Intelligent Tutoring System
Xu, Wei, Yi, Zhen Zhen, Zhao, Ke, Li, Ya Tao
Published in Applied Mechanics and Materials (03.05.2011)
Published in Applied Mechanics and Materials (03.05.2011)
Get full text
Journal Article
Solving Smullyan Puzzles with Formal Systems
Costa, José Félix, Poças, Diogo
Published in Axiomathes : quaderni del Centro studi per la filosofia mitteleuropea (01.04.2018)
Published in Axiomathes : quaderni del Centro studi per la filosofia mitteleuropea (01.04.2018)
Get full text
Journal Article
Ontography Design for Children and Young Adults as a Knowledge Representation Tool: Relying on Re-engineering Methodology
azita malmir, Afshin Mousavi-chelak, soraya ziaei, Faeze Delghandi
Published in Pizhūhishnāmah-i pardāzish va mudiriyyat-i iṭṭilāʻāt (Online) (01.03.2024)
Published in Pizhūhishnāmah-i pardāzish va mudiriyyat-i iṭṭilāʻāt (Online) (01.03.2024)
Get full text
Journal Article
A Constrained Parametric Approach for Modeling Uncertain Data
D'Alterio, Pasquale, Garibaldi, Jonathan, Wagner, Christian
Published in IEEE transactions on fuzzy systems (01.09.2022)
Published in IEEE transactions on fuzzy systems (01.09.2022)
Get full text
Journal Article
A Smart Motor Rehabilitation System Based on the Internet of Things and Humanoid Robotics
Moghbelan, Yasamin, Esposito, Alfonso, Zyrianoff, Ivan, Spaletta, Giulia, Borgo, Stefano, Masolo, Claudio, Ballarin, Fabiana, Seidita, Valeria, Toni, Roberto, Barbaro, Fulvio, Di Conza, Giusy, Quartulli, Francesca Pia, Di Felice, Marco
Published in Applied sciences (01.12.2024)
Published in Applied sciences (01.12.2024)
Get full text
Journal Article
Bridging Automated Reasoning and Machine Learning for Information Analysis
Joshi, Sarita, Murugan, R, Balaji, N.V., Chandrakala, P., Deshmukh, Gopal B., Mathur, Mala
Published in 2023 2nd International Conference on Futuristic Technologies (INCOFT) (24.11.2023)
Published in 2023 2nd International Conference on Futuristic Technologies (INCOFT) (24.11.2023)
Get full text
Conference Proceeding
Design and Implementation of Web-Based Dynamic Mathematics Intelligence Education Platform
Guan, Hao, Rao, Yongsheng, Wang, Ying, Li, Xiaoxia, Chen, Ruxian
Published in 2018 7th International Conference on Digital Home (ICDH) (01.11.2018)
Published in 2018 7th International Conference on Digital Home (ICDH) (01.11.2018)
Get full text
Conference Proceeding
Semantic based model of Conceptual Work Products for formal verification of complex interactive systems
Madkour, Mohcine, Butler, Keith, Mercer, Eric, Bahrami, Ali, Tao, Cui
Year of Publication 04.08.2020
Year of Publication 04.08.2020
Get full text
Journal Article