Search Sciweavers | Sciweavers

367 search results - page 2 / 74

» Temporal Reasoning for Procedural Programs

click to vote

LPAR
1994
Springer

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

13 years 9 months ago

Download www.cs.ncl.ac.uk

Zhenhua Duan, Maciej Koutny, Chris Holt

claim paper

Read More »

click to vote

CONCUR
2011
Springer

211views Distributed And Parallel Com...» more CONCUR 2011»

Reasoning about Threads with Bounded Lock Chains

12 years 5 months ago

Download www.cs.utexas.edu

The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataﬂow analysis. U...

Vineet Kahlon

claim paper

Read More »

click to vote

JISBD
2003

150views Software Engineering» more JISBD 2003»

Using Contextual Logic Programming for Temporal Reasoning

13 years 6 months ago

Download www.di.uevora.pt

The importance of temporal representation and reasoning is well known to the database community. Examples of such signiﬁcance are the languages TSQL2 and its follow up, SQL/Tempo...

Vítor Nogueira, Salvador Abreu, Gabriel Dav...

claim paper

Read More »

click to vote

IJIS
2002

79views more IJIS 2002»

Formal semantics of meta-level architectures: Dynamic control of reasoning

13 years 5 months ago

Download www.cs.vu.nl

Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...

Jan Treur

claim paper

Read More »

click to vote

ICLP
2001
Springer

94views Automated Reasoning» more ICLP 2001»

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

13 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers