Intensional logic programming

Authors:
Mehmet Ali Orgun
Affiliations:
-
Venue:
Intensional logic programming
Year:
1991

Citing 0
Cited 3

The Branching-Time Transformation Technique for Chain Datalog Programs

Journal of Intelligent Information Systems
Branching-time logic programming: the language Cactus and its applications

Computer Languages
Logical foundations for more expressive declarative temporal logic programming languages

ACM Transactions on Computational Logic (TOCL)

Quantified Score

Hi-index	0.00

Visualization

Abstract