Results 81 to 90 of about 178,207 (183)
Transition Semantics - The Dynamics of Dependence Logic [PDF]
, 2013 We examine the relationship between Dependence Logic and game logics. A variant of Dynamic Game Logic, called Transition Logic, is developed, and we show that its relationship with Dependence Logic is comparable to the one between First-Order Logic and ...
Galliani, Pietro
core +1 more source
SensorsAirtime is crucial for high-rotation tricks in snowboard halfpipe performance, significantly impacting trick difficulty, the primary judging criterion.
Tom Gorges +4 more
doaj +1 more source
The Expressive Power of Modal Dependence Logic [PDF]
, 2014 We study the expressive power of various modal logics with team semantics. We show that exactly the properties of teams that are downward closed and closed under team k-bisimulation, for some finite k, are definable in modal logic extended with ...
Hella, Lauri +3 more
core
Cognitive Semantics For Dynamic Planning In Human-Robot Teams
2019 IEEE 15th International Conference on Automation Science and Engineering (CASE), 2019 Robots 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.
Angleraud, Alexandre +3 more
openaire +3 more sources
A Built Heritage Information System Based on Point Cloud Data: HIS-PC
ISPRS International Journal of Geo-Information, 2020 The digital management of an archaeological site requires to store, organise, access and represent all the information that is collected on the field.
Florent Poux +4 more
doaj +1 more source
Validity and Entailment in Modal and Propositional Dependence Logics [PDF]
Logical Methods in Computer Science, 2019 The computational properties of modal and propositional dependence logics have been extensively studied over the past few years, starting from a result by Sevenster showing NEXPTIME-completeness of the satisfiability problem for modal dependence logic ...
Miika Hannula
doaj +1 more source
Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity
, 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
Virtema, Jonni +4 more
openaire +5 more sources
Revista de Filología Románica, 2016 In this paper, we intend to show –by means of diachronic justification– the procedure followed by the team working on the DICCA-XV in the treatment of the preposition de.
Ignacio Vázquez Diéguez
doaj +1 more source
Characterizing downwards closed, strongly first order, relativizable dependencies
, 2019 In Team Semantics, a dependency notion is strongly first order if every sentence of the logic obtained by adding the corresponding atoms to First Order Logic is equivalent to some first order sentence.
Galliani, Pietro
core +1 more source
Sports, 2019 Statistical analysis of real in-game situations plays an increasing role in talent identification and player recruitment across team sports. Recently, visual exploration frequency (VEF) in football has been discussed as being one of the important ...
Ashwin Phatak, Markus Gruber
doaj +1 more source