Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

LPAR
1994
Springer

favoriteEmaildiscussreport

75views Automated Reasoning» more LPAR 1994»

Projection in Temporal Logic Programming

13 years 9 months ago

Projection in Temporal Logic Programming

Download www.cs.ncl.ac.uk

Zhenhua Duan, Maciej Koutny, Chris Holt

Real-time Traffic

Automated Reasoning | LPAR 1994 |

claim paper

Related Content

» METATEM A Framework for Programming in Temporal Logic

» A Logic Programming System for Evolving Programs with Temporal Operators

» Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic

» Temporal Disjunctive Logic Programming

» AlgebratoSQL Query Translation for SpatioTemporal Databases

» From the Past to the Future Executing Temporal Logic Programs

» A Normal Form for Linear Temporal Equilibrium Logic

» Verifying Dribble Agents

» Temporal Equilibrium Logic A First Approach

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1994
Where	LPAR
Authors	Zhenhua Duan, Maciej Koutny, Chris Holt

Comments (0)