Results 251 to 260 of about 2,584,296 (324)
Some of the next articles are maybe not open access.
Logical Connections of Statements at the Ontological Level
International Journal of Cognitive Informatics and Natural Intelligence, 2010In the classical formal logics, the negation can only be applied to formulas, not to terms and predicates. In (frame-based) knowledge representation, an ontology contains descriptions of individuals, concepts and slots, that is statements about individuals, concepts and slots.
Cungen Cao 0001, Yuefei Sui, Yu Sun 0005
openaire +1 more source
On logically false evidence statements
Journal of Symbolic Logic, 1957Logical falsehoods are usually barred in confirmation theory from serving as evidence statements. I wish to study here some three major ways in which this restriction can be lifted.1. Consider the following axioms for the two-argument confirmation function C:A1. 0 ≤ C(h, e) ≤ 1;A2. If ⊦h ≡ h′ and ⊦e ≡ e′, then C(h, e) = C(h′, e′);A3.
openaire +2 more sources
Can the power of platforms be harnessed for governance?
, 2020The platform concept examines how strategic leadership and institutional and technological resources enable multiple distributed activities to innovate, adapt, and change.
C. Ansell, Satoshi Miura
semanticscholar +1 more source
Simulation of specification statements in Hoare logic
1996Data refinement is a powerful technique to derive implementations in terms of low-level data structures like bytes from specification in terms of high-level data structures like queues. The higher level operations need not be coded as ordinary programs; it is more convenient to introduce specification statements to the programming language and use them
Kai Engelhardt, Willem P. de Roever
openaire +1 more source
The Logic of Presidential Signing Statements
Political Research Quarterly, 2012Signing statements constitute a salient executive power that has recently captured scholarly and political attention. Prior literature suggests that presidents use signing statements to gain additional policy concessions from Congress. Evidence of policy motivations are, however, difficult to demonstrate and policy motives fail to explain a wide range
Ian Ostrander, Joel Sievert
openaire +1 more source
Fuzzy Logic Theory and Applications, 2018
In which we present fuzzy set theory, consider how to build fuzzy expert systems and illustrate the theory through an example. 4.1 Introduction, or what is fuzzy thinking? Experts usually rely on common sense when they solve problems. They also use vague
semanticscholar +1 more source
In which we present fuzzy set theory, consider how to build fuzzy expert systems and illustrate the theory through an example. 4.1 Introduction, or what is fuzzy thinking? Experts usually rely on common sense when they solve problems. They also use vague
semanticscholar +1 more source
A LOGICAL APPROACH TO THE STATEMENT OF AFFAIRS.
The Accounting Review, 1964Abstract During recent years a problem involving the statement of affairs has appeared on the uniform CPA examination approximately once every three years. The customary approach and final form of the statement are such that they require memory rather than logic for satisfactory performance.
openaire +1 more source
On the Relationship between Casual Statement Logic and Machine Language
International Conference on E-Business and E-Government, 2012Qing Fan +4 more
semanticscholar +1 more source
Panelist position statement: logic and models in computer science
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2005U. Martin
semanticscholar +1 more source
Abduction with Estimates for Statements in Fuzzy Propositional Logic
2020Estimates are expressions of the form \( \upvarphi \ge r, \upvarphi > r \), \( \upvarphi \le r, \upvarphi < r \), \( \upvarphi {\rm{ }} \le \uppsi \) or \( \upvarphi < \uppsi \) where \( \upvarphi \) and \( \uppsi \) are propositional formulas and r is a real number from the unit interval [0, 1].
openaire +1 more source