المؤلفون: Guidotti, D, Pulina, L, Tacchella, A

المساهمون: Zhe Hou, Vijay Ganesh, Guidotti, D, Pulina, L, Tacchella, A

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-88884-8; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-88885-5; info:eu-repo/semantics/altIdentifier/wos/WOS:000719819800023; ispartofbook:Automated Technology for Verification and Analysis - 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings; International Symposium on Automated Technology for Verification and Analysis ATVA 2021; firstpage:357; lastpage:363; numberofpages:7; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; https://hdl.handle.net/11567/1094837Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85118150650

الإتاحة: https://doi.org/10.1007/978-3-030-88885-5_23Test
https://hdl.handle.net/11567/1094837Test

المؤلفون: Angilica D., Ianni G., Lisi F. A., Pulina L.

المساهمون: Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati, Angilica, D., Ianni, G., Lisi, F. A., Pulina, L.

مصطلحات موضوعية: Answer Set Programming, Declarative logic, Games and Videogame, Knowledge Representation, Stream Reasoning

العلاقة: ispartofbook:Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy; 10th Italian Workshop on Planning and Scheduling, IPS 2022, RCRA Incontri E Confronti, RiCeRcA 2022, and the Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, SPIRIT 2022; volume:3345; serie:CEUR WORKSHOP PROCEEDINGS; alleditors:Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati; https://hdl.handle.net/11586/421994Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85148588376

الإتاحة: https://hdl.handle.net/11586/421994Test

المؤلفون: Guidotti D., Pandolfo L., Pulina L.

المساهمون: Guidotti, D., Pandolfo, L., Pulina, L.

مصطلحات موضوعية: Formal Method, Neural Network, Trustworthy AI

العلاقة: ispartofbook:IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; 28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023; volume:2023-; serie:PROCEEDINGS IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION; https://hdl.handle.net/11388/328011Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85175472154

الإتاحة: https://doi.org/10.1109/ETFA54631.2023.10275345Test
https://hdl.handle.net/11388/328011Test

المؤلفون: Guidotti D., Pandolfo L., Pulina L.

المساهمون: Guidotti, D., Pandolfo, L., Pulina, L.

مصطلحات موضوعية: Anomaly Detection, Neural Network, Predictive Maintenance

العلاقة: ispartofbook:Proceedings 2023 IEEE 19th International Conference on e-Science, e-Science 2023; 19th IEEE International Conference on e-Science, e-Science 2023; https://hdl.handle.net/11388/328013Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85174257560

الإتاحة: https://doi.org/10.1109/e-Science58273.2023.10254890Test
https://hdl.handle.net/11388/328013Test

المؤلفون: Guidotti D., Pandolfo L., Pulina L.

المساهمون: Guidotti, D., Pandolfo, L., Pulina, L.

مصطلحات موضوعية: Formal Verification, Neural Network, Satisfiability Modulo Theory, Trustworthy AI

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001139095400060; ispartofbook:Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; 35th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2023; firstpage:423; lastpage:428; numberofpages:6; serie:PROCEEDINGS - INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE; https://hdl.handle.net/11388/328009Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85182390396

الإتاحة: https://doi.org/10.1109/ICTAI59109.2023.00068Test
https://hdl.handle.net/11388/328009Test

المؤلفون: Guidotti D., Masiero R., Pandolfo L., Pulina L.

المساهمون: Guidotti, D., Masiero, R., Pandolfo, L., Pulina, L.

مصطلحات موضوعية: Anomaly Detection, Neural Network, Predictive Maintenance

العلاقة: ispartofbook:IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; 28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023; volume:2023-; serie:PROCEEDINGS IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION; https://hdl.handle.net/11388/328010Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85175477322

الإتاحة: https://doi.org/10.1109/ETFA54631.2023.10275396Test
https://hdl.handle.net/11388/328010Test

المؤلفون: Guidotti D., Pandolfo L., Pulina L.

المساهمون: Guidotti, D., Pandolfo, L., Pulina, L.

مصطلحات موضوعية: Formal Verification, Neural Network, Satisfiability Modulo Theory, Trustworthy AI

العلاقة: ispartofbook:Proceedings 2023 IEEE 19th International Conference on e-Science, e-Science 2023; 19th IEEE International Conference on e-Science, e-Science 2023; https://hdl.handle.net/11388/328012Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85174311866

الإتاحة: https://doi.org/10.1109/e-Science58273.2023.10254877Test
https://hdl.handle.net/11388/328012Test

المؤلفون: Pandolfo L., Pulina L.

المساهمون: Pandolfo, L., Pulina, L.

مصطلحات موضوعية: Cultural Heritage, Linked Open Data, Ontology, Semantic Web

العلاقة: ispartofbook:CEUR Workshop Proceedings; 38th Italian Conference on Computational Logic, CILC 2023; volume:3428; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11388/317312Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85164594342

الإتاحة: https://hdl.handle.net/11388/317312Test

المؤلفون: Guidotti D., Pandolfo L., Pulina L.

المساهمون: Guidotti, D., Pandolfo, L., Pulina, L.

مصطلحات موضوعية: formal verification, neural network, predictive maintenance, trustworthy AI

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001035886700001; volume:14; issue:7; firstpage:397; journal:INFORMATION; https://hdl.handle.net/11388/317313Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85166387298

الإتاحة: https://doi.org/10.3390/info14070397Test
https://hdl.handle.net/11388/317313Test

المؤلفون: Narizzano M., Pulina L., Tacchella A., Vuotto S.

المساهمون: Narizzano, M., Pulina, L., Tacchella, A., Vuotto, S.

مصطلحات موضوعية: Consistency of requirement, Inconsistency explanation, LTL satisfiability checking, Property specifications patterns

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000482389700009; volume:15; firstpage:307; lastpage:323; numberofpages:17; journal:INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING; http://hdl.handle.net/11567/995257Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85065446636

الإتاحة: https://doi.org/10.1007/s11334-019-00339-1Test
http://hdl.handle.net/11567/995257Test