scientific article; zbMATH DE number 67449

MaRDI QIDQ4012172zbMATHFDO

Authors Thomas Guckenbiehl

Publication date 27 September 1992

zbMATH Keywords

temporal reasoningpersistence factspersistence resolutiontemporal unification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Recommendations

• Applying the persistent set approach in temporal reasoning
• scientific article; zbMATH DE number 67448
• Publication:4952310
• Temporal theories of reasoning
• Temporal logics in AI: semantical and ontological considerations

Cited in

(6)

• Autarkies and Persistencies for QUBO
• Property persistence in the situation calculus
• Programming in metric temporal logic
• A temporal revision model for reasoning about world change
• scientific article; zbMATH DE number 90778 (Why is no real title available?)
• Persistence Steenrod modules

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4012172)