Sökning: "general logics"
Visar resultat 16 - 20 av 53 avhandlingar innehållade orden general logics.
16. Transient Control for Leader-follower Multi-agent Systems with Application to Spatiotemporal Logic Tasks
Sammanfattning : Over the past few decades, significant research has been directed towards addressing the problem of distributed control of multi-agent systems. The overall tasks include consensus, formation, flocking, and coverage control with the wide applications in multi-robot coordination, manufacturing and intelligent transportation systems. LÄS MER
17. The Last Hour: How Digitalization has Transformed Firms in the Legal Industry
Sammanfattning : This licentiate thesis explores how digitalization has transformed firms in the legal industry. Based on a qualitative study of 22 law firms I explore what digitalization has entailed for firms and its wider effects. The aim is to understand the digital transformation of the industry as well as the effects for individual law firms. LÄS MER
18. Logical Dynamics and Dynamical Systems
Sammanfattning : This thesis is on information dynamics modeled using *dynamic epistemic logic* (DEL). It takes the simple perspective of identifying models with maps, which under a suitable topology may be analyzed as *topological dynamical systems*. It is composed of an introduction and six papers. LÄS MER
19. Reasoning with Bounded Cognitive Resources
Sammanfattning : Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI). Programs for computer-assisted and automated theorem proving are being constructed and used by mathematicians and logicians. LÄS MER
20. Criticising Journalism : Popular Media Criticism in the Digital Age
Sammanfattning : Today, in a variety of digital spaces, many critics and criticisms of the media exist side by side with journalistic actors and content. This dissertation explores the complex relationships between criticisms and actors who define journalistic practice and accountability of the media. LÄS MER