SWI-Prolog
From MaRDI portal
Software:32763
swMATH20950MaRDI QIDQ32763FDOQ32763
Author name not available (Why is that?)
Cited In (48)
- A new algorithm to automate inductive learning of default theories
- Information-gain computation in the \textsc{Fifth} system
- Backjumping is Exception Handling
- Learning higher-order logic programs
- Optimizing Probabilities in Probabilistic Logic Programs
- \textsc{Tor}: modular search with hookable disjunction
- Representations for robot knowledge in the \textsc{KnowRob} framework
- Learning efficient logic programs
- The Boolean Constraint Solver of SWI-Prolog (System Description)
- Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP
- Constraint Logic Programming with Polynomial Constraints over Finite Domains
- Pengines: Web Logic Programming Made Easy
- Meta-interpretive learning from noisy images
- Title not available (Why is that?)
- \texttt{Gauss-lintel}, an algorithm suite for exploring chord diagrams
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
- On temporal logic S4Dbr
- On relation between constraint answer set programming and satisfiability modulo theories
- 3D robotic mapping. The simultaneous localization and mapping problem with six degrees of freedom
- Concolic testing in logic programming
- Logic Programming with Graph Automorphism: Integratingnautywith Prolog (Tool Description)
- Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog
- Performing fully parallel constraint logic programming on a quantum annealer
- Recursive rules with aggregation: a simple unified semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automated generation of control concepts annotation rules using inductive logic programming. System description
- Advances in integrative statistics for logic programming
- Probabilistic inductive constraint logic
- Efficient Low-Level Connection Tableaux
- Making ProB Compatible with SWI-Prolog
- Search combinators
- Title not available (Why is that?)
- On Dual Programs in Co-Logic Programming
- Lifted discriminative learning of probabilistic logic programs
- A subdivision algorithm to reason on high-degree polynomial constraints over finite domains
- Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form
- Implementing type theory in higher order constraint logic programming
- Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages
- Title not available (Why is that?)
- Learning hierarchical probabilistic logic programs
- Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning
- Integrating Finite Domain and Set Constraints into a Set-based Constraint Language
- Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles
- Causal inference in cplint
- Prolog Technology Reinforcement Learning Prover
- Logic Programming
- An Algebraic Approach to Time-Span Reduction
This page was built for software: SWI-Prolog