Sciweavers

3028 search results - page 30 / 606

» Integrating Temporal Logics

118

TIME
2006
IEEE

92views Automated Reasoning» more TIME 2006»

A Decidable Temporal Logic for Events and States

15 years 10 months ago

A Decidable Temporal Logic for Events and States

Download www.csc.liv.ac.uk

Savas Konur

claim paper

Read More »

120

TIME
2005
IEEE

102views Automated Reasoning» more TIME 2005»

Temporal Logic with Predicate lambda-Abstraction

15 years 9 months ago

Temporal Logic with Predicate lambda-Abstraction

Download www.csc.liv.ac.uk

Alexei Lisitsa, Igor Potapov

claim paper

Read More »

117

TIME
2005
IEEE

98views Automated Reasoning» more TIME 2005»

Propositional Interval Temporal Logics: Some Promising Paths

15 years 9 months ago

Propositional Interval Temporal Logics: Some Promising Paths

Download users.dimi.uniud.it

Angelo Montanari

claim paper

Read More »

131

TIME
2003
IEEE

81views Automated Reasoning» more TIME 2003»

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning

15 years 9 months ago

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning

Download www.csc.liv.ac.uk

Clare Dixon, Cláudia Nalon, Michael Fisher

claim paper

Read More »

132

NGC
2000
Springer

124views Communications» more NGC 2000»

Temporal Disjunctive Logic Programming

15 years 3 months ago

Temporal Disjunctive Logic Programming

Download www.ionio.gr

In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...

Manolis Gergatsoulis, Panos Rondogiannis, Themis P...

claim paper

Read More »

« Prev « First page 30 / 606 Last » Next »