Search Sciweavers | Sciweavers

1283 search results - page 75 / 257

» A Survey on Temporal Logics

128

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 »

155

click to vote

BIRTHDAY
2005
Springer

101views Applied Computing» more BIRTHDAY 2005»

Modelling Evolvable Systems: A Temporal Logic View

15 years 8 months ago

Download www.cs.man.ac.uk

Howard Barringer, David E. Rydeheard

claim paper

Read More »

click to vote

IJCAI
2007

140views Artificial Intelligence» more IJCAI 2007»

Non-monotonic Temporal Logics for Goal Specification

15 years 7 months ago

Download www.ijcai.org

Chitta Baral, Jicheng Zhao

claim paper

Read More »

126

click to vote

DAGSTUHL
1998

91views Software Engineering» more DAGSTUHL 1998»

Temporal Logic in Information Systems

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers