The following pages link to SWI-Prolog (Q32763):
Displaying 25 items.
- Advances in integrative statistics for logic programming (Q324669) (← links)
- Search combinators (Q487659) (← links)
- Meta-interpretive learning from noisy images (Q1621883) (← links)
- Causal inference in cplint (Q1679666) (← links)
- Information-gain computation in the \textsc{Fifth} system (Q1726365) (← links)
- Probabilistic inductive constraint logic (Q2051275) (← links)
- Learning hierarchical probabilistic logic programs (Q2071314) (← links)
- \texttt{Gauss-lintel}, an algorithm suite for exploring chord diagrams (Q2128824) (← links)
- Recursive rules with aggregation: a simple unified semantics (Q2151406) (← links)
- Automated generation of control concepts annotation rules using inductive logic programming. System description (Q2163169) (← links)
- Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles (Q2188781) (← links)
- Learning higher-order logic programs (Q2203320) (← links)
- A subdivision algorithm to reason on high-degree polynomial constraints over finite domains (Q2294575) (← links)
- Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form (Q2363599) (← links)
- 3D robotic mapping. The simultaneous localization and mapping problem with six degrees of freedom (Q2377599) (← links)
- Representations for robot knowledge in the \textsc{KnowRob} framework (Q2407430) (← links)
- Learning efficient logic programs (Q2425246) (← links)
- Lifted discriminative learning of probabilistic logic programs (Q2425249) (← links)
- \textsc{Tor}: modular search with hookable disjunction (Q2441515) (← links)
- On temporal logic S4Dbr (Q2471628) (← links)
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus (Q2628297) (← links)
- The Boolean Constraint Solver of SWI-Prolog (System Description) (Q2798256) (← links)
- Pengines: Web Logic Programming Made Easy (Q2931263) (← links)
- Integrating Finite Domain and Set Constraints into a Set-based Constraint Language (Q3400565) (← links)
- Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning (Q5862470) (← links)
