On the expressiveness of temporal logic programming
type: Item
instance of: scholarly article
title: On the expressiveness of temporal logic programming
zbMATH Open document ID: 0826.68031
author: Marianne Baudinet
published in: Information and Computation
publication date: 1995-07-06T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 767820
zbMATH Keywords: temporal logic programming
zbMATH Keywords: TEMPLOG
zbMATH Keywords: PTEMPLOG
MaRDI profile type: Publication
full work available at URL: inco.1995.1036
OpenAlex ID: W2118391576
DOI: 10.1006/INCO.1995.1036
Recommended article: On the expressive power of temporal logic
Recommended article: Logical foundations for more expressive declarative temporal logic programming languages
Recommended article: Q4484477
Recommended article: Q3806791
Recommended article: Towards Temporal Contextual Logic Programming
Recommended article: Q3813270
Recommended article: Temporal logic programming
Recommended article: Q4733442
Recommended article: Temporal contextual logic programming
Recommended article: On the Expressiveness of Temporal Equilibrium Logic
description: scientific article; zbMATH DE number 767820