Results 121 to 130 of about 178,207 (183)

Boolean Dependence Logic and Partially-Ordered Connectives [PDF]

, 2014
We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,\alpha), where \alpha is a Boolean variable.
Ebbing, Johannes, Hella, Lauri, Lohmann, Peter, Virtema, Jonni   +3 more
core  

A Primer for Preferential Non-Monotonic Propositional Team Logics [PDF]

arXiv
This paper considers KLM-style preferential non-monotonic reasoning in the setting of propositional team semantics. We show that team-based propositional logics naturally give rise to cumulative non-monotonic entailment relations. Motivated by the non-classical interpretation of disjunction in team semantics, we give a precise characterization for ...
arxiv  

The flattening operator in team-based logics [PDF]

arXiv
We propose a systematic study of the so-called flattening operator in team semantics. This operator was first introduced by Hodges in 1997, and has not been studied in more detail since. We begin a systematic study of the expressive power this operator adds to the most well-known team-based logics, such as dependence logic, anonymity logic, inclusion ...
arxiv  

Using Reinforcement Learning in a Dynamic Team Orienteering Problem with Electric Batteries

Batteries
This paper addresses the team orienteering problem (TOP) with vehicles equipped with electric batteries under dynamic travel conditions influenced by weather and traffic, which impact travel times between nodes and hence might have a critical effect on ...
Majsa Ammouriova, Antoni Guerrero, Veronika Tsertsvadze, Christin Schumacher, Angel A. Juan   +4 more
doaj   +1 more source

Generalized quantifiers using team semantics

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.
openaire   +2 more sources

Semantics in action: a guide for representing clinical data elements with SNOMED CT. [PDF]

J Biomed Semantics
Ehrsam J, Gaudet-Blavignac C, Mattei M, Baumann M, Lovis C.   +4 more
europepmc   +1 more source

The influence of semantics and numerical representation on the SNARC effect. [PDF]

Sci Rep
Kang T, Liu Y, Qu M, Wang R, Tang T.
europepmc   +1 more source

Digital evolution: Novo Nordisk's shift to ontology-based data management. [PDF]

J Biomed Semantics
Tan SZK, Baksi S, Bjerregaard TG, Elangovan P, Gopalakrishnan TK, Hric D, Joumaa J, Li B, Rabbani K, Venkatesan SK, Valdez JD, Kuriakose SV.   +11 more
europepmc   +1 more source

Independence in Model Theory and Team Semantics [PDF]

The Bulletin of Symbolic Logic, 2018
openaire   +2 more sources

YOLOv8n-RF: A Dynamic Remote Control Finger Recognition Method for Suppressing False Detection. [PDF]

Sensors (Basel)
Wang Y, Wang G, Yao Y.
europepmc   +1 more source