Results 31 to 40 of about 1,530,272 (312)
Computational Aspects of Logics in Team Semantics (Tutorial)
Symposium on Theoretical Aspects of Computer Science, 2017 Non peer ...
Juha Kontinen
semanticscholar +6 more sources
Dialetheism, Game Theoretic Semantics, and Paraconsistent Team Semantics [PDF]
, 2012 We introduce a variant of Dependence Logic in which truth is defined not in terms of existence of winning strategies for the Proponent (Eloise) in a semantic game, but in terms of lack of winning strategies for the Opponent (Abelard). We show that this language is a conservative but paraconsistent extension of First Order Logic, that its validity ...
Pietro Galliani
openalex +3 more sources
A Double Team Semantics for Generalized Quantifiers. [PDF]
J Logic Lang Inf, 2015 We define a semantics for first-order logic with generalized quantifiers based on double teams. We also define and investigate a notion of a generalized atom. Such atoms can be used in order to define extensions of first-order logic with a team-based semantics. We also define a game semantics and compare it with the double team semantics.
Kuusisto A.
europepmc +6 more sources
Intermediate logics in the setting of team semantics [PDF]
, 2022 Several authors have recently defined intuitionistic logic based on team semantics (tIPC). In this paper we provide two alternative approaches to intermediate logics in the team semantics setting. We do this by modifying tIPC with axioms written with two different versions of disjunction in the logic, a local one and global one.
Nick Bezhanishvili, Fan Yang
openalex +4 more sources
Generalized quantifiers using team semantics [PDF]
Dependence logic provides an elegant approach for introducing dependencies between variables into the object language of first-order logic. In [1] generalized quantifiers were introduced in this context. However, a satisfactory account was only achieved for monotone increasing generalized quantifiers.
Fredrik Engström
openalex +3 more sources
Linear-time Temporal Logic with Team Semantics: Expressivity and\n Complexity [PDF]
, 2020 We study the expressivity and complexity of model checking linear temporal logic with team semantics (TeamLTL). TeamLTL, despite being a purely modal logic, is capable of defining hyperproperties, i.e., properties which relate multiple execution traces. TeamLTL has been introduced quite recently and only few results are known regarding its expressivity
Jonni Virtema +4 more
openalex +6 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
Complexity Aspects of Logics in Team Semantics
Electronic Proceedings in Theoretical Computer Science, 2023 Juha Kontinen
openalex +2 more sources
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