×

Found 8 Software Packages (Results 1–8)

CCalc

Software Authors:   Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
Cited in: 74 Publications (2003–2021)
Related Software: Smodels; Coala; GOLOG; PDDL; Society Visualiser; NuSMV; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

ConGolog

Software Authors:   De Giacomo; LespĂ©rance, Y.; Levesque, H.J.
Cited in: 40 Publications (1999–2022)
Related Software: GOLOG; AgentSpeak; METATEM; Jason; Graphplan; 3APL; …
Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)

TinyOS

Software Authors:   Dalton, Andrew R.; Wahba, Sally K.; Dandamudi, Sravanthi; Hallstrom, Jason O.
Cited in: 6 Publications (2008–2019)
Related Software: FDR3; ProB; AUTOSAR; Magiclock; Goblint; ASTREE; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

ROSoClingo

Software Authors:   Andres, Benjamin; Rajaratnam, David; Sabuncu, Orkunt; Schaub, Torsten
Cited in: 5 Publications (2015–2021)
Related Software: Clingo; Clingcon; WASP; IDP3; DLV; Lparse; …
Main Fields: Computer science (68-XX)

MoMo

Software Authors:   De Nicola, Rocco; Loreti, Michele
Cited in: 4 Publications (2005–2014)
Related Software: KLAIM; SLMC; COPASI; Casaal; ULM; MRMC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

POGTGolog

Software Authors:   Finzi, Alberto; Lukasiewicz, Thomas
Cited in: 2 Publications (2020–2021)
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)

FRPNow

Software Authors:   Ploeg, Atze van der; Claessen, Koen
Cited in: 1 Publication (2015)
Related Software: Reactive-banana; Esterel; LUSTRE; Haskell
Main Fields: Computer science (68-XX)

mAL

Software Authors:   Baral, Chitta; Gelfond, Gregory; Pontelli, Enrico; Son, Tran Cao
Cited in: 1 Publication (2013)
Related Software:
Main Fields: Computer science (68-XX)