المؤلفون: De Giacomo G., Fried D., Patrizi F., Zhu S.

المساهمون: De Giacomo, G., Fried, D., Patrizi, F., Zhu, S.

مصطلحات موضوعية: strategy synthesi, LTL on finite trace, mimicking

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001039359800001; volume:77; firstpage:1087; lastpage:1112; numberofpages:26; journal:THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH; https://hdl.handle.net/11573/1687383Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85166270248

الإتاحة: https://doi.org/10.1613/jair.1.14591Test
https://hdl.handle.net/11573/1687383Test

المؤلفون: Alman A., Maggi F. M., Montali M., Patrizi F., Rivkin A.

المساهمون: Alman, A., Maggi, F. M., Montali, M., Patrizi, F., Rivkin, A.

مصطلحات موضوعية: Automata, Business process monitoring, Data Petri net, Declare, Hybrid proce, Process model interplay

العلاقة: info:eu-repo/semantics/altIdentifier/pmid/37100514; info:eu-repo/semantics/altIdentifier/wos/WOS:000957157700001; volume:139; numberofpages:13; journal:ARTIFICIAL INTELLIGENCE IN MEDICINE; https://hdl.handle.net/11573/1681391Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85150014360

الإتاحة: https://doi.org/10.1016/j.artmed.2023.102512Test
https://hdl.handle.net/11573/1681391Test

المؤلفون: De Giacomo G., Fuggitti F., Maggi F. M., Marrella A., Patrizi F.

المساهمون: De Giacomo, G., Fuggitti, F., Maggi, F. M., Marrella, A., Patrizi, F.

مصطلحات موضوعية: Automated planning, Business process management, Declarative Trace Alignment, Linear-time temporal logics on finite traces

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001006171300001; volume:16; numberofpages:3; journal:SOFTWARE IMPACTS; https://hdl.handle.net/11573/1681517Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85156148757

الإتاحة: https://doi.org/10.1016/j.simpa.2023.100505Test
https://hdl.handle.net/11573/1681517Test

المؤلفون: Calvanese D., De Giacomo G., Montali M., Patrizi F.

المساهمون: Calvanese, D., De Giacomo, G., Montali, M., Patrizi, F.

مصطلحات موضوعية: Knowledge representation and reasoning, reasoning about action, validation and verification

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9781956792003; International Joint Conference on Artificial Intelligence; firstpage:2553; lastpage:2560; numberofpages:8; journal:IJCAI; https://hdl.handle.net/11573/1681399Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85133201271

الإتاحة: https://doi.org/10.24963/ijcai.2022/354Test
https://hdl.handle.net/11573/1681399Test

المؤلفون: De Giacomo G., Felli P., Logan B., Patrizi F., Sardiña S.

المساهمون: De Giacomo, G., Felli, P., Logan, B., Patrizi, F., Sardiña, S.

مصطلحات موضوعية: Knowledge representation and reasoning, reasoning about action, applications knowledge representation and reasoning, automated reasoning and theorem proving

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/9781956792003; ispartofbook:Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence; International Joint Conference on Artificial Intelligence; firstpage:5722; lastpage:5726; numberofpages:5; https://hdl.handle.net/11573/1681435Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85137884224

الإتاحة: https://doi.org/10.24963/ijcai.2022/798Test
https://hdl.handle.net/11573/1681435Test

المؤلفون: De Giacomo G., Felli P., Logan B., Patrizi F., Sardina S.

المساهمون: De Giacomo, G., Felli, P., Logan, B., Patrizi, F., Sardina, S.

مصطلحات موضوعية: Automated synthesi, Reasoning about action, Situation calculu, Smart manufacturing

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000707426600001; volume:302; numberofpages:30; journal:ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11573/1626616Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85116414608

الإتاحة: https://doi.org/10.1016/j.artint.2021.103598Test
http://hdl.handle.net/11573/1626616Test

المؤلفون: Agostinelli S., Bergami G., Fiorenza A., Maggi F. M., Marrella A., Patrizi F.

المساهمون: Agostinelli, S., Bergami, G., Fiorenza, A., Maggi, F. M., Marrella, A., Patrizi, F.

مصطلحات موضوعية: Declarative Process Model, Finite State Automata, Model Learning, Process Mining Quality Metrics

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-1-6654-3514-7; info:eu-repo/semantics/altIdentifier/wos/WOS:000852806000007; ispartofbook:3rd International Conference on Process Mining, ICPM 2021; 3rd International Conference on Process Mining, ICPM 2021; firstpage:48; lastpage:55; numberofpages:8; https://hdl.handle.net/11573/1603286Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85119093840

الإتاحة: https://doi.org/10.1109/ICPM53251.2021.9576870Test
https://hdl.handle.net/11573/1603286Test

المؤلفون: de'Angelis N., Catena F., Memeo R., Coccolini F., Martinez-Perez A., Romeo O. M., De Simone B., Di Saverio S., Brustia R., Rhaiem R., Piardi T., Conticchio M., Marchegiani F., Beghdadi N., Abu-Zidan F. M., Alikhanov R., Allard M. -A., Allievi N., Amaddeo G., Ansaloni L., Andersson R., Andolfi E., Azfar M., Bala M., Benkabbou A., Ben-Ishay O., Bianchi G., Biffl W. L., Brunetti F., Carra M. C., Casanova D., Celentano V., Ceresoli M., Chiara O., Cimbanassi S., Bini R., Coimbra R., Luigi de'Angelis G., Decembrino F., De Palma A., de Reuver P. R., Domingo C., Cotsoglou C., Ferrero A., Fraga G. P., Gaiani F., Gheza F., Gurrado A., Harrison E., Henriquez A., Hofmeyr S., Iadarola R., Kashuk J. L., Kianmanesh R., Kirkpatrick A. W., Kluger Y., Landi F., Langella S., Lapointe R., Le Roy B., Luciani A., Machado F., Maggi U., Maier R. V., Mefire A. C., Hiramatsu K., Ordonez C., Patrizi F., Planells M., Peitzman A. B., Pekolj J., Perdigao F., Pereira B. M., Pessaux P., Pisano M., Puyana J. C., Rizoli S., Portigliotti L., Romito R., Sakakushev B., Sanei B., Scatton O., Serradilla-Martin M., Schneck A. -S., Sissoko M. L., Sobhani I., ten Broek R. P., Testini M., Valinas R., Veloudis G., Vitali G. C., Weber D., Zorcolo L., Giuliante F., Gavriilidis P., Fuks D., Sommacale D.

المساهمون: De'Angelis, N., Catena, F., Memeo, R., Coccolini, F., Martinez-Perez, A., Romeo, O. M., De Simone, B., Di Saverio, S., Brustia, R., Rhaiem, R., Piardi, T., Conticchio, M., Marchegiani, F., Beghdadi, N., Abu-Zidan, F. M., Alikhanov, R., Allard, M. -A., Allievi, N., Amaddeo, G., Ansaloni, L., Andersson, R., Andolfi, E., Azfar, M., Bala, M., Benkabbou, A., Ben-Ishay, O., Bianchi, G., Biffl, W. L., Brunetti, F., Carra, M. C., Casanova, D., Celentano, V., Ceresoli, M., Chiara, O., Cimbanassi, S., Bini, R., Coimbra, R., Luigi de'Angelis, G., Decembrino, F., De Palma, A., de Reuver, P. R., Domingo, C., Cotsoglou, C., Ferrero, A., Fraga, G. P., Gaiani, F., Gheza, F., Gurrado, A., Harrison, E., Henriquez, A., Hofmeyr, S., Iadarola, R., Kashuk, J. L., Kianmanesh, R., Kirkpatrick, A. W., Kluger, Y., Landi, F., Langella, S., Lapointe, R., Le Roy, B., Luciani, A., Machado, F., Maggi, U., Maier, R. V., Mefire, A. C., Hiramatsu, K., Ordonez, C., Patrizi, F., Planells, M., Peitzman, A. B., Pekolj, J., Perdigao, F., Pereira, B. M., Pessaux, P., Pisano, M., Puyana, J. C., Rizoli, S., Portigliotti, L., Romito, R., Sakakushev, B., Sanei, B., Scatton, O., Serradilla-Martin, M., Schneck, A. -S., Sissoko, M. L., Sobhani, I., ten Broek, R. P., Testini, M., Valinas, R., Veloudis, G., Vitali, G. C., Weber, D., Zorcolo, L., Giuliante, F., Gavriilidis, P., Fuks, D., Sommacale, D.

مصطلحات موضوعية: Antibiotic therapy, Biliary duct injury, Computed tomography, Guideline, Laparoscopic cholecystectomy, Magnetic resonance imaging

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/pmid/34112197; info:eu-repo/semantics/altIdentifier/wos/WOS:000663797200002; volume:16; issue:1; firstpage:30-1; lastpage:30-27; numberofpages:27; journal:WORLD JOURNAL OF EMERGENCY SURGERY; https://hdl.handle.net/11392/2535170Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85107716894; https://wjes.biomedcentral.com/articles/10.1186/s13017-021-00369-wTest

الإتاحة: https://doi.org/10.1186/s13017-021-00369-wTest
https://hdl.handle.net/11392/2535170Test

المؤلفون: Cipollone R., De Giacomo G., Favorito M., Iocchi L., Patrizi F.

المساهمون: Cipollone, R., De Giacomo, G., Favorito, M., Iocchi, L., Patrizi, F.

مصطلحات موضوعية: Reinforcement Learning, Markov Decision Process, Hierarchical models

العلاقة: info:eu-repo/semantics/altIdentifier/isbn/978-1-57735-880-0; ispartofbook:Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; National Conference of the American Association for Artificial Intelligence; volume:37; firstpage:7227; lastpage:7234; numberofpages:8; https://hdl.handle.net/11573/1688756Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85167965771

الإتاحة: https://doi.org/10.1609/aaai.v37i6.25881Test
https://hdl.handle.net/11573/1688756Test

المؤلفون: Felli P., Montali M., Patrizi F., Winkler S.

المساهمون: Felli, P., Montali, M., Patrizi, F., Winkler, S.

مصطلحات موضوعية: Monitoring, Temporal Trace, Linear temporal Logic

العلاقة: ispartofbook:Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; National Conference of the American Association for Artificial Intelligence; volume:37; firstpage:6346; lastpage:6354; numberofpages:9; https://hdl.handle.net/11573/1706688Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85153410256

الإتاحة: https://hdl.handle.net/11573/1706688Test