"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...