Results 231 to 240 of about 9,818 (257)
Logics with Probabilistic Team Semantics and the Boolean Negation
Lecture Notes in Computer Science, 2023 Abstract We study the expressivity and the complexity of various logics in probabilistic team semantics with the Boolean negation. In particular, we study the extension of probabilistic independence logic with the Boolean negation, and a recently introduced logic first-order theory of random variables with probabilistic independence.
Jonni Virtema, Arne Meier
exaly +8 more sources
On the complexity of linear temporal logic with team semantics [PDF]
Theoretical Computer Science, 2020 A specification given as a formula in linear temporal logic (LTL) defines a system by its set of traces. However, certain features such as information flow security constraints are rather modeled as so-called hyperproperties, which are sets of sets of traces. One logical approach to this is team logic, which is a logical framework for the specification
Martin Luck
exaly +4 more sources
Team Semantics for Interventionist Counterfactuals: Observations vs. Interventions [PDF]
Journal of Philosophical Logic, 2020 AbstractTeam semantics is a highly general framework for logics which describe dependencies and independencies among variables. Typically, the (in)dependencies considered in this context are properties of sets of configurations or data records.
Fausto Barbero, Gabriel Sandu
exaly +3 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Separation logic and logics with team semantics
Annals of Pure and Applied Logic, 2022zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Darion Haase +2 more
openaire +2 more sources
Proceedings of the 2008 international workshop on Cooperative and human aspects of software engineering, 2008
Large software development projects are complex endeavours that involve numerous participants which can work across several sites and act in various roles. Each participant produces and consumes information relevant for the success of the project. In such settings, an effective and efficient allocation of knowledge is a hard challenge, especially if ...
Hans-Jörg Happel +2 more
openaire +1 more source
Large software development projects are complex endeavours that involve numerous participants which can work across several sites and act in various roles. Each participant produces and consumes information relevant for the success of the project. In such settings, an effective and efficient allocation of knowledge is a hard challenge, especially if ...
Hans-Jörg Happel +2 more
openaire +1 more source
Iterated team semantics for a hierarchy of informational types
Annals of Pure and Applied Logic, 2022zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Cognitive Semantics For Dynamic Planning In Human-Robot Teams
2019 IEEE 15th International Conference on Automation Science and Engineering (CASE), 2019Robots are making their way into our society and are foreseen to become an important part in our everyday life, at work or at home. Industrial factory layouts are moving robots out of enclosures bringing them side by side with human workers. As for service robots they are by definition meant to perform tasks in our immediate proximity.
Alexandre Angleraud +3 more
openaire +2 more sources
Semantically-supported team building in a KDD virtual environment
2012 International Conference on Collaboration Technologies and Systems (CTS), 2012Team building plays a crucial role in many collaborative projects. The use of semantic technologies and tools, like ontologies and metadata management proved to be a powerful approach to organize people competencies and support the formation of teams.
Claudia Diamantini +2 more
openaire +1 more source
Safe dependency atoms and possibility operators in team semantics
Information and Computation, 2021Pietro Galliani
exaly