Q4263003
type: Item
instance of: scholarly article
zbMATH Open document ID: 0934.03046
author: Leendert van der Torre
publication date: 1999-09-22T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 1341464
zbMATH Keywords: planning
zbMATH Keywords: defeasible goals
zbMATH Keywords: labelled deductive systems
zbMATH Keywords: proof theory
zbMATH Keywords: labelled logic
zbMATH Keywords: phasing
MaRDI profile type: MaRDI publication profile
Recommended article: Detecting non-provable goals
Recommended article: Q4420273
Recommended article: Q4833780
Recommended article: Soft Goals Can Be Compiled Away
Recommended article: Defeasible conditionalization
Recommended article: From Fuzzy Beliefs to Goals
description: scientific article; zbMATH DE number 1341464