Results 21  30
of
629
SurroundSense: Mobile Phone Localization via Ambience
"... A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude) to logical labels (like Starbucks, McDonalds). While extensive research has been performed in physical localization, ther ..."
Abstract

Cited by 156 (3 self)
 Add to MetaCart
, there have been few attempts in recognizing logical locations. This paper argues that the increasing number of sensors on mobile phones presents new opportunities for logical localization. We postulate that ambient sound, light, and color in a place convey a photoacoustic signature that can be sensed
Mechanizing Programming Logics in Higher Order Logic
 in Current Trends in Hardware Verification and Automated Theorem Proving, ed. P.A. Subrahmanyam and Graham Birtwistle
, 1989
"... Formal reasoning about computer programs can be based directly on the semantics of the programming language, or done in a special purpose logic like Hoare logic. The advantage of the first approach is that it guarantees that the formal reasoning applies to the language being used (it is well known, ..."
Abstract

Cited by 65 (3 self)
 Add to MetaCart
postulated, it is straightforward to mix semantic and axiomatic reasoning. It is also straightforward to combine the constructs of Hoare logic with other applicationspecific notations. This is briefly illustrated for various logical constructs, including termination statements, VDMstyle ‘relational
Brief Study of the Relation between AGM Postulates (∸7) and (˙+7) under Nonclassical Logics
"... Abstract. This paper studies the implication relations between the AGM postulates (∸7) and ( ˙+7) under nonclassical logics, namely intuitionistic logic, paraconsistent logic, G3 and G3'. In order to do so, some theorems on the implication relations between such postulates are drawn for logics ..."
Abstract
 Add to MetaCart
Abstract. This paper studies the implication relations between the AGM postulates (∸7) and ( ˙+7) under nonclassical logics, namely intuitionistic logic, paraconsistent logic, G3 and G3'. In order to do so, some theorems on the implication relations between such postulates are drawn
ON THE CORRESPONDENCE BETWEEN DISPLAY POSTULATES AND DEEP INFERENCE IN NESTED SEQUENT CALCULI FOR TENSE LOGICS ∗
, 2010
"... Vol. 7 (2:8) 2011, pp. 1–38 ..."
Updating logic programs
 Proceedings of the 13th European Conference on Artificial Intelligence (ECAI98
, 1998
"... Negotiation between two agents is modelled as a onetime encounter between two extended logic programs. Each offers an answer set. Their mutual deal can be regarded as a trade on their answer sets. An agent can achieve this by weakening its program to surrender some literals that conflict with the o ..."
Abstract

Cited by 50 (7 self)
 Add to MetaCart
Negotiation between two agents is modelled as a onetime encounter between two extended logic programs. Each offers an answer set. Their mutual deal can be regarded as a trade on their answer sets. An agent can achieve this by weakening its program to surrender some literals that conflict
Revision over partial preorders: a postulational study
"... Abstract. Belief revision is the process that incorporates, in a consistent way, a new piece of information, called input, into a belief base. When both belief bases and inputs are propositional formulas, a set of natural and rational properties, known as AGM postulates, have been proposed to defin ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
representation of partial preorders (called units) using the concept of closed sets of units. Then we restate AGM postulates in this framework by defining counterparts of the notions of logical entailment and logical consistency. In the second part of the paper, we provide some examples of revision operations
From Quantum Mechanics Postulate to Landauer’s Erasure Principle
"... Landauer argues 1 that since erasure is a logical function that does not have a singlevalued inverse it must be associated with physical irreversibility and therefore require heat dissipation. It is widely accepted that quantum mechanics is our most accurate description of our world. Can Landauer’s ..."
Abstract
 Add to MetaCart
Landauer argues 1 that since erasure is a logical function that does not have a singlevalued inverse it must be associated with physical irreversibility and therefore require heat dissipation. It is widely accepted that quantum mechanics is our most accurate description of our world. Can Landauer
Attempt at clarification of Einstein’s postulate of constancy of light velocity
, 2005
"... We have realized that under Lorentz transformations the tick number of a moving common clock remains unchanged, that is, the hand of the clock never runs slow, but the time interval between its two consecutive ticks contracts, so the relative time has to be recorded by using the τclocks required by ..."
Abstract
 Add to MetaCart
’s emission theory except the Lorentz factor and the postulate of constancy of light velocity if measured by using τclocks. Thus the emission theory does not conflict with special relativity. The present argument leads to a logical consequence that the socalled positive conclusions from experiments
0.1 Notion of Zero Linguistic Sign and the Principle for the Postulation Thereof
"... Strange as it may seem, in spite of widespread and fruitful use of zero signs in linguistics, there is, as far as I know, no universally accepted good definition of the concept itself of linguistic zero sign: a maximally general one which would cover all possible types of zero signs and, at the sam ..."
Abstract
 Add to MetaCart
, at the same time, be rigorous and logically satisfactory. Paradoxically, such a definition is easy to supply, proceeding from the basic concept of linguistic sign as a triplet 〈<Signified>; /Signifier / ; Σ(Syntactics)〉. Here, ’Signified ’ ( = signatum, signifié) and ‘Signifier ’ ( = signans, signifiant
Fuzzy signal detection theory: Basic postulates and formulas for analyzing human and machine performance
, 2000
"... Signal detection theory (SDT) assumes a division of objective truths or "states of the world" into the nonoverlapping categories of signal and noise. The definition of a signal in many real settings, however, varies with context and over time. In the terminology of fuzzy logic, a realworl ..."
Abstract

Cited by 19 (8 self)
 Add to MetaCart
world signal has a value that falls in a range between unequivocal presence and unequivocal absence. The definition of a response can also be nonbinary. Accordingly the methods of fuzzy logic can be combined with SDT, yielding fuzzy SDT. We describe the basic postulates of fuzzy SDT and provide formulas
Results 21  30
of
629