scientific article; zbMATH DE number 67449

zbMATH Open0746.68080MaRDI QIDQ4012172FDOQ4012172

Authors: Thomas Guckenbiehl 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

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

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)

Cited In (6)

• Persistence Steenrod modules
• Programming in metric temporal logic
• A temporal revision model for reasoning about world change
• Property persistence in the situation calculus
• Autarkies and Persistencies for QUBO
• Title not available (Why is that?)

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)