scientific article; zbMATH DE number 67449

MaRDI QIDQ4012172zbMATH OpenFDO

Authors Thomas Guckenbiehl

Publication date 27 September 1992

zbMATH Keywords

persistence factspersistence resolutiontemporal reasoningtemporal unification

Mathematics Subject Classification ID

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

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

(7)

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

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)