Titlebook: Computational Logic in Multi-Agent Systems; 15th International W Nils Bulling,Leendert Torre,Wamberto Vasconcelos Conference proceedings 20

Moderate

gerrymander

978-3-319-09763-3Springer International Publishing Switzerland 2014

corpuscle

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

撤退

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 seek

magnanimity

革新

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

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 o

POINT

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 b

Aerophagia

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