CCalc Cited in 74 Documents (2003–2021) Software Authors: Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson Related Software: Smodels; Coala; GOLOG; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
ConGolog Cited in 40 Documents (1999–2022) Software Authors: De Giacomo; LespĂ©rance, Y.; Levesque, H.J. Related Software: GOLOG; AgentSpeak; METATEM; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX); …
FRPNow Cited in 1 Document (2015) Software Authors: Ploeg, Atze van der; Claessen, Koen Related Software: Reactive-banana; Esterel; LUSTRE; … Main Fields: Computer science (68-XX)
mAL Cited in 1 Document (2013) Software Authors: Baral, Chitta; Gelfond, Gregory; Pontelli, Enrico; Son, Tran Cao Related Software: – Main Fields: Computer science (68-XX)
MoMo Cited in 4 Documents (2005–2014) Software Authors: De Nicola, Rocco; Loreti, Michele Related Software: KLAIM; SLMC; COPASI; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
POGTGolog Cited in 2 Documents (2020–2021) Software Authors: Finzi, Alberto; Lukasiewicz, Thomas Related Software: GTGolog; Gambit; GOLOG Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
ROSoClingo Cited in 5 Documents (2015–2021) Software Authors: Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten Related Software: Clingo; Clingcon; WASP; … Main Fields: Computer science (68-XX)
TinyOS Cited in 6 Documents (2008–2019) Software Authors: Dalton, Andrew R.; Wahba, Sally K.; Dandamudi, Sravanthi; Hallstrom, Jason O. Related Software: FDR3; ProB; AUTOSAR; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)