The following pages link to (Q4391450):
Displaying 10 items.
- Completing causal networks by meta-level abduction (Q374193) (← links)
- Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
- On proving confluence modulo equivalence for Constraint Handling Rules (Q511019) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Beyond graph neural networks with lifted relational neural networks (Q2071316) (← links)
- Efficient and flexible access control via Jones-optimal logic program specialisation (Q2271897) (← links)
- Meta-logic programming for a synonymy logic (Q2380338) (← links)
- Towards Contingent World Descriptions in Description Logics (Q5006820) (← links)
- (Q5020651) (← links)
- Adding Metalogic Features to Knowledge Representation Languages* (Q5158659) (← links)
