Results 1  10
of
1,780
Signed Interval Logic
 In CSL'99, volume 1683 of LNCS
, 1999
"... Signed Interval Logic (SIL) is an extension of Interval Temporal Logic (ITL) with the introduction of the notion of a direction of an interval. We develop syntax, semantics, and proof system of SIL, and show that this proof system is sound and complete. The proof system of SIL is not more complicate ..."
Abstract

Cited by 6 (4 self)
 Add to MetaCart
Signed Interval Logic (SIL) is an extension of Interval Temporal Logic (ITL) with the introduction of the notion of a direction of an interval. We develop syntax, semantics, and proof system of SIL, and show that this proof system is sound and complete. The proof system of SIL is not more
Axiomatizations of Interval Logics
 Fundamenta Informaticae
, 1995
"... Interval logic has been introduced as a temporal logic that provides higherlevel constructs and an intuitive graphical representation, making it easier in interval logic than in other temporal logics to specify and reason about concurrency in software and hardware designs. In this paper we present ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
Interval logic has been introduced as a temporal logic that provides higherlevel constructs and an intuitive graphical representation, making it easier in interval logic than in other temporal logics to specify and reason about concurrency in software and hardware designs. In this paper we present
An Inference Mechanism for PointInterval Logic
"... We present a new inference algorithm for PointInterval Logic. The mechanism removes the incompleteness of previously reported inference mechanism for PointInterval Logic. We also show how this inference mechanism can be used to prune the search space for an instance in Generalized PointInterval L ..."
Abstract
 Add to MetaCart
We present a new inference algorithm for PointInterval Logic. The mechanism removes the incompleteness of previously reported inference mechanism for PointInterval Logic. We also show how this inference mechanism can be used to prune the search space for an instance in Generalized PointInterval
Labelled Natural Deduction for Interval Logics
 In CSL'01, volume 2142 of LNCS
, 2001
"... We develop a Labelled Natural Deduction framework for a certain class of interval logics. With emphasis on Signed Interval Logic we consider normalization properties and show that normal derivations satisfy a subformula property. We have encoded our framework in the generic theorem proving system Is ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
We develop a Labelled Natural Deduction framework for a certain class of interval logics. With emphasis on Signed Interval Logic we consider normalization properties and show that normal derivations satisfy a subformula property. We have encoded our framework in the generic theorem proving system
Computing Time Intervals Logically
"... The purpose of using firstorder logic to program a computer is to turn the task of programming into the task of expressing relations that must be jointly satisfiable. One obstacle to relational and logical programming has been arithmetic, which is usually evaluated functionally. This paper ..."
Abstract
 Add to MetaCart
The purpose of using firstorder logic to program a computer is to turn the task of programming into the task of expressing relations that must be jointly satisfiable. One obstacle to relational and logical programming has been arithmetic, which is usually evaluated functionally. This paper
FirstOrder Future Interval Logic
 In Proc. 1st Inter. Conf. Temporal Logic
, 1994
"... . Future Interval Logic (FIL) is a lineartime temporal logic that is intended for specification and verification of reactive and concurrent systems. To make FIL useful for specifying and reasoning about practical systems, we present a firstorder extension of FIL, including equality and nary funct ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
. Future Interval Logic (FIL) is a lineartime temporal logic that is intended for specification and verification of reactive and concurrent systems. To make FIL useful for specifying and reasoning about practical systems, we present a firstorder extension of FIL, including equality and n
Using Interval Logic for Order Assembly
 In Proceedings of the Second Intcrnational
, 1994
"... Temporal ogic, in particular, interval logic has been used to represent genome maps and to assist genome map constructions. However, interval logic itself appears to be bruited in its expressive power because genome mapping requires various information such as partial order, distance and local orie ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
Temporal ogic, in particular, interval logic has been used to represent genome maps and to assist genome map constructions. However, interval logic itself appears to be bruited in its expressive power because genome mapping requires various information such as partial order, distance and local
Interval Logics for Temporal Specification and Verification
, 1993
"... This thesis investigates temporal specification and verification techniques using a lineartime temporal logic with interval constructs. It identifies an expressive elementary logic with interval modalities, called Future Interval Logic (FIL). This logic has a natural graphical representation which, ..."
Abstract

Cited by 6 (5 self)
 Add to MetaCart
This thesis investigates temporal specification and verification techniques using a lineartime temporal logic with interval constructs. It identifies an expressive elementary logic with interval modalities, called Future Interval Logic (FIL). This logic has a natural graphical representation which
Automated Proof Support for Interval Logics
"... We outline the background and motivation for the use of interval logics and consider some initial attempts toward proof support and automation. The main focus, though, is on recent work on these subjects. We compare dierent proof theoretical formalisms, in particular a \classical" versus a ..."
Abstract
 Add to MetaCart
We outline the background and motivation for the use of interval logics and consider some initial attempts toward proof support and automation. The main focus, though, is on recent work on these subjects. We compare dierent proof theoretical formalisms, in particular a \classical" versus a
A Spatial Logic based on Regions and Connection
 PROCEEDINGS 3RD INTERNATIONAL CONFERENCE ON KNOWLEDGE REPRESENTATION AND REASONING
, 1992
"... We describe an interval logic for reasoning about space. The logic simplifies an earlier theory developed by Randell and Cohn, and that of Clarke upon which the former was based. The theory supports a simpler ontology, has fewer defined functions and relations, yet does not suffer in terms of its us ..."
Abstract

Cited by 745 (32 self)
 Add to MetaCart
We describe an interval logic for reasoning about space. The logic simplifies an earlier theory developed by Randell and Cohn, and that of Clarke upon which the former was based. The theory supports a simpler ontology, has fewer defined functions and relations, yet does not suffer in terms of its
Results 1  10
of
1,780