Keyword:pattern matching

Papers
Pattern Matching for Mathematical Expressions with OpenMath Ken Wenzel EasyChair Preprint no. 6406
AI Based Healthcare Chatbot System A Kumaresan Angappan, N Jazeem Khan, M Sharan and S Fazil Ahamed EasyChair Preprint no. 5260
Design and Analysis of Malnutrition Identification and Implementation by using Recent Technologies N Vikraman and J Mohana EasyChair Preprint no. 4717
Wayeb: a Tool for Complex Event Forecasting Elias Alevizos, Alexander Artikis and Georgios Paliouras In:LPAR-22. 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Automated Medical Chatbot Krishnendu Rarhi, Abhishek Mishra and Krishnasis Mandal EasyChair Preprint no. 90
MiniAgda: Integrating Sized and Dependent Types Andreas Abel In:PAR-10. Partiality and Recursion in Interactive Theorem Provers