JOURNAL ARTICLE

The Branching-Time Transformation Technique for Chain Datalog Programs

Panos RondogiannisManolis Gergatsoulis

Year: 2001 Journal:   Journal of Intelligent Information Systems Vol: 17 (1)Pages: 71-94   Publisher: Springer Science+Business Media
Keywords:
Datalog Computer science Programming language Unary operation Branching (polymer chemistry) Deductive database Expressive power Theoretical computer science Logic programming Program transformation Declarative programming Programming paradigm Inductive programming Discrete mathematics Mathematics

Metrics

4
Cited By
0.88
FWCI (Field Weighted Citation Impact)
37
Refs
0.82
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Topics

Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence
Logic, Reasoning, and Knowledge
Physical Sciences →  Computer Science →  Artificial Intelligence
Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics

Related Documents

BOOK-CHAPTER

Restructuring chain datalog programs

Anke Rieger

Lecture notes in computer science Year: 1997 Pages: 245-264
JOURNAL ARTICLE

Optimizing chain datalog programs and their inference procedures

Anke Rieger

Journal:   Technische Universität Dortmund Eldorado (Technische Universität Dortmund) Year: 1996
© 2026 ScienceGate Book Chapters — All rights reserved.