Sciweavers

1167 search results - page 70 / 234

» A Really Temporal Logic

100

Voted

DAGSTUHL
1998

91views Software Engineering» more DAGSTUHL 1998»

Temporal Logic in Information Systems

15 years 5 months ago

Temporal Logic in Information Systems

Download www.cs.uwaterloo.ca

Jan Chomicki, David Toman

claim paper

Read More »

83

Voted

SLP
1997

100views more SLP 1997»

Temporal Logic Model Checking (Abstract)

15 years 5 months ago

Temporal Logic Model Checking (Abstract)

Download www.info2.uqam.ca

Edmund M. Clarke

claim paper

Read More »

90

IJCAI
1993

98views Artificial Intelligence» more IJCAI 1993»

Constraint Deduction in an Interval-based Temporal Logic

15 years 5 months ago

Constraint Deduction in an Interval-based Temporal Logic

Download www.aaai.org

Jana Koehler, Ralf Treinen

claim paper

Read More »

117

Voted

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

Improved bounded model checking for a fair branching-time temporal epistemic logic

15 years 5 months ago

Improved bounded model checking for a fair branching-time temporal epistemic logic

Download www.cse.unsw.edu.au

Xiaowei Huang, Cheng Luo, Ron van der Meyden

claim paper

Read More »

66

CORR
2010
Springer

42views Education» more CORR 2010»

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

15 years 4 months ago

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

Download perseo.dif.um.es

Davide Bresolin, Pietro Sala, Guido Sciavicco

claim paper

Read More »

« Prev « First page 70 / 234 Last » Next »