"A Temporal Logic for Reasoning About Processes and Plans."

Drew V. McDermott (1982)

Details and statistics

DOI: 10.1207/S15516709COG0602_1

access: closed

type: Journal Article

metadata version: 2020-06-04

a service of  Schloss Dagstuhl - Leibniz Center for Informatics