Results 21 to 30 of about 178,207 (183)
There are (other) ways to negate in propositional team semantics [PDF]
arXivThe languages of logics based on team semantics typically only allow atomic negation or restricted negation. In this paper, we explore propositional team-based logics with full (intuitionistic) negation. We demonstrate that including full intutionistic negation does not complicate the axiomatization of propositional team-based logics with the downward ...
arxiv +3 more sources
The Effective Coverage of Homogeneous Teams with Radial Attenuation Models
Sensors, 2022 For the area coverage (e.g., using a WSN), despite the comprehensive research works on full-plane coverage using a multi-node team equipped with the ideal constant model, only very few works have discussed the coverage of practical models with varying ...
Yuan-Rui Yang, Qiyu Kang, Rui She
doaj +1 more source
Training, Abilities and the Structure of Teams
Games, 2023 Training in firms has an effect on the productivity of employees who receive the training, and depending on the production technology, on the other employees as well.
Tobias Hiller
doaj +1 more source
Ontology-based Knowledge System and Team Verification Tool for Competitive Pokemon
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2021 Competitive Pokemon is a domain with rich semantics and complex relationships between its elements. Current research in the domain has focused on developing AI agents to select moves within a match, ignoring the problem of team building.
Daniel Verdear, Ubbo Visser
doaj +1 more source
Temporal Team Semantics Revisited
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 2022 extended ...
Gutsfeld, Jens Oliver +3 more
openaire +2 more sources
Characterizing Strongly First Order Dependencies: The Non-Jumping Relativizable Case [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Team Semantics generalizes Tarski's Semantics for First Order Logic by allowing formulas to be satisfied or not satisfied by sets of assignments rather than by single assignments.
Pietro Galliani
doaj +1 more source
Sensors, 2020 The ecological dynamics approach to interpersonal relationships provides theoretical support to the use of kinematic data, obtained with sensor-based systems, in which players of a team are linked mainly by information from the performance environment ...
Daniel Carrilho +5 more
doaj +1 more source
Revolutionizing Soccer Injury Management: Predicting Muscle Injury Recovery Time Using ML
Applied Sciences, 2023 Predicting the optimal recovery time following a soccer player’s injury is a complex task with heavy implications on team performance. While most current decision-based models rely on the physician’s perspective, this study proposes a machine learning ...
Arian Skoki +4 more
doaj +1 more source
Unified Foundations of Team Semantics via Semirings
Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, 2023 Semiring semantics for first-order logic provides a way to trace how facts represented by a model are used to deduce satisfaction of a formula. Team semantics is a framework for studying logics of dependence and independence in diverse contexts such as databases, quantum mechanics, and statistics by extending first-order logic with atoms that describe ...
Barlag, Timon +4 more
openaire +3 more sources
Experimental Validation of Real-Time Ski Jumping Tracking System Based on Wearable Sensors
Sensors, 2021 For sports scientists and coaches, its crucial to have reliable tracking systems to improve athletes. Therefore, this study aimed to examine the validity of a wearable real-time tracking system (WRRTS) for the quantification of ski jumping.
Johannes Link +2 more
doaj +1 more source