Moderate 发表于 2025-3-28 15:15:11
http://reply.papertrans.cn/24/2327/232628/232628_41.pnggerrymander 发表于 2025-3-28 21:30:57
978-3-319-09763-3Springer International Publishing Switzerland 2014corpuscle 发表于 2025-3-29 01:40:17
https://doi.org/10.1007/978-3-319-18944-4, Justification Logic has the ability to model argumentation and track evidence in the full logic context, to measure the complexity of the arguments, to keep the logical omniscience at bay, etc. The complexity of single-agent justification logics has been well-studied and shown to be generally lowe撤退 发表于 2025-3-29 05:11:20
Francisco Sousa,Fernando Lopes,João Santanaual obligations are fulfilled, the group obligation is fulfilled. Such an assignment of tasks to agents is often subject to additional social or organisational norms that specify permissible ways in which tasks can be assigned. An important type of social norms are ‘fairness constraints’, that seekmagnanimity 发表于 2025-3-29 11:07:47
http://reply.papertrans.cn/24/2327/232628/232628_45.png革新 发表于 2025-3-29 14:20:25
https://doi.org/10.1007/978-3-319-59930-4CSs) allow for the integration of knowledge from different heterogeneous sources in an effective and modular way, where so-called bridge rules express how information flows between the contexts. The problem is that mMCSs are essentially static as they were not designed to run in a dynamic scenario.entreat 发表于 2025-3-29 19:00:37
Rino Falcone,Alessandro SapienzaArg2, and Dung-O-Matic. They have been tested over three different models of randomly-generated graph models, corresponding to the Erdős-Rényi model, the Kleinberg small-world model, and the scale-free Barabasi-Albert model. This first comparison is useful to study the behaviour of these reasoners oPOINT 发表于 2025-3-29 23:30:29
Alessandro Moro,Paolo Pellizzarie dialogue by asserting sets of beliefs. The responder replies honestly to indicate whether it finds the topic to be acceptable (we make no prescription as to what formalism and semantics must be used for this, only assuming some function for determining acceptable beliefs from a logical knowledge bAerophagia 发表于 2025-3-30 01:59:07
Rino Falcone,Alessandro Sapienzadeciding how to contribute to the current state of the debate in order to satisfy their personal goals. We focus on target sets, that specify minimal changes on the current state of the debate allowing agents to satisfy their goals, where changes are the addition and/or deletion of attacks among arg