Search Sciweavers | Sciweavers

1167 search results - page 69 / 234

» A Really Temporal Logic

123

click to vote

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

15 years 7 months ago

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

105

click to vote

AAAI
2008

125views Intelligent Agents» more AAAI 2008»

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

15 years 6 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 6 months ago

Download www.aamas-conference.org

Wojciech Jamroga

claim paper

Read More »

125

click to vote

BIRTHDAY
2005
Springer

101views Applied Computing» more BIRTHDAY 2005»

Modelling Evolvable Systems: A Temporal Logic View

15 years 6 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 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers