4 found
Order:
See also
  1. New Directions in Logic, Language, and Computation: Esslli 2010 and Esslli 2011 Student Sessions, Selected Papers.Daniel Lassiter & Marija Slavkovik (eds.) - 2012 - Springer Berlin Heidelberg.
    The European Summer School in Logic, Language and Information is organized every year by the Association for Logic, Language and Information in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. During two weeks, around 50 courses and 10 (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  35
    Recognition-Primed Group Decisions Via Judgement Aggregation.Marija Slavkovik & Guido Boella - 2012 - Synthese 189 (S1):51-65.
    We introduce a conceptual model for reaching group decisions. Our model extends a well-known, single-agent cognitive model, the recognition-primed decision (RPD) model. The RPD model includes a recognition phase and an evaluation phase. Group extensions of the RPD model, applicable to a group of RPD agents, have been considered in the literature, however the proposed models do not formalize how distributed and possibly inconsistent information can be combined in either phase. We show how such information can be utilized by aggregating (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  3
    Social Bot Detection as a Temporal Logic Model Checking Problem.Mina Young Pedersen, Marija Slavkovik & Sonja Smets - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 158-173.
    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 as a model checking problem. We introduce Temporal Network Logic which we use to specify social networks where agents can post and follow each other. In this logic we formalize different types of social bot behavior. These are formulas that are satisfied in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  2
    AI Journal Special Issue on Ethics for Autonomous Systems.Michael Fisher, Sven Koenig & Marija Slavkovik - 2022 - Artificial Intelligence 305 (C):103677.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark