Affectivity and Proxemic Distances: an experimental agent-based modeling approach

Autor: Gasparini F., Giltri M., Briola D., Dennunzio A., Bandini S.

Many manifestations of interactive human behavior (social and with the environment) are conditioned by emotions, influencing reasoning and other rational decision making activities. The study of the interplay of emotional and non-emotional behaviors

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1299::4bbd40fd0d4aaad3b8cb8b9e7d5b676d
https://hdl.handle.net/10281/422159

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Computational thinking for beginners: A successful experience using Prolog

Autor: Beux, S., Briola, D., Corradi, A., Delzanno, G., Ferrando, A., Frassetto, F., Guerrini, G., Mascardi, V., Oreggia, M., Pozzi, F., Solimando, A., Armando TACCHELLA

Publikováno v: Scopus-Elsevier
30th Italian Conference on Computational Logic, pp. 31–45, Genoa, 1-3/07/2015
info:cnr-pdr/source/autori:Beux S.; Briola D.; Corradi A.; Delzanno G.; Ferrando A.; Frassetto F.; Guerrini G.; Mascardi V.; Oreggia M.; Pozzi F.; Solimando A.; Tacchella A./congresso_nome:30th Italian Conference on Computational Logic/congresso_luogo:Genoa/congresso_data:1-3%2F07%2F2015/anno:2015/pagina_da:31/pagina_a:45/intervallo_pagine:31–45

We discuss a logic-based methodology that we adopted to teach basic concepts of programming to high school students with a scientific profile and very basic knowledge of computer science. For our experiments we combined lectures on inductive reasonin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2cb496891b75cfe5182b1ce20ea883d3
http://hdl.handle.net/11567/822805

Specification, simulation and verification of negotiation protocols in a unified agent-based framework

Autor: Briola, D, Martelli, M, Mascardi, V

In this paper, we describe a framework for specifying, simulating and verifying negotiation protocols following an agent-based approach. Most of the components of this framework have already been implemented and tested, whereas verification facilitie

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f8b5affcc41474eac9002ca2be31381d
http://hdl.handle.net/10281/186333