Pages that link to "Item:Q4221295"
From MaRDI portal
The following pages link to A modal extension of logic programming: modularity, beliefs and hypothetical reasoning (Q4221295):
Displaying 9 items.
- Connectionist modal logic: representing modalities in neural networks (Q870254) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- A lightweight epistemic logic and its application to planning (Q2238679) (← links)
- Multimodal logic programming (Q2503328) (← links)
- Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter (Q2695506) (← links)
- Modality Argumentation Programming (Q3619462) (← links)
- Structuring logic programs: a modal approach (Q4311648) (← links)
- Abductive Reasoning for Continual Dialogue Understanding (Q5200463) (← links)
- Theory and Applications of Relational Structures as Knowledge Instruments (Q5902049) (← links)