×

Found 2 Software Packages (Results 1–2)

PDDL

Software Authors:   Fox, M.; Long, D.; Ghallab, M., Howe, A., Knoblock, C., McDermott, D., Ram, A., Veloso, M., Weld, D., Wilkins, D.
Cited in: 93 Publications (2000–2022)
Related Software: Graphplan; Walksat; SAPA; LPG; MiniSat; UCPOP; …
Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)

LPG

Software Authors:   Alfonso E. Gerevini , Alessandro Saetti, Ivan Serina, Mauro Vallati
Cited in: 12 Publications (2003–2022)
Related Software: Graphplan; PDDL; Walksat; SAPA; STAN; VHPOP; …
Main Fields: Computer science (68-XX); Quantum theory (81-XX)