"Raja Mantri Chor Sipahi – with a Royal Twist!" This game is a digital remake of the nostalgic Indian childhood game "Raja Mantri Chor Sipahi", but with an extra character added — Rani (Queen) ?. The classic guessing and role-assignment gameplay is enhanced with new logic, scorin…
0156B. doi:10.1214/07-AOS587. S2CID 3221355. Jaynes, Edwin T. (2003). Probability Theory: The Logic of Science. Cambridge University Press. ISBN 978-0-521-59271-0
We present methods to synthesize cooperative strategies for multi-vehicle control problems using mixed integer linear programming. Complex multi-vehicle control problems are expressed as mixed logical dynamical systems. Optimal strategies for these...
So hot Take that will probably be contested but hear me out. Pesuasion is convincing someone of doing something. Going to bed with someone is something. So logically speaking, anyone with a high Pers...
Cognitive ageing seems to be a story of global degradation. As one ages there are a number of physical, chemical and biological changes that take place. Therefore it is logical to assume that the brain is no exception to this phenomenon. The principl...
In the theory of answer set programming, two groups of rules are called strongly equivalent if, informally speaking, they have the same meaning in any context. The relationship between strong equivalence and the propositional logic of here-and-there...
The paper suggests a definition of "know who" as a modality using Grove-Halpern semantics of names. It also introduces a logical system that describes the interplay between modalities "knows who", "knows", and "for all agents". The main technical res...
The existence of a coalition strategy to achieve a goal does not necessarily mean that the coalition has enough information to know how to follow the strategy. Neither does it mean that the coalition knows that such a strategy exists. The article stu...
Various planning-based know-how logics have been studied in the recent literature. In this paper, we use such a logic to do know-how-based planning via model checking. In particular, we can handle the higher-order epistemic planning involving know-h...
Knowing whether a proposition is true means knowing that it is true or knowing that it is false. In this paper, we study logics with a modal operator Kw for knowing whether but without a modal operator K for knowing that. This logic is not a normal m...
Automated planning is a prominent area of Artificial Intelligence, and an important component for intelligent autonomous agents. A cornerstone of domain-independent planning is the separation between planning logic, i.e. the automated reasoning side,...
Library for working with PSO2 ICE files. Logic primarily by Agrajag and uploaded with his permission. Ooz-sys by PizzaCrust (Might be slightly adjusted for this, don't remember). (⭐ 2)
In this work we model the ACME (a fictitious company name) "printer case incident" and make its specification in Forensic Lucid, a Lucid- and intensional-logic-based programming language for cyberforensic analysis and event reconstruction specificati...
In this paper, we propose sufficient conditions to guarantee that a linear temporal logic (LTL) formula of the form p Until q, denoted by $p \mathcal{U} q$, is satisfied for a hybrid system. Roughly speaking, the formula $p \mathcal{U} q$ is satisfie...
The classic win-win has a key flaw in that it cannot offer the parties the right amounts of winning because each party believes they are winners. In reality, one party may win more than the other. This strategy is not limited to a single product or n...
Category theory provides a unified language for organizing composable operations in many disciplines. In disciplines where unitarity is fundamental -- such as functional analysis, quantum field theory, and quantum logic -- this language must also cap...
DocuSign, Fitbit, IAS, JumpCloud, Kaltura, Linkedin, Livongo, Looker, MuleSoft, Monday.com, Paytm, Ping Identity, Sumo Logic, Wise (TransferWise). The
We study the speed/fidelity trade-off for a two-qubit phase gate implemented in $^{43}$Ca$^+$ hyperfine trapped-ion qubits. We characterize various error sources contributing to the measured fidelity, allowing us to account for errors due to single-q...
Ballance is a low-budget arcade-logic game, prepared by the German studio Cyparade. As is usually the case with such products, the plot is the least important element of the programme.
Quantum bits based on individual trapped atomic ions constitute a promising technology for building a quantum computer, with all the elementary operations having been achieved with the necessary precision for some error-correction schemes. However, t...
We report on the benchmarks, participants and results of the third reactive synthesis competition(SYNTCOMP 2016). The benchmark library of SYNTCOMP 2016 has been extended to benchmarks in the new LTL-based temporal logic synthesis format (TLSF), and...
We report on the design of the third reactive synthesis competition (SYNTCOMP 2016), including a major extension of the competition to specifications in full linear temporal logic. We give a brief overview of the synthesis problem as considered in SY...
We consider different classes of combinatory structures related to Krivine realizability. We show, in the precise sense that they give rise to the same class of triposes, that they are equivalent for the purpose of modeling higher-order logic. We cen...
Use of cooperative information, distributed by road-side units, offers large potential for intelligent vehicles (IVs). As vehicle automation progresses and cooperative perception is used to fill the blind spots of onboard sensors, the question of rel...
Truth is what the singer gives to the listener when she’s brave enough to open up and sing from her heart. But still curious about the difference between both of them. In our daily life, in …
**I am NOT OOP, OOP is** u/Accomplished_Owl7211 **Originally posted to r/RBI** **I believe my brother has been 'replaced'** **Thanks to u/Direct-Caterpillar77, u/Ares_exists & u/Logical-Duck-15...
...
Parametric Presburger arithmetic concerns families of sets S_t in Z^d, for t in N, that are defined using addition, inequalities, constants in Z, Boolean operations, multiplication by t, and quantifiers on variables ranging over Z. That is, such fami...
Entanglement is a complexity measure of digraphs that origins in fixed-point logics. Its combinatorial purpose is to measure the nested depth of cycles in digraphs. We address the problem of characterizing the structure of graphs of entanglement at...
Computability is the ability to solve a problem by an effective procedure. It is a key topic of the field of computability theory within mathematical logic
Smart contracts comprising the business logic of the Matic Network (⭐ 1174)
In secure group communications, users of a group share a common group key to prevent eavesdropping and protect the exchange content. A key server distributes the group key as well as performs group rekeying whenever the membership changes dynamically...
The Scott Logic blog (⭐ 11)
...
Truth is what the singer gives to the listener when she’s brave enough to open up and sing from her heart. But still curious about the difference between both of them. In our daily life, in general …
We consider the following \emph{model repair problem}: given a finite Kripke structure $M$ and a specification formula $η$ in some modal or temporal logic, determine if $M$ contains a substructure $M'$ (with the same initial state) that satisfies...
Random input/output (RIO) code is a coding scheme that enables reading of one logical page using a single read threshold in multilevel flash memory. The construction of RIO codes is equivalent to the construction of WOM codes. Parallel RIO (P-RIO) co...
Turn-by-turn navigation logic and UI in Swift on iOS (⭐ 914)
There is a growing interest in the logical possibility that exceptional mathematical structures (exceptional Lie and superLie algebras, the exceptional Jordan algebra, etc.) could be linked to an ultimate "exceptional" formulation for a Theory Of E...
I don’t get Liquid Glass. Why does the sidebar show the wallpaper color behind the window? The glass sidebar is clearly sitting above the window as a floating panel, so by that logic shouldn’t it ...