The following pages link to (Q4454845):
Displaying 8 items.
- Completeness of hyper-resolution via the semantics of disjunctive logic programs (Q1041788) (← links)
- Specifying program properties using modal fixpoint logics: a survey of results (Q2284176) (← links)
- Multimodal logic programming (Q2503328) (← links)
- The modal query language MDatalog (Q2762271) (← links)
- SLR inference: An inference system for fixed-mode logic programs, based on SLR parsing (Q4208852) (← links)
- (Q4580320) (← links)
- Logic Programming (Q5313209) (← links)
- Logics in Artificial Intelligence (Q5394130) (← links)