Search Sciweavers | Sciweavers

3028 search results - page 83 / 606

» Integrating Temporal Logics

click to vote

CORR
2010
Springer

70views Education» more CORR 2010»

Bounded Reachability for Temporal Logic over Constraint Systems

13 years 8 months ago

Download www.cs.unicam.it

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

claim paper

Read More »

click to vote

DLOG
2010

115views Automated Reasoning» more DLOG 2010»

A Compatible Approach to Temporal Description Logics

13 years 8 months ago

Download www.cs.uwaterloo.ca

Norihiro Kamide

claim paper

Read More »

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

13 years 8 months ago

Download www.cs.nmsu.edu

Gourinath Banda, John P. Gallagher

claim paper

Read More »

click to vote

LPAR
2010
Springer

148views Automated Reasoning» more LPAR 2010»

Relentful Strategic Reasoning in Alternating-Time Temporal Logic

13 years 8 months ago

Download www.cs.rice.edu

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi

claim paper

Read More »

click to vote

TOCL
2010

100views more TOCL 2010»

A theory of sampling for continuous-time metric temporal logic

13 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers