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
- \textsc{Tor}: modular search with hookable disjunction
- Representations for robot knowledge in the \textsc{KnowRob} framework
- Learning efficient logic programs
- Using SWISH to realize interactive web-based tutorials for logic-based languages
- 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
- Integrating finite domain and set constraints into a set-based constraint language
- Logic Programming with Graph Automorphism: Integratingnautywith Prolog (Tool Description)
- Performing fully parallel constraint logic programming on a quantum annealer
- Optimizing probabilities in probabilistic logic programs
- 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
- Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
- Advances in integrative statistics for logic programming
- Probabilistic inductive constraint logic
- Constraint logic programming with polynomial constraints over finite domains
- Efficient Low-Level Connection Tableaux
- Making ProB Compatible with SWI-Prolog
- Search combinators
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Learning hierarchical probabilistic logic programs
- Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning
- Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles
- Planning for an efficient implementation of hypothetical Bousi\(\sim\)Prolog
- Causal inference in cplint
- The Boolean constraint solver of SWI-Prolog (system description)
- Prolog Technology Reinforcement Learning Prover
- Logic Programming
- An Algebraic Approach to Time-Span Reduction
- On dual programs in co-logic programming
This page was built for software: SWI-Prolog
