Sciweavers

1283 search results - page 22 / 257
» A Survey on Temporal Logics
Sort
View
85
Voted
EXACT
2008
15 years 15 days ago
Deriving Explanations From Partial Temporal Information
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
Jixin Ma, Brian Knight, Miltos Petridis
EUSFLAT
2009
137views Fuzzy Logic» more  EUSFLAT 2009»
14 years 8 months ago
Novel Methods for the Design of General Type-2 Fuzzy Sets based on Device Characteristics and Linguistic Labels Surveys
Fuzzy Logic Systems are widely recognized to be successful at modelling uncertainty in a large variety of applications. While recently interval type-2 fuzzy logic has been credited...
Christian Wagner, Hani Hagras
102
Voted
FOSSACS
2010
Springer
15 years 5 months ago
Counting CTL
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
François Laroussinie, Antoine Meyer, Eudes ...
91
Voted
DBPL
2001
Springer
113views Database» more  DBPL 2001»
15 years 2 months ago
Model-Checking Based Data Retrieval
In this paper we develop a new method for solving queries on semistructured data. The main idea is to see a database as a Kripke Transition System (a model) and a query as a formul...
Agostino Dovier, Elisa Quintarelli
CSR
2006
Springer
15 years 1 months ago
Expressiveness of Metric Modalities for Continuous Time
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...
Yoram Hirshfeld, Alexander Moshe Rabinovich