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

14 years 10 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

14 years 10 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

14 years 9 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

14 years 9 months ago

Download www.cs.rice.edu

Fabio Mogavero, Aniello Murano, Moshe Y. Vardi

claim paper

Read More »

Voted

TOCL
2010

100views more TOCL 2010»

A theory of sampling for continuous-time metric temporal logic

14 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers