Pages that link to "Item:Q679335"
From MaRDI portal
The following pages link to Executable temporal logic for non-monotonic reasoning (Q679335):
Displaying 10 items.
- Programming in temporal-nonmonotonic reasoning (Q1181723) (← links)
- Minimal temporal epistemic logic (Q1815428) (← links)
- Nonclausal deduction in first-order temporal logic (Q3474286) (← links)
- Implementing a fair monodic temporal logic prover (Q3568221) (← links)
- PITL2MONA: Implementing a Decision Procedure for Propositional Interval Temporal Logic (Q3643268) (← links)
- (Q3806791) (← links)
- A nonmonotonic temporal logic and its Kripke semantics (Q3981716) (← links)
- A compositional reasoning system for executing nonmonotonic theories of reasoning (Q4422635) (← links)
- Formal semantics of meta-level architectures: Dynamic control of reasoning (Q4785088) (← links)
- Semantic formalization of interactive reasoning functionality (Q4785094) (← links)