Datalog Cited in 282 Documents (1978–2022) Software Authors: Ceri, S., Gottlob, G., Tanca, L Related Software: ASSAT; Gringo; Clingo; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …
HiLog Cited in 47 Documents (1993–2021) Software Authors: Weidong Chen; Michael Kifer; David S. Warren Related Software: Hiord; swrl; XSB; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FLORA Cited in 10 Documents (2000–2006) Software Authors: Yang, Guizhen; Kifer, Michael Related Software: XSB; HiLog; TRIPLE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Datalog LITE Cited in 9 Documents (2002–2019) Software Authors: Gottlob, Georg; Grädel, Erich; Veith, Helmut Related Software: XPath; Ltur; ComputeTW; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PROTOS-L Cited in 7 Documents (1990–1996) Software Authors: Beierle, Christoph Related Software: Prolog Main Fields: Computer science (68-XX)
SATCHMOREBID Cited in 6 Documents (1995–2004) Software Authors: Loveland, Donald W.; Yahya, Adnan H. Related Software: SATCHMO; I-SATCHMO; DWAM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
kLog Cited in 6 Documents (2014–2022) Software Authors: Frasconi, Paolo; Costa, Fabrizio; De Raedt, Luc; De Grave, Kurt Related Software: ProbLog; PyTorch; Aleph; … Main Fields: Statistics (62-XX); Computer science (68-XX)
Asparagus Cited in 3 Documents (2005–2012) Software Authors: Christian Anger; Torsten Schaub; Miroslaw Truszczynski Related Software: ASSAT; TPTP; Runsolver; … Main Fields: Computer science (68-XX)
CDOL Cited in 4 Documents (1997–2002) Software Authors: Urban, Susan D.; Karadimce, Anton P.; Dietrich, Suzanne W.; Abdellatif, Taoufik Ben; Chan, Hon Wai Rene Related Software: – Main Fields: Computer science (68-XX)
LOGIDATA+ Cited in 5 Documents (1993–1998) Software Authors: Paolo Atzeni Related Software: Datalog Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
HySpirit Cited in 2 Documents (2003–2006) Software Authors: N. Fuhr, T. Rölleke Related Software: INQUERY; Datalog Main Fields: Computer science (68-XX)
SYGRAF Cited in 3 Documents (1991–2000) Software Authors: M. Kifer, E.L. Lozinskii Related Software: PARLOG Main Fields: Computer science (68-XX)
DrawCAD Cited in 2 Documents (2001–2003) Software Authors: Liu, Mengchi; Katragadda, Shilpesh Related Software: – Main Fields: Computer science (68-XX)
LogiQL Cited in 2 Documents (2016–2017) Software Authors: Terry Halpin, Spencer Rugaber Related Software: Datalog; Venture; Figaro; … Main Fields: Computer science (68-XX)
Spatial-Yap Cited in 0 Documents Software Authors: David Vaz; Michel Ferreira; Ricardo Lopes Related Software: MYDDAS Main Fields: –
MixLog Cited in 1 Document (1997) Software Authors: Smith, Donald A. Related Software: – Main Fields: Computer science (68-XX)
OLDTNF Cited in 1 Document (1998) Software Authors: Chen, Yangjun Related Software: – Main Fields: Computer science (68-XX)