"Henning Christiansen, M. Dolores Jiménez-López, Roussanka Loukanova. Next,
assume PP, and let is and () be arbitrary well-formed formulas. By PP, (((\l V (ol –
))) → 0) → b V (p → q))) → p V (p → 0). We show that the antecedent (and hence,
by modus ponens, the consequent) of this holds. So assume (ol V (p → 0)) → 0).
Furthermore, assume b. Then (), so (discharging the assumption b) we have b →
). This weakens to b V (ol – 9), so 13 ..."
"In recent years, there has been a proliferation of technological developments that incorporate processing of human language. Hardware and software can be specialized for designated subject areas, and computational devices are designed for a widening variety of applications. At the same time, new areas and applications are emerging by demanding intelligent technology enhanced by the processing of human language. These new applications of ..."
"This book builds on decades of research and provides contemporary theoretical foundations for practical applications to intelligent technologies and advances in artificial intelligence (AI). Reflecting the growing realization that computational models of human reasoning and interactions can be improved by integrating heterogeneous information resources and AI techniques, its ultimate goal is to promote integrated computational approache ..."
"... et al 2019 Caroline Alenoghena et 2020 al Pedro Corista 2017 Pedro Valderas et al 2022 Heder Soares et al 2021 P15 [23] Geospatial business intelligence and cloud services for context aware digital twins development Mezzour Ghita et ..."
"71 Raúl López-Blanco, Ricardo S. Alonso, Javier Prieto, and Saber Trabelsi Intelligent Model Hotel Energy Demand Forecasting ... 105 Mariano Caruso and Cecilia Jarne Special Session on New Perspectives and Solutions in Cultural Heritage ..."
"... Alfonso González-Briones, Arkadiusz Gola, George Katranas, Michela Ricca,
Roussanka Loukanova, Javier Prieto ... Aranda Serna, F.J., Belda Iniesta, J.: The
delimitation of freedom of speech on the internet: the confrontation of rights and ..."