Cited in
(only showing first 100 items - show all)- ACIDE
- On dual programs in co-logic programming
- 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
- scientific article; zbMATH DE number 7453116 (Why is no real title available?)
- \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
- Integrating finite domain and set constraints into a set-based constraint language
- Concolic testing in logic programming
- ASPeRiX
- CLPS-B
- TOMP
- lolliCoP
- TCHR
- JEOPS
- HYPROLOG
- TRIPLE
- DASWAM
- Smodels
- clpfd
- CDAOstore
- Prolog
- wamcc
- B-Prolog
- CP-logic
- ProbLog
- PITA
- NoMoRe
- YAP-Prolog
- Mercury
- TreeTagger
- Likelog
- DLog
- leanTAP
- Aleph
- Ciao
- CiaoPP
- Pengines
- SICStus
- jPET
- NP Datalog
- CAT
- PolyFARM
- OPTYap
- XSB
- randoCoP
- SparQ
- Cyc
- PRISM
- GHC
- FRIL
- clpb
- GraphLog
- KANREN
- CHR
- daVinci
- OpenSLAM
- PonyGE2
- KnowRob
- cplint
- proSQLite
- Radish
- MCINTYRE
- pl-nauty
- IDP
- Jess
- PARLOG
- FOIL
- GOLEM
- plml
- Real
- April
- NewMDSX
- Binder
- LPaaS
- HaLoop
- Deqo
- JSetL
- PRIZ
- anthem
- PIDoc
- SWISH DataLab
- CoDe
- Kaskade
- DLPEQ
- TreeRePair
- lpeq
- TED
- PRISM-PSY
This page was built for software: SWI-Prolog
