Searching for "Integrating Temporal Logics." – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
Integrating Temporal Logics
- … Integrating Temporal Logics Yifeng Chen and Zhiming Liu Abstract In this paper, we study the predicative…
- Cited by 4 (3 self) – Add To MetaCart
-
Integrating Temporal Logics and Model Checking Algorithms
- …Integrating Temporal Logics and Model Checking Algorithms ? Teodor Rus and Eric Van Wyk…
- Cited by 7 (7 self) – Add To MetaCart
-
Using Temporal Logic to integrate Goals and Qualitative Preferences into Agent Programming
- …Using Temporal Logic to integrate Goals and Qualitative Preferences into Agent Programming Koen V…
- Cited by 3 (2 self) – Add To MetaCart
-
Incorporation of Temporal Logic Control into Plan Operators
- … investigate the integration of temporal logic control information into plan operators. For a given control…
- Cited by 12 (0 self) – Add To MetaCart
-
Ramification Analysis With Structured News Reports Using Temporal Argumentation
- …, we will integrate a temporal logic with a consistency-based argumentation system leading to a richer…
- Cited by 1 (1 self) – Add To MetaCart
-
An Integration of Model Checking with Automated Proof Checking
- … concurrently with a lookaheadfetch unit. Our basic approach can be generalized to also integrate temporal logic…
- Cited by 84 (8 self) – Add To MetaCart
-
Model-Checking and Program Analysis: Preliminaries
- … (1998), pages 459-471. [24] T. Rus and E. V. Wyk. Integrating Temporal Logics and Model Checking…
- Add To MetaCart
-
Active Databases as Information Systems
- … by their absence in ADBs. 3. Integrity Constraints and Temporal Logic Active database rules provide a powerful…
- Cited by 4 (1 self) – Add To MetaCart
-
Temporal and Modal Logic Based Event Languages for the Development of Reactive Application Systems
- … aspects will be published in a later paper. 3.1 The Integration of Temporal Logic in the EDA to Deal…
- Add To MetaCart
-
Guiding and Refining Simulation using Temporal Logic
- … satisfy the temporal logic expressions. Behavior refinement integrates numeric information contained…
- Cited by 5 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
