Search Sciweavers | Sciweavers

1860 search results - page 73 / 372

» A Temporal Logic of Robustness

124

click to vote

BANFF
1995

122views Distributed And Parallel Com...» more BANFF 1995»

Modal and Temporal Logics for Processes

15 years 10 months ago

Download homepages.inf.ed.ac.uk

Colin Stirling

claim paper

Read More »

156

click to vote

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

15 years 10 months ago

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

131

click to vote

AAAI
2008

125views Intelligent Agents» more AAAI 2008»

An AGM-Based Belief Revision Mechanism for Probabilistic Spatio-Temporal Logics

15 years 8 months ago

Download www.cert.fr

Austin Parker, Guillaume Infantes, V. S. Subrahman...

claim paper

Read More »

click to vote

ATAL
2008
Springer

188views Intelligent Agents» more ATAL 2008»

A temporal logic for Markov chains

15 years 8 months ago

Download www.aamas-conference.org

Wojciech Jamroga

claim paper

Read More »

158

click to vote

BIRTHDAY
2005
Springer

101views Applied Computing» more BIRTHDAY 2005»

Modelling Evolvable Systems: A Temporal Logic View

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers