Search Sciweavers | Sciweavers

1283 search results - page 79 / 257

» A Survey on Temporal Logics

124

click to vote

MLQ
2010

78views more MLQ 2010»

Analyzing completeness of axiomatic functional systems for temporal × modal logics

15 years 4 months ago

Download www.matap.uma.es

Alfredo Burrieza, Inmaculada Perez de Guzmá...

claim paper

Read More »

click to vote

CORR
2010
Springer

70views Education» more CORR 2010»

Bounded Reachability for Temporal Logic over Constraint Systems

15 years 4 months ago

Download www.cs.unicam.it

Marcello M. Bersani, Achille Frigeri, Angelo Morze...

claim paper

Read More »

128

click to vote

DLOG
2010

115views Automated Reasoning» more DLOG 2010»

A Compatible Approach to Temporal Description Logics

15 years 4 months ago

Download www.cs.uwaterloo.ca

Norihiro Kamide

claim paper

Read More »

143

click to vote

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

15 years 4 months ago

Download www.cs.nmsu.edu

Gourinath Banda, John P. Gallagher

claim paper

Read More »

163

click to vote

LPAR
2010
Springer

148views Automated Reasoning» more LPAR 2010»

Relentful Strategic Reasoning in Alternating-Time Temporal Logic

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers