Search Results - "logic"
-
1
-
2
-
3
Logic for exact entailment
Published 2018Subjects: “…Truthmaking; Exact entailment; Non-classical logic; Semantics; Mereology; Sequent calculus…”
Get full text
-
4
-
5
A logic of directions
Published 2020“…We propose a logic of directions for points (LD)over 2D Euclidean space, which formalises primary direction relations east (E), west (W), and indeterminate east/west (Iew), north (N), south (S) and indeterminate north/south (Ins). …”
Get full text
-
6
Fuzzy logic control
Published 1993“…Although fuzzy logic theory was proposed about three decades ago, it is only until recently that fuzzy control technology has been successfully applied to many industrial systems and domestic appliances. …”
Get full text
Get full text
-
7
Application of Fuzzy Logic in Medicine
Published 2016“…Hence, in dealing with imprecision and uncertainty, fuzzy logic is most preferred. Fuzzy logic introduces partial truth values, between true and false and encompasses the theory and application of fuzzy sets and fuzzy logic. …”
Get full text
Get full text
-
8
-
9
On the complexity of resource-bounded logics
Published 2016“…We revisit decidability results for resource-bounded logics and use decision problems for vector addition systems with states (VASS) to characterise the complexity of (decidable) model-checking problems. …”
Get full text
-
10
Coalition and coalition announcement logic
Published 2017“…Two notable examples of such logics are Group Announcement Logic and Coalition Announcement Logic. …”
Get full text
-
11
LogiQL and Predicate Logic
Published 2015“…It has evolved from efforts to apply formal logical reasoning to databases, and this appendix describes the relationship between logic and LogiQL. …”
Get full text
Get full text
-
12
Fact-Orientation and Conceptual Logic
Published 2011“…Its graphical notation for data modeling enables a vast variety of business constraints to be depicted visually, while its formal basis in logic enables models to be transformed into implementation targets for execution. …”
Get full text
Get full text
-
13
-
14
-
15
-
16
Design and synthesis of reversible logic
Published 2016“…To overcome that, reversible logic has been invented. Since properties of reversible logic differ greatly than conventional logic, synthesis methods used for conventional logic cannot be used in reversible logic. …”
Get full text
-
17
On the complexity of resource-bounded logics
Published 2018“…We revisit decidability results for resource-bounded logics and use decision problems on vector addition systems with states (VASS) in order to establish complexity characterisations of (decidable) model checking problems. …”
Get full text
-
18
ISIS in Malaysia: understanding their logics
Published 2018“…The paper then proceeds with the uncovering and countering the logic of the Malaysian ISIS-related detainees that the resurrection of a global Islamic State caliphate is the only way to protect the interest of the Muslim community.…”
Get full text
Get full text
-
19
An Approach For Detection Of Logical Inconsistency
Published 2012“…The main research motivation was to minimize such inconsistent responses by detecting the logically inconsistent responses dynamically. The conventional approaches compute a consistency ratio to quantitatively specify the level of inconsistent responses. …”
Get full text
Get full text
-
20
Where's the logic in commissioning?: exploring the influence of institutional logics on inter-organisational working in the English National Health
Published 2018Subjects: “…Interorganizational relations; Medical protocols; Healthcare pathways; Health services administration; Institutional logics…”
Get full text