Pages that link to "Item:Q3992994"
From MaRDI portal
The following pages link to From modal logic to deductive database. Introducing a logic based approach to artificial intelligence (Q3992994):
Displaying 5 items.
- Linear temporal logic symbolic model checking (Q465680) (← links)
- A natural semantics for modal logic over databases (Q1102937) (← links)
- Foundations of entity-relationship modeling (Q1353962) (← links)
- Dynamic reasoning with qualified syllogisms (Q1402719) (← links)
- Intensional First-Order Logic (Q5102486) (← links)