Search the World's Largest Database of Information Science & Technology Terms & Definitions
InfInfoScipedia LogoScipedia
A Free Service of IGI Global Publishing House
Below please find a list of definitions for the term that
you selected from multiple scholarly research resources.

What is Temporal Logic Query

Chapter 718
Encyclopedia of Information Science and Technology, Third Edition
A temporal logic query is a temporal logic formula in which a variable appears. To solve this query we replace the variable by states that make the formula correct in the model.
Published in Chapter:
ScaleSem Approach to Check and to Query Semantic Graphs
Mahdi Gueffaz (University of Burgundy, France), Sylvain Rampacek (University of Burgundy, France), and Christophe Nicolle (University of Burgundy, France)
Copyright: © 2015 |Pages: 9
DOI: 10.4018/978-1-4666-5888-2.ch718
Full Text Chapter Download: US $37.50 Add to Cart
eContent Pro Discount Banner
InfoSci OnDemandECP Editorial ServicesAGOSR