Výsledky vyhledávání - "Slavkovik, M."

Social Bot Detection as a Temporal Logic Model Checking Problem

Autor: Pedersen, M.Y., Slavkovik, M., Smets, S., Ghosh, S., Icard, T.

Publikováno v: Logic, Rationality, and Interaction: 8th International Workshop, LORI 2021, Xi'an, China, October 16-18, 2021 : proceedings, 158-173
STARTPAGE=158;ENDPAGE=173;TITLE=Logic, Rationality, and Interaction
Logic, Rationality, and Interaction ISBN: 9783030887070
LORI

Software-controlled bots, also called social bots, are computer programs that act like human users on social media platforms. Recent work on detection of social bots is dominated by machine learning approaches. In this paper we explore bot detection

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::301e1eb489a3988b5114e5d46287d31a
https://hdl.handle.net/11245.1/56388d99-9b5b-448a-b0f3-d560065419eb

Zobrazit plný text záznamu

Answer Set Programming for Judgment Aggregation

Autor: de Haan, R., Slavkovik, M., Kraus, S.

Publikováno v: IJCAI
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence: IJCAI-19 : Macao, 10-16 August 2019, 1668-1674
STARTPAGE=1668;ENDPAGE=1674;TITLE=Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence

Judgment aggregation (JA) studies how to aggregate truth valuations on logically related issues. Computing the outcome of aggregation procedures is notoriously computationally hard, which is the likely reason that no implementation of them exists as

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b4debcff740ef70de92edfa0935e491b
https://doi.org/10.24963/ijcai.2019/231

Zobrazit plný text záznamu

Akademický článek

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

'How Did They Know?' - Model-Checking for Analysis of Information Leakage in Social Networks

Autor: Dennis, LA, Slavkovik, M, Fisher, M

Publikováno v: Coordination, Organizations, Institutions and Norms in Agent Systems XII

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::249217a175877b4ea23d072482fb3d01
http://livrepository.liverpool.ac.uk/3006104/1/post_proceedings_ld_2410.pdf

Zobrazit plný text záznamu

A modified vickrey auction with regret minimization for uniform alliance decisions

Autor: Lujak, M., Slavkovik, M.

Publikováno v: Studies in Computational Intelligence
Studies in Computational Intelligence, 2017, 737, pp.61-72. ⟨10.1007/978-3-319-66379-1_6⟩

We consider a supply chain management problem where a business alliance of small capacity retailers needs to collectively select a unique supplier considering the assignment’s efficiency at both the alliance and retailers’ level. We model the all

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::50b65909b0eb7d84ce21282a16718ec6
https://hal.archives-ouvertes.fr/hal-03322412

Zobrazit plný text záznamu

Complexity Results for Aggregating Judgments using Scoring or Distance-Based Procedures

Autor: de Haan, R., Slavkovik, M., Das, S., Durfee, E., Larson, K., Winikoff, M.

Publikováno v: AAMAS '17: proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems : May, 8-12, 2017, São Paulo, Brazil, 2, 952-961

Judgment aggregation is an abstract framework for studying collective decision making by aggregating individual opinions on logically related issues. Important types of judgment aggregation methods are those of scoring and distance-based methods, man

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::1fce5f746f29f7d9790248f84448230a
https://dare.uva.nl/personal/pure/en/publications/complexity-results-for-aggregating-judgments-using-scoring-or-distancebased-procedures(ed0515e8-3e67-41b0-a82a-8f876d945b64).html

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání