SWI-Prolog
From MaRDI portal
Cited in
(only showing first 100 items - show all)- ASPeRiX
- CLPS-B
- QuickFOIL
- RelNN
- TOMP
- TCHR
- lolliCoP
- JEOPS
- TRIPLE
- HYPROLOG
- Meta-interpretive learning from noisy images
- Causal inference in cplint
- Smodels
- DASWAM
- Information-gain computation in the \textsc{Fifth} system
- clpfd
- CDAOstore
- Prolog
- wamcc
- ProbLog
- CP-logic
- YAP-Prolog
- B-Prolog
- PITA
- NoMoRe
- TreeTagger
- Mercury
- Probabilistic inductive constraint logic
- Learning hierarchical probabilistic logic programs
- Likelog
- \texttt{Gauss-lintel}, an algorithm suite for exploring chord diagrams
- Recursive rules with aggregation: a simple unified semantics
- Automated generation of control concepts annotation rules using inductive logic programming. System description
- DLog
- Spatial reasoning about qualitative shape compositions. Composing qualitative lengths and angles
- leanTAP
- Learning higher-order 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
- 3D robotic mapping. The simultaneous localization and mapping problem with six degrees of freedom
- Ciao
- CiaoPP
- Aleph
- Representations for robot knowledge in the \textsc{KnowRob} framework
- Learning efficient logic programs
- Lifted discriminative learning of probabilistic logic programs
- Pengines
- SICStus
- \textsc{Tor}: modular search with hookable disjunction
- jPET
- On temporal logic S4Dbr
- NP Datalog
- PolyFARM
- XSB
- CAT
- OPTYap
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
- SparQ
- randoCoP
- The Boolean constraint solver of SWI-Prolog (system description)
- Cyc
- Pengines: Web Logic Programming Made Easy
- FRIL
- clpb
- KANREN
- GraphLog
- CHR
- Advances in integrative statistics for logic programming
- daVinci
- PonyGE2
- OpenSLAM
- KnowRob
- Integrating finite domain and set constraints into a set-based constraint language
- proSQLite
- Efficient Low-Level Connection Tableaux
- Radish
- cplint
- MCINTYRE
- pl-nauty
- IDP
- PRISM
- Jess
- PARLOG
- GHC
- Real
- plml
- FOIL
- GOLEM
- April
- NewMDSX
- Binder
- LPaaS
- HaLoop
- Deqo
- JSetL
- PRIZ
- SWISH DataLab
- PIDoc
- anthem
- TreeRePair
This page was built for software: SWI-Prolog
