Relevant bibliographies by topics / Interval temporal logic

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Interval temporal logic'

Author: Grafiati
Published: 4 June 2021
Last updated: 26 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Interval temporal logic.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Interval temporal logic"

1

Uckelman, Sara L., and Spencer Johnston. "John Buridan’s Sophismata and Interval Temporal Semantics." History of Philosophy and Logical Analysis 13, no. 1 (2010): 131–47. http://dx.doi.org/10.30965/26664275-01301009.

Full text
Abstract:
In this paper we look at the suitability of modern interval-based temporal logic for modeling John Buridan’s treatment of tensed sentences in his Sophismata. Building on the paper (Øhrstrøm 1984), we develop Buridan’s analysis of temporal logic, paying particular attention to his notions of negation and the absolute/relative nature of the future and the past.We introduce a number of standard modern propositional interval temporal logics (ITLs) to illustrate where Buridan’s interval-based temporal analysis differs from the standard modern approaches. We give formal proofs of some claims in (Øhr
APA, Harvard, Vancouver, ISO, and other styles
2

Di Giampaolo, Barbara, Salvatore La Torre, and Margherita Napoli. "Parametric metric interval temporal logic." Theoretical Computer Science 564 (January 2015): 131–48. http://dx.doi.org/10.1016/j.tcs.2014.11.019.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kosiuczenko, Piotr. "An Interval Temporal Logic for Time Series Specification and Data Integration." Remote Sensing 13, no. 12 (2021): 2236. http://dx.doi.org/10.3390/rs13122236.

Full text
Abstract:
The analysis of temporal series—in particular, analysis of multisensor data—is a complex problem. It depends on the application domain, the way the data have to be used, and sensors available, among other factors. Various models, algorithms, and technologies have been designed for this goal. Temporal logics are used to describe temporal properties of systems. The properties may specify the occurrence and the order of events in time, recurring patterns, complex behaviors, and processes. In this paper, a new interval logic, called duration calculus for functions (DC4F), is proposed for the speci
APA, Harvard, Vancouver, ISO, and other styles
4

Bochman, Alexander. "Concerted instant-interval temporal semantics. I. Temporal ontologies." Notre Dame Journal of Formal Logic 31, no. 3 (1990): 403–14. http://dx.doi.org/10.1305/ndjfl/1093635505.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ferrari, Luca. "Dyck Algebras, Interval Temporal Logic, and Posets of Intervals." SIAM Journal on Discrete Mathematics 30, no. 4 (2016): 1918–37. http://dx.doi.org/10.1137/15m1016904.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Artale, A., and E. Franconi. "A Temporal Description Logic for Reasoning about Actions and Plans." Journal of Artificial Intelligence Research 9 (December 1, 1998): 463–506. http://dx.doi.org/10.1613/jair.516.

Full text
Abstract:
A class of interval-based temporal languages for uniformly representing and reasoning about actions and plans is presented. Actions are represented by describing what is true while the action itself is occurring, and plans are constructed by temporally relating actions and world states. The temporal languages are members of the family of Description Logics, which are characterized by high expressivity combined with good computational properties. The subsumption problem for a class of temporal Description Logics is investigated and sound and complete decision procedures are given. The basic lan
APA, Harvard, Vancouver, ISO, and other styles
7

BRESOLIN, DAVIDE, PIETRO SALA, and GUIDO SCIAVICCO. "ON BEGINS, MEETS AND BEFORE." International Journal of Foundations of Computer Science 23, no. 03 (2012): 559–83. http://dx.doi.org/10.1142/s012905411240028x.

Full text
Abstract:
Interval temporal logics (ITLs) are logics for reasoning about temporal statements expressed over intervals, i.e., periods of time. The most famous temporal logic for intervals studied so far is probably Halpern and Shoham's HS, which is the logic of the thirteen Allen's interval relations. Unfortunately, HS and most of its fragments are undecidable. This discouraged the research in this area until recently, when a number non-trivial decidable ITLs have been discovered. This paper is a contribution towards the complete classification of all different fragments of HS. We consider here different
APA, Harvard, Vancouver, ISO, and other styles
8

Goranko, Valentin, Angelo Montanari, and Guido Sciavicco. "Propositional Interval Neighborhood Temporal Logics." JUCS - Journal of Universal Computer Science 9, no. (9) (2003): 1137–67. https://doi.org/10.3217/jucs-009-09-1137.

Full text
Abstract:
Logics for time intervals provide a natural framework for dealing with time in various areas of computer science and artificial intelligence, such as planning, natural language processing, temporal databases, and formal specification. In this paper we focus our attention on propositional interval temporal logics with temporal modalities for neighboring intervals over linear orders. We study the class of propositional neigh-borhood logics (PNL) over two natural semantics, respectively admitting and excluding point-intervals. First, we introduce interval neighborhood frames and we provide repres
APA, Harvard, Vancouver, ISO, and other styles
9

Montanari, Angelo, and Pietro Sala. "Reactive synthesis from interval temporal logic specifications." Theoretical Computer Science 899 (January 2022): 48–79. http://dx.doi.org/10.1016/j.tcs.2021.11.023.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Klaudel, Hanna, Maciej Koutny, Zhenhua Duan, and Ben Moszkowski. "From Box Algebra to Interval Temporal Logic." Fundamenta Informaticae 167, no. 4 (2019): 323–54. http://dx.doi.org/10.3233/fi-2019-1820.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Interval temporal logic"

1

Oberholzer, Johannes Francois. "Agent Interval Temporal Logic." Diss., University of Pretoria, 2020. http://hdl.handle.net/2263/74826.

Full text
Abstract:
Alternating-Time Temporal Logic (ATL), introduced by Alur, Henzinger and Kupferman, is a logic involving coalitions of agents performing actions which cause a state change in a turn-based time system. There have been game theoretic ex- tensions on ATL, and they are very good at specifying systems of multiple agents cooperating or competing in a game-like situation. Unfortunately neither ATL nor its extensions are able to capture the idea of gradual change, or duration of actions or events. The concurrent game model of ATL operates like a turn based game, with sets of agents taking their
APA, Harvard, Vancouver, ISO, and other styles
2

Duan, Zhenhua. "An extended interval temporal logic and a framing technique for temporal logic programming." Thesis, University of Newcastle Upon Tyne, 1996. http://hdl.handle.net/10443/2075.

Full text
Abstract:
Temporal logic programming is a paradigm for specification and verification of concurrent programs in which a program can be written, and the properties of the program can be described and verified in a same notation. However, there are many aspects of programming in temporal logics that are not well-understood. One such an aspect is concurrent programming, another is framing and the third is synchronous communication for parallel processes. This thesis extends the original Interval Temporal Logic (ITL) to include infinite models, past operators, and a new projection operator for dealing with
APA, Harvard, Vancouver, ISO, and other styles
3

Marshall, I. "Hardware synthesis from an interval temporal logic." Thesis, University of East Anglia, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.361488.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Müller, Daniel. "Trajectory Generation under Metric Interval Temporal Logic Specifications." Thesis, KTH, Reglerteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-217122.

Full text
Abstract:
Metric interval temporal logic (MITL) provides a tool to formulate high level tasks in an easyway. This allows to specify behaviour of a dynamical system in a given environment which liesbeyond the scope of simple stabilization. Finding an input of the system which satises the MITLformula, demands new techniques and algorithms. In this thesis, a novel approach is presented whichabstracts the dynamical system into a time optimal weighted transition system (WTS) and convertsthe MITL formula into a Timed Buchi Automaton (TBA). From the graph product of the WTS andTBA a sequence of environment sta
APA, Harvard, Vancouver, ISO, and other styles
5

Andersson, Sofie. "Automatic Control Design Synthesis under Metric Interval Temporal Logic Specifications." Thesis, KTH, Skolan för elektro- och systemteknik (EES), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-187716.

Full text
Abstract:
The problem of synthesizing controllers for motion planning of multi-agent systems under Linear Temporal Logic (LTL) high-level specifications has been of great interest and has been widely studied over the last years. However, LTL cannot handle time constraints as specifications. The time aspect would allow more complicated and specific tasks and it is therefore desirable to incorporate. This work aims to determine how control synthesis for a continuous linear system can be performed based on Metric Interval Temporal Logic (MITL), which is able to handle desired time constraints to high-level sp
APA, Harvard, Vancouver, ISO, and other styles
6

Dimitriov, Jordan. "Developing semantics of Verilog HDL in formal compositional design of mixed hardware/software systems." Thesis, De Montfort University, 2002. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.250766.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

El-kustaban, Amin Mohammed Ahmed. "Studying and analysing transactional memory using interval temporal logic and AnaTempura." Thesis, De Montfort University, 2012. http://hdl.handle.net/2086/6900.

Full text
Abstract:
Transactional memory (TM) is a promising lock-free synchronisation technique which offers a high-level abstract parallel programming model for future chip multiprocessor (CMP) systems. Moreover, it adapts the well-established popular paradigm of transactions and thus provides a general and flexible way to allow programs to read and modify disparate memory locations atomically as a single operation. In this thesis, we propose a general framework for validating a TM design, starting from a formal specification into a hardware implementation, with its underpinning theory and refinement. A methodo
APA, Harvard, Vancouver, ISO, and other styles
8

Chakrapani, Rao Arun. "A visual framework for formal systems development using interval temporal logic." Thesis, De Montfort University, 2002. http://hdl.handle.net/2086/13288.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Magnusson, Martin. "Deductive Planning and Composite Actions in Temporal Action Logic." Licentiate thesis, Linköping : Department of Computer and Information Science, Linköpings universitet, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-9726.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Alsarhani, Sami. "Reasoning about history based access control policy using past time operators of interval temporal logic." Thesis, De Montfort University, 2014. http://hdl.handle.net/2086/10406.

Full text
Abstract:
Interval Temporal Logic (ITL) is a flexible notation for the propositional and first-order logical reasoning about periods of time that exist in specifications of hardware and software systems. ITL is different from other temporal logics since it can deal with both sequential and parallel composition and provides powerful and extensible specification and verification methods for reasoning about properties such as safety, time projection and liveness. Most imperative programming constructs can be seen as ITL formula that form the basis of an executable framework called Tempura that is used for
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Interval temporal logic"

1

Rao, Arun Chakrapani. A visual framework for formal systems development using interval temporal logic. De Montfort University, 2002.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Interval temporal logic"

1

Umamageswaran, Kothanda, Sheetanshu L. Pandey, and Philip A. Wilsey. "Interval Temporal Logic." In Formal Semantics and Proof Techniques for Optimizing VHDL Models. Springer US, 1999. http://dx.doi.org/10.1007/978-1-4615-5123-2_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Della Monica, Dario, Angelo Montanari, Aniello Murano, and Pietro Sala. "Prompt Interval Temporal Logic." In Logics in Artificial Intelligence. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-48758-8_14.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Montanari, Angelo. "Back to Interval Temporal Logics." In Logic Programming. Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-89982-2_4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Schockaert, Steven, Martine De Cock, and Etienne E. Kerre. "Imprecise Temporal Interval Relations." In Fuzzy Logic and Applications. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11676935_13.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Melliar-Smith, P. M. "Extending interval logic to real time systems." In Temporal Logic in Specification. Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51803-7_29.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Cau, Antonio, and Hussein Zedan. "Refining interval temporal logic specifications." In Transformation-Based Reactive Systems Development. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63010-4_6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Di Giampaolo, Barbara, Salvatore La Torre, and Margherita Napoli. "Parametric Metric Interval Temporal Logic." In Language and Automata Theory and Applications. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-13089-2_21.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Thompson, Simon. "Constructive Interval Temporal Logic in Alf." In Applied Logic Series. Springer Netherlands, 2000. http://dx.doi.org/10.1007/978-94-015-9586-5_19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Allen, James F., and George Ferguson. "Actions and Events in Interval Temporal Logic." In Spatial and Temporal Reasoning. Springer Netherlands, 1997. http://dx.doi.org/10.1007/978-0-585-28322-7_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Brunello, Andrea, Guido Sciavicco, and Ionel Eduard Stan. "Interval Temporal Logic Decision Tree Learning." In Logics in Artificial Intelligence. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-19570-0_50.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Interval temporal logic"

1

Baird, Luke, and Samuel Coogan. "Interval Signal Temporal Logic for Robust Optimal Control." In 2024 IEEE 63rd Conference on Decision and Control (CDC). IEEE, 2024. https://doi.org/10.1109/cdc56724.2024.10886444.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Schewe, Sven, and Cong Tian. "Synthesising Classic and Interval Temporal Logic." In 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2011. http://dx.doi.org/10.1109/time.2011.19.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Dimitrov, J. "Interval Temporal Logic (ITL) semantics for Verilog." In IEE Colloquium Hardware-Software Co-Design. IEE, 2000. http://dx.doi.org/10.1049/ic:20000597.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Bresolin, Davide, Pietro Sala, Dario Della Monica, Angelo Montanari, and Guido Sciavicco. "A Decidable Spatial Generalization of Metric Interval Temporal Logic." In 2010 17th International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2010. http://dx.doi.org/10.1109/time.2010.22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Dokhanchi, Adel, Bardh Hoxha, and Georgios Fainekos. "Metric interval temporal logic specification elicitation and debugging." In 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE). IEEE, 2015. http://dx.doi.org/10.1109/memcod.2015.7340472.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

El-kustaban, Amin, Ben Moszkowski, and Antonio Cau. "Formalising of Transactional Memory Using Interval Temporal Logic (ITL)." In 2012 Spring Congress on Engineering and Technology (S-CET). IEEE, 2012. http://dx.doi.org/10.1109/scet.2012.6342060.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Al Amro, Sulaiman, and Antonio Cau. "Behaviour-based virus detection system using Interval Temporal Logic." In 2011 6th International Conference on Risks and Security of Internet and Systems. IEEE, 2011. http://dx.doi.org/10.1109/crisis.2011.6061544.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Bresolin, Davide, Dario Della Monica, Valentin Goranko, Angelo Montanari, and Guido Sciavicco. "The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border." In 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME). IEEE, 2011. http://dx.doi.org/10.1109/time.2011.21.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Zhou, Qinglei, Wei Hu, and Weijun Zhu. "Detection of Mailbomb Attacks Base on Time Interval Temporal Logic." In 2015 International Conference on Computational Intelligence and Communication Networks (CICN). IEEE, 2015. http://dx.doi.org/10.1109/cicn.2015.211.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Zhu, Weijun, Qinglei Zhou, and Ping Li. "Intrusion detection based on model checking timed interval temporal logic." In 2010 IEEE International Conference on Information Theory and Information Security (ICITIS). IEEE, 2010. http://dx.doi.org/10.1109/icitis.2010.5689549.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Interval temporal logic"

1

Lutz, Carsten. Interval-based Temporal Reasoning with General TBoxes. Aachen University of Technology, 2000. http://dx.doi.org/10.25368/2022.109.

Full text
Abstract:
Aus der Motivation: Description Logics (DLs) are a family of formalisms well-suited for the representation of and reasoning about knowledge. Whereas most Description Logics represent only static aspects of the application domain, recent research resulted in the exploration of various Description Logics that allow to, additionally, represent temporal information, see [4] for an overview. The approaches to integrate time differ in at least two important aspects: First, the basic temporal entity may be a time point or a time interval. Second, the temporal structure may be part of the semantics (y
APA, Harvard, Vancouver, ISO, and other styles
2

Baader, Franz, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, and Veronika Thost. Metric Temporal Description Logics with Interval-Rigid Names (Extended Version). Technische Universität Dresden, 2017. http://dx.doi.org/10.25368/2022.233.

Full text
Abstract:
In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow to formulate constraints on how long it may take until the property is satisfied. While most of the work on combining Description Logics (DLs) with temporal logics has concentrated on qualitative temporal logics, there has recently been a growing interest in extending this work to the quantitative case. In this paper, we complement existing results on the combination of DLs with metric temporal logics over the natural numbers by introducing
APA, Harvard, Vancouver, ISO, and other styles
3

Zarrieß, Benjamin, and Patrick Koopmann. On the Complexity of Verifying Timed Golog Programs over Description Logic Actions (Extended Version). Technische Universität Dresden, 2018. http://dx.doi.org/10.25368/2022.241.

Full text
Abstract:
Golog programs allow to model complex behaviour of agents by combining primitive actions defined in a Situation Calculus theory using imperative and non-deterministic programming language constructs. In general, verifying temporal properties of Golog programs is undecidable. One way to establish decidability is to restrict the logic used by the program to a Description Logic (DL), for which recently some complexity upper bounds for verification problem have been established. However, so far it was open whether these results are tight, and lightweight DLs such as EL have not been studied at all
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Interval temporal logic' for particular source types:
Journal articles Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography