The following pages link to Logics in Artificial Intelligence (Q5394130):
Displaying 6 items.
- MOLOG: A system that extends PROLOG with modal logic (Q1079962) (← links)
- Multimodal logic programming using equational and order-sorted logic (Q1199813) (← links)
- Multimodal logic programming (Q2503328) (← links)
- A modal extension of logic programming: modularity, beliefs and hypothetical reasoning (Q4221295) (← links)
- Structuring logic programs: a modal approach (Q4311648) (← links)
- Logic Programming (Q5313209) (← links)