×

Found 24 Software Packages (Results 1–24)

ProbLog

Software Authors:   Renkens, Joris; Van Den Broeck, Guy; Nijssen, Siegfried
Referenced in: 103 Publications (2007–2022)
Related Software: PRISM; PITA; CP-logic; Church; BLOG; YAP-Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

FRIL

Software Authors:   Baldwin, J. F.; Martin, T. P.; Pilsworth, B. W.
Referenced in: 37 Publications (1987–2020)
Related Software: Likelog; FPROLOG; XPath; XQuery; Ciao; Rfuzzy; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)

PITA

Software Authors:   Riguzzi, Fabrizio; Swift, Terrance
Referenced in: 24 Publications (2010–2022)
Related Software: ProbLog; CP-logic; PRISM; MCINTYRE; XSB; Church; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

CP-logic

Software Authors:   Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice
Referenced in: 19 Publications (2009–2022)
Related Software: ProbLog; PITA; PRISM; MCINTYRE; BLOG; XSB; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

FODD-Planner

Software Authors:   Joshi, S.; Khardon, R.
Referenced in: 13 Publications (2008–2021)
Related Software: FluCaP; Graphplan; ProbLog; GOLOG; PEORL; REBA; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DeepProbLog

Software Authors:   Robin Manhaeve, Sebastijan Dumančić, Angelika Kimmig, Thomas Demeester, Luc De Raedt
Referenced in: 13 Publications (2020–2022)
Related Software: ProbLog; TensorLog; NeurASP; Adam; CLEVR dataset; DL2; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

FACTORIE

Software Authors:   Andrew McCallum, Karl Schultz, Sameer Singh
Referenced in: 11 Publications (2011–2020)
Related Software: Church; IBAL; ProbLog; BLOG; Haskell; Infer.NET; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

CryptHOL

Software Authors:   Basin, D., Lochbihler, A., Sefidgar, S.R.
Referenced in: 8 Publications (2017–2022)
Related Software: Isabelle/HOL; Archive Formal Proofs; HOL; EasyCrypt; Isabelle; Lifting; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

MCINTYRE

Software Authors:   Riguzzi, F.
Referenced in: 7 Publications (2015–2019)
Related Software: ProbLog; PITA; CP-logic; PRISM; cplint; SWI-Prolog; …
Main Fields: Computer science (68-XX)

miniKanren

Software Authors:   Daniel P. Friedman, William E. Byrd, Oleg Kiselyov
Referenced in: 8 Publications (2008–2022)
Related Software: KANREN; Hakaru; TOY; Church; Mercury; PITA; …
Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

CertiCrypt

Software Authors:   Barthe, Gilles; Grégoire, Benjamin; Zanella Béguelin, Santiago
Referenced in: 5 Publications (2009–2017)
Related Software: Coq; Coq/SSReflect; EasyCrypt; kepler98; seL4
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

cplint

Software Authors:   Riguzzi, Fabrizio; Cota, Giuseppe; Bellodi, Elena; Zese, Riccardo
Referenced in: 6 Publications (2017–2022)
Related Software: ProbLog; SWI-Prolog; PRISM; XSB; PITA; CP-logic; …
Main Fields: Computer science (68-XX)

NMRDPP

Software Authors:   Thiebaux, S.; Gretton, C.; Slaney, J.; Price, D.; Kabanza, F.
Referenced in: 6 Publications (2006–2021)
Related Software: Graphplan; GitHub; MONA; PRISM; FluCaP; FODD-Planner; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

PFLP

Software Authors:   Sandra Dylus, Jan Christiansen, Finn Teegen
Referenced in: 3 Publications (2020–2022)
Related Software: Church; EasyCheck; CHR.js; FACTORIE; PAKCS; FlatCurry; …
Main Fields: Computer science (68-XX)

REBA

Software Authors:   Sridharan, Mohan; Gelfond, Michael; Zhang, Shiqi; Wyatt, Jeremy
Referenced in: 4 Publications (2019–2021)
Related Software: PEORL; CCalc; FODD-Planner; Smodels; GitHub; ALM; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

KReator

Software Authors:   Finthammer, Marc; Thimm, Matthias
Referenced in: 3 Publications (2012)
Related Software: Alchemy; ProbLog
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PrASP

Software Authors:   Nickles, Matthias
Referenced in: 3 Publications (2016–2022)
Related Software: PRISM; ProbLog; DeepProbLog; cplint; SCIFF; XSB; …
Main Fields: Computer science (68-XX)

Pronto

Software Authors:   Pavel Klinov; Bijan Parsia
Referenced in: 3 Publications (2015–2017)
Related Software: Ontop; MayBMS; LUBM; ProbLog; MSUnCore; Chaff; …
Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

HyPER

Software Authors:   P. Kouki, S. Fakhraei, J. Foulds, M. Eirinaki, L. Getoor
Referenced in: 2 Publications (2017)
Related Software: ClaimEval; BLOG; Edward; mplp2; foxPSL; SPOOK; …
Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Warmr

Software Authors:   R. D. King, A. Srinivasan, L. Dehaspe
Referenced in: 2 Publications (2005–2012)
Related Software: CrossMine; MrBayes; CloSpan; CloseGraph; RadCon; TreeDT; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

PLINI

Software Authors:   Albanese, Massimiliano; Broecheler, Matthias; Grant, John; Martinez, Maria Vanina; Subrahmanian, V.S.
Referenced in: 0 Publications
Related Software:
Main Fields:

ProPPR

Software Authors:   William Yang Wang; Kathryn Mazaitis; William W. Cohen
Referenced in: 1 Publication (2020)
Related Software: TensorLog; Adam; TensorFlow; Church; ProbLog; SciPy; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

QASM

Software Authors:   Tavares, Carlos
Referenced in: 1 Publication (2020)
Related Software: openQASM
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Quantum theory (81-XX)

Quasi-Borel Spaces

Software Authors:   Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato
Referenced in: 1 Publication (2017)
Related Software: Venture; Church
Main Fields: Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)