Pages that link to "Item:Q1001355"
From MaRDI portal
The following pages link to Knowledge representation, reasoning and integration using temporal logic with clocks (Q1001355):
Displaying 6 items.
- An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
- Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
- A METHOD FOR TEMPORAL KNOWLEDGE INTEGRATION USING INDETERMINATE MODEL OF TIME (Q2790362) (← links)
- Resolution for temporal logics of knowledge (Q4209289) (← links)
- Knowledge representation with multiple logical theories and time (Q4421284) (← links)
- Representation and processing of instantaneous and durative temporal phenomena (Q6102256) (← links)