On temporal logic versus datalog

Irène Guessarian; Eugénie Foustoucos; Theodore Andronikos; Foto Afrati

doi:10.1016/s0304-3975(02)00447-4

ScienceGate Book Chapters

JOURNAL ARTICLE

On temporal logic versus datalog

Irène Guessarian Eugénie Foustoucos Theodore Andronikos Foto Afrati

Year: 2003 Journal: Theoretical Computer Science Vol: 303 (1)Pages: 103-133 Publisher: Elsevier BV

DOI: 10.1016/s0304-3975(02)00447-4

Get Full-Text PDF Get Analytical Report

Keywords:

Datalog Decidability Programming language Modal logic Expressive power Semantics (computer science) Computer science Simple (philosophy) Modal Discrete mathematics Mathematics Theoretical computer science

Metrics

Cited By

0.71

FWCI (Field Weighted Citation Impact)

Refs

0.67

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Logic, Reasoning, and Knowledge

Physical Sciences → Computer Science → Artificial Intelligence

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

On temporal logic versus datalog

Metrics

Citation History

Topics

Related Documents

Querying datalog programs with temporal logic

Datalog and Logic Databases

Datalog and Logic Databases

Datalog vs first-order logic

Datalog vs. first-order logic