Marking time
نویسندگان
چکیده
Next, we discuss the point-based and interval-based versions of time. These were studied in Johan van Benthem’s book The logic of time and in several papers appearing around the same time: Vilain [1982], and Allen [1983], developed an interval algebra; Moszkowski and Manna [1983], as well as Schwartz, Melliar-Smith and Vogt [1983], advocated interval-based reasoning for hardware. The prohibitive complexity of logics which evaluate propositions at intervals was established by Halpern and Shoham [1991]. Many fragments have been shown to be undecidable (cf. Lodaya [2000]). Goranko, Montanari, Sciavicco and Bresolin recently showed [2004, 2007] that a few are decidable by exploiting their resemblance to the point-based logic. Interval logic has made a resurgence, even making it into industry standards like PSL/Sugar: Vardi [2006] gives a picture of the history.
منابع مشابه
Enhancing Skid Resistance of Two-Component Road Marking Paint using Mineral and Recycled Materials
Low skid resistance of road marking paint is one of the major issues in the safety of vehicle drivers, cyclists, and pedestrians when traveling on the city streets. Among the variety of marking paint, two-component paint is widely used at intersections and roundabouts. Therefore, the paint used should have adequate skid resistance. The object of this study was to evaluat...
متن کاملA Semi-Automatic Computer-Aided Assessment Approach for Marking and Providing Feedback Comments
Assessment is an essential part of the learning process. It is important for educators to provide detailed and reliable evaluations to students so that they can be better prepared for future studies and the workplace. Marking and providing formative feedback can be time-consuming and prone to errors especially when detailed analyses of students’ problem-solving steps are considered. A computer-...
متن کاملResults of the radioguided surgeries among the patients with pathological nipple discharge
Introduction: Nipple discharge is the third most common complaint of the breast diseases following the breast mass and the breast pain. The majority of the lesions causing pathological nipple discharge (PND) consist of non-palpable breast lesions (NPBLs). When non-operative diagnostic tools are inadequate to distinguish the diagnosis, the pathological duct should be removed to ...
متن کاملEvaluation of Tree Marking in Persian Ironwood-hornbeam Stands at Bahramnia Forestry Plan and Its Effect on Stand Structure
Tree marking can cause changes in forest. This study aimed to assess tree marking operation and to predict its effect on stand structure of Persian ironwood-hornbeam stands at Bahramnia forestry plan, north of Iran. Therefore 98 trees that were marked in compartment 9 of the mentioned forest in 2017 based on selection system and according to the recent laws of Forests, Range and Watershed Manag...
متن کاملTowards an Adaptive Packet Marking Scheme for IP Traceback
Denial of Service attacks have become one of the most serious threats to the Internet community. An effective means to defend against such attacks is to locate the attack source(s) and to isolate it from the rest of the network. This paper proposes an adaptive packet marking scheme for IP traceback, which supports two types of marking, namely source router id marking and domain id marking. For ...
متن کاملA Trust-Based Adaptive Probability Marking and Storage Traceback Scheme for WSNs
Security is a pivotal issue for wireless sensor networks (WSNs), which are emerging as a promising platform that enables a wide range of military, scientific, industrial and commercial applications. Traceback, a key cyber-forensics technology, can play an important role in tracing and locating a malicious source to guarantee cybersecurity. In this work a trust-based adaptive probability marking...
متن کامل