Reasoning about recurrence

DOI10.1002/INT.4550060503MaRDI QIDQ3361916zbMATH OpenOpenAlexFDO

Authors Johannes A. Koomen

Publication date 1991

Published in International Journal of Intelligent Systems (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/1802/5470

zbMATH Keywords

interval calculuspath logicreasoning about timerecurrence logicspatial logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 140366
• Temporal properties of repetitive entities
• scientific article; zbMATH DE number 1182796
• The problem of coincidence in a theory of temporal multiple recurrence
• Representation and reasoning with multi-point events

Cited in

(4)

• A non-reified temporal logic
• Representing Allen's properties, events, and processes
• Temporal properties of repetitive entities
• The problem of coincidence in a theory of temporal multiple recurrence

This page was built for publication: Reasoning about recurrence

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