المؤلفون: Ancona D., Ferrando A., Mascardi V.

المساهمون: Ancona, D., Ferrando, A., Mascardi, V.

مصطلحات موضوعية: hash code, mutable classe, object-oriented language, runtime verification

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/9798400702464; info:eu-repo/semantics/altIdentifier/wos/WOS:001118052000005; ispartofbook:FTfJP 2023 - Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs; 25th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2023, co-located with ECOOP and ISSTA 2023; firstpage:25; lastpage:31; numberofpages:7; https://hdl.handle.net/11567/1144415; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85170049623

الاتاحة: https://hdl.handle.net/11567/1144415
https://doi.org/10.1145/3605156.3606452

المؤلفون: Engelmann D. C., Ferrando A., Panisson A. R., Ancona D., Bordini R. H., Mascardi V.

المساهمون: Engelmann, D. C., Ferrando, A., Panisson, A. R., Ancona, D., Bordini, R. H., Mascardi, V.

مصطلحات موضوعية: runtime verification, multi-agent system, robotic application, JaCaMo framework, explainable artificial intelligence, dialogue systems

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000979313300001; volume:12; issue:2; firstpage:49; lastpage:69; numberofpages:21; journal:ROBOTICS; https://hdl.handle.net/11380/1331901; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85153763040

الاتاحة: https://hdl.handle.net/11380/1331901
https://doi.org/10.3390/robotics12020049

المؤلفون: Gatti A., Mascardi V.

المساهمون: Gatti, A., Mascardi, V.

مصطلحات موضوعية: chatbot, factory automation, intelligent agent, virtual reality

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000977423900001; volume:12; firstpage:1; lastpage:24; numberofpages:24; journal:ROBOTICS; https://hdl.handle.net/11567/1144555; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85153789351

الاتاحة: https://hdl.handle.net/11567/1144555
https://doi.org/10.3390/robotics12020046

المؤلفون: Engelmann D. C., Ferrando A., Panisson A. R., Ancona D., Bordini R. H., Mascardi V.

المساهمون: Engelmann, D. C., Ferrando, A., Panisson, A. R., Ancona, D., Bordini, R. H., Mascardi, V.

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001047263100003; ispartofbook:Electronic Proceedings in Theoretical Computer Science, EPTCS; 2nd Workshop on Agents and Robots for Reliable Engineered Autonomy, AREA 2022; volume:354; firstpage:23; lastpage:36; numberofpages:14; journal:ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE; https://hdl.handle.net/11380/1331870; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85135459792

الاتاحة: https://hdl.handle.net/11380/1331870
https://doi.org/10.4204/EPTCS.362.5

المؤلفون: Ancona D., Ferrando A., Mascardi V.

المساهمون: Ancona, D., Ferrando, A., Mascardi, V.

مصطلحات موضوعية: Agent Interaction Protocol, Decentralized Runtime Verification, Multiagent System, Observation Gap, Probabilistic Trace Expressions

Relation: ispartofbook:CEUR Workshop Proceedings; 37th Italian Conference on Computational Logic, CILC 2022; volume:3204; firstpage:154; lastpage:170; numberofpages:17; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11380/1331832; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85138238088

الاتاحة: https://hdl.handle.net/11380/1331832

المؤلفون: Ancona D., Ferrando A., Mascardi V.

المساهمون: Ancona, D., Ferrando, A., Mascardi, V.

مصطلحات موضوعية: Agent interaction protocol, Multiagent system, Partial observability, Probabilistic Trace Expression, State estimation

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-20613-9; info:eu-repo/semantics/altIdentifier/isbn/978-3-031-20614-6; info:eu-repo/semantics/altIdentifier/wos/WOS:000926728700002; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 19th European Conference on Multi-Agent Systems, EUMAS 2022; firstpage:22; lastpage:40; numberofpages:19; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11567/1146235; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85145252137

الاتاحة: https://hdl.handle.net/11567/1146235
https://doi.org/10.1007/978-3-031-20614-6_2

المؤلفون: Gatti A., Mascardi V.

المساهمون: Gatti, A., Mascardi, V.

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001047263100006; ispartofbook:Electronic Proceedings in Theoretical Computer Science, EPTCS; 2nd Workshop on Agents and Robots for Reliable Engineered Autonomy, AREA 2022; firstpage:65; lastpage:80; numberofpages:16; journal:ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE; https://hdl.handle.net/11567/1100688; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85135436073

الاتاحة: https://hdl.handle.net/11567/1100688
https://doi.org/10.4204/EPTCS.362.8

المؤلفون: Ferreira C. E. A., Panisson A. R., Engelmann D. C., Vieira R., Mascardi V., Bordini R. H.

المساهمون: Ferreira, C. E. A., Panisson, A. R., Engelmann, D. C., Vieira, R., Mascardi, V., Bordini, R. H.

مصطلحات موضوعية: Argumentation scheme, Explainability, Multi-agent system, Semantic reasoning

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-18191-7; info:eu-repo/semantics/altIdentifier/isbn/978-3-031-18192-4; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 20th International Conference on Practical Applications of Agents and Multi-Agent Systems , PAAMS 2022; firstpage:153; lastpage:165; numberofpages:13; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; https://hdl.handle.net/11567/1100689; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85141839033

الاتاحة: https://hdl.handle.net/11567/1100689
https://doi.org/10.1007/978-3-031-18192-4_13

المؤلفون: Ivan D., Ferrando A., Gatti A., Guerrini G., Mascardi V.

المساهمون: Ivan, D., Ferrando, A., Gatti, A., Guerrini, G., Mascardi, V.

مصطلحات موضوعية: BDI agent, Procedural ontologie, VEsNA

وصف الملف: ELETTRONICO

Relation: ispartofbook:CEUR Workshop Proceedings; 25th Workshop "From Objects to Agents", WOA 2024; firstpage:177; lastpage:180; numberofpages:4; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11567/1222795

الاتاحة: https://hdl.handle.net/11567/1222795

المؤلفون: Chessa M., Delzanno G., Ferrando A., Gelati L., Guerrini G., Mascardi V., Noceti N., Odone F., Vitali F.

المساهمون: Chessa, M., Delzanno, G., Ferrando, A., Gelati, L., Guerrini, G., Mascardi, V., Noceti, N., Odone, F., Vitali, F.

مصطلحات موضوعية: computational thinking, computer science, computer science orientation, recruitment and retention, teamwork, technology enhanced learning

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000868265600001; volume:7; firstpage:1; lastpage:17; numberofpages:17; journal:FRONTIERS IN EDUCATION; https://hdl.handle.net/11380/1331888; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85140014242

الاتاحة: https://hdl.handle.net/11380/1331888
https://doi.org/10.3389/feduc.2022.971027

المؤلفون: Losapio G., Minutoli F., Mascardi V., Ferrando A.

المساهمون: Losapio, G., Minutoli, F., Mascardi, V., Ferrando, A.

مصطلحات موضوعية: deep reinforcement learning, dockless E-scooter sharing system, Micro-mobility, multi-agent system, smart balancing

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000825367300004; volume:16; firstpage:49; lastpage:67; numberofpages:19; journal:INTELLIGENZA ARTIFICIALE; https://hdl.handle.net/11567/1100686; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85134167502

الاتاحة: https://hdl.handle.net/11567/1100686
https://doi.org/10.3233/IA-210126

المؤلفون: Ferrando A., Cardoso R. C., Fisher M., Ancona D., Franceschini L., Mascardi V.

المساهمون: Ferrando, A., Cardoso, R. C., Fisher, M., Ancona, D., Franceschini, L., Mascardi, V.

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-030-63485-8; info:eu-repo/semantics/altIdentifier/isbn/978-3-030-63486-5; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 21th Annual Conference on Towards Autonomous Robotics, TAROS 20120; firstpage:387; lastpage:399; numberofpages:13; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; https://hdl.handle.net/11567/1035245; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85097826781

الاتاحة: https://hdl.handle.net/11567/1035245
https://doi.org/10.1007/978-3-030-63486-5_40

المؤلفون: Calegari R., Ciatto G., Mascardi V., Omicini A.

المساهمون: Calegari, R., Ciatto, G., Mascardi, V., Omicini, A.

مصطلحات موضوعية: Logic-based technologies, MAS, SLR

وصف الملف: ELETTRONICO

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000579434600001; volume:35; firstpage:1; lastpage:67; numberofpages:67; journal:AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS; https://hdl.handle.net/11567/1029075; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85092892414

الاتاحة: https://hdl.handle.net/11567/1029075
https://doi.org/10.1007/s10458-020-09478-3

المؤلفون: Ciortea, A, Dastani, M, Luo, J, Briola, D, Ferrando, A, Mascardi, V, Briola D., Ferrando A., Mascardi V.

مصطلحات الفهرس: Agent development framework, Agent-Oriented Software Engineering, Multiagent system, INF/01 - INFORMATICA, ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI, info:eu-repo/semantics/conferenceObject

URL: https://hdl.handle.net/10281/456619
info:eu-repo/semantics/altIdentifier/isbn/9783031485381
ispartofbook:Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29–30, 2023, Revised Selected Papers
11th InternationalWorkshop on EngineeringMulti-Agent Systems, EMAS 2023 - May 29–30, 2023
volume:14378 LNAI
firstpage:233
lastpage:252
numberofpages:20
serie:LECTURE NOTES IN COMPUTER SCIENCE
alleditors:Ciortea, A; Dastani, M; Luo, J

المؤلفون: Ciccone L., Ferrando A., Ancona D., Mascardi V.

المساهمون: Ciccone, L., Ferrando, A., Ancona, D., Mascardi, V.

مصطلحات موضوعية: Runtime verication, Timed temporal logic, Timed trace expressions

Relation: ispartofbook:CEUR Workshop Proceedings; 34th Italian Conference on Computational Logic, CILC 2019; volume:2396; firstpage:229; lastpage:241; numberofpages:13; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11380/1331873; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85071123547

الاتاحة: https://hdl.handle.net/11380/1331873

المؤلفون: Ancona D., Franceschini L., Ferrando A., Mascardi V.

المساهمون: Ancona, D., Franceschini, L., Ferrando, A., Mascardi, V.

مصطلحات موضوعية: Effective monitoring, Event calculi, Runtime verification, Specification languages

Relation: ispartofbook:CEUR Workshop Proceedings; 20th Italian Conference on Theoretical Computer Science, ICTCS 2019; volume:2504; firstpage:248; lastpage:260; numberofpages:13; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11380/1331842; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85076034344

الاتاحة: https://hdl.handle.net/11380/1331842

المؤلفون: Ancona D., Ferrando A., Mascardi V.

المساهمون: Ancona, D., Ferrando, A., Mascardi, V.

مصطلحات موضوعية: Logic Programming, RML, Runtime Verification

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-031-35253-9; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); volume:13900; firstpage:300; lastpage:317; numberofpages:18; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11380/1331904; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85163200619

الاتاحة: https://hdl.handle.net/11380/1331904
https://doi.org/10.1007/978-3-031-35254-6_25

المؤلفون: Engelmann D. C., Panisson A. R., Vieira R., Hubner J. F., Mascardi V., Bordini R. H.

المساهمون: Engelmann, D. C., Panisson, A. R., Vieira, R., Hubner, J. F., Mascardi, V., Bordini, R. H.

مصطلحات موضوعية: Agent-oriented programming, Argumentation, Dialogue system, Ontological reasoning, Theory of mind

وصف الملف: ELETTRONICO

Relation: ispartofbook:Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; 22nd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023; firstpage:1209; lastpage:1217; numberofpages:9; serie:PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS; https://hdl.handle.net/11567/1144575; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85153701056

الاتاحة: https://hdl.handle.net/11567/1144575

المؤلفون: Briola, D, Mascardi, V, Gioseffi, M

المساهمون: Briola, D, Mascardi, V, Gioseffi, M

مصطلحات موضوعية: multiagent system, ontologie, Prolog, scene interpretation, visual language, INF/01 - INFORMATICA, ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

وصف الملف: STAMPA

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000577576500002; volume:20; issue:4; firstpage:456; lastpage:511; numberofpages:56; journal:THEORY AND PRACTICE OF LOGIC PROGRAMMING; https://hdl.handle.net/10281/259121

الاتاحة: https://hdl.handle.net/10281/259121
https://doi.org/10.1017/S1471068419000462

المؤلفون: Ferrando A., Mascardi V.

المساهمون: Ferrando, A., Mascardi, V.

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:001005967600001; volume:17; firstpage:3; lastpage:5; numberofpages:3; journal:INTELLIGENZA ARTIFICIALE; https://hdl.handle.net/11380/1331903; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85168327798

الاتاحة: https://hdl.handle.net/11380/1331903
https://doi.org/10.3233/IA-230015