The logic of totally and partially ordered plans: a deductive database approach

• 1 January 1997
• journal article
• Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
• Vol. 19  (1/2) , 27-58
• https://doi.org/10.1023/a:1018995303452

Abstract

Keywords

• DEDUCTIVE
• MONOTONIC
• FORMALIZATIONS
• REPRESENTATION
• TOTALLY AND PARTIALLY
• LOGIC OF TOTALLY
• PARTIALLY ORDERED PLANS