×

Found 4 Software Packages (Results 1–4)

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)

FLORA

Software Authors:   Yang, Guizhen; Kifer, Michael
Referenced in: 10 Publications (2000–2006)
Related Software: XSB; TRIPLE; HiLog; KQML; DAML+OIL
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

VPM

Software Authors:   Dániel Varró, András Pataricza
Referenced in: 4 Publications (2005–2007)
Related Software: VIATRA2; PROGRES; AToM3; Fujaba; Graph transformation benchmarks; GXL; …
Main Fields: Computer science (68-XX)

MWeb

Software Authors:   Analyti, Anastasia; Antoniou, Grigoris; Damasio, Carlos Viegas
Referenced in: 3 Publications (2011–2015)
Related Software: SPARQL; Smodels; TRIPLE; N3Logic; XSB; swrl; …
Main Fields: Computer science (68-XX)