Oz Software Authors: Henz, M., Smolka, G., and Würtz, J. Cited in: 109 Publications (1994–2022) Related Software: CHIP; Mozart; CLAIRE; CPLEX; SALSA; SICStus; … Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)
Racer Software Authors: Volker Haarslev, Kay Hidde, Ralf Möller, Michael Wessel Cited in: 52 Publications (2001–2021) Related Software: FaCT++; Pellet; KL-ONE; Protege; RacerPro; HermiT; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
FRIL Software Authors: Baldwin, J. F.; Martin, T. P.; Pilsworth, B. W. Cited in: 37 Publications (1987–2020) Related Software: Likelog; FPROLOG; XPath; XQuery; Ciao; Rfuzzy; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
KL-ONE Software Authors: Baader, Franz; Sattler, Ulrike Cited in: 36 Publications (2001–2020) Related Software: FaCT++; Racer; Pellet; MSPASS; E Theorem Prover; MetTeL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PRISM Software Authors: Sato, T., Kameya, Y. Cited in: 41 Publications (2006–2022) Related Software: ProbLog; CP-logic; PITA; BLOG; Church; IBAL; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
DLV Software Authors: Grasso, Giovanni; Iiritano, Salvatore; Leone, Nicola; Ricca, Francesco Cited in: 29 Publications (2001–2021) Related Software: WASP; Gringo; Cmodels; Datalog; ASSAT; clasp; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
TRIPLE Software Authors: Sintek, Michael; Decker, Stefan Cited in: 16 Publications (2002–2015) Related Software: SPARQL; Smodels; XSB; swrl; DAML+OIL; RuleML; … Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Astronomy and astrophysics (85-XX)
GASP Software Authors: Dal Palu, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco Cited in: 17 Publications (2008–2021) Related Software: Clingo; Gringo; WASP; clasp; ASSAT; OMiGA; … Main Fields: Computer science (68-XX)
E-KRHyper Software Authors: Pelzer, Björn; Wernhard, Christoph Cited in: 11 Publications (2007–2021) Related Software: E Theorem Prover; E-Darvin; SATCHMO; Darwin; SPASS; VAMPIRE; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ezcsp Software Authors: Balduccini, Marcello; Lierler, Yuliya Cited in: 12 Publications (2009–2021) Related Software: Clingo; Clingcon; WASP; DLV2; clasp; Gringo; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
WHIRL Software Authors: Cohen, W.W. Cited in: 11 Publications (2000–2015) Related Software: C4.5; XPath; SSE; Dyna; Figaro; PRISM; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
plasp Software Authors: Gebser, Martin; Kaminski, Roland; Knecht, Murat; Schaub, Torsten Cited in: 9 Publications (2012–2021) Related Software: PDDL; Clingo; ROSoClingo; Clingcon; WASP; GDL; … 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)
Tweety Software Authors: Thimm, M. Cited in: 10 Publications (2016–2023) Related Software: DiArg; LARS; Clingo; Brain Connectivity Toolbox; sCASP; ezcsp; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
LeoPARD Software Authors: Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph Cited in: 8 Publications (2015–2021) Related Software: Satallax; Leo-III; TPTP; Isabelle/HOL; Sledgehammer; QMLTP; … Main Fields: Mathematical logic and foundations (03-XX); Category theory; homological algebra (18-XX); Computer science (68-XX)
BEACON Software Authors: Arif, M.Fareed; Mencía, Carlos; Ignatiev, Alexey; Manthey, Norbert; Peñaloza, Rafael; Marques-Silva, Joao Cited in: 7 Publications (2016–2022) Related Software: ELK; EL2MCS; HgMUS; PULi; Just; CEL; … Main Fields: Computer science (68-XX)
SALT Software Authors: Marcus, Sandra; McDermott, John Cited in: 5 Publications (1989–2010) Related Software: MOLE; Protege; WordNet; LISP; RESUME; CLIPS; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
RacerPro Software Authors: Haarslev, V., Hidde, K., Möller, R., Wessel, M. Cited in: 6 Publications (2014–2021) Related Software: HermiT; Racer; Pellet; Konclude; ELK; FaCT++; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Asparagus Software Authors: Christian Anger; Torsten Schaub; Miroslaw Truszczynski Cited in: 3 Publications (2005–2012) Related Software: ASSAT; TPTP; Runsolver; StarExec; RunLim; VCWC; … Main Fields: Computer science (68-XX)
NoHR Software Authors: Lopes, Carlos; Knorr, Matthias; Leite, João Cited in: 5 Publications (2015–2019) Related Software: Konclude; ELK; HermiT; Catnap; ArgueApply; Moviola; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-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)
LogiKEy Software Authors: Christoph Benzmüller, Xavier Parent, Leendert van der Torre Cited in: 4 Publications (2020–2022) Related Software: Isabelle/HOL; PLM; LegalRuleML; embed_modal; Leo-III; Lean; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
PAGOdA Software Authors: Zhou, Yujiao; Grau, Bernardo Cuenca; Nenov, Yavor; Kaminski, Mark; Horrocks, Ian Cited in: 4 Publications (2015–2022) Related Software: Datalog; Polyanna; CEX; MASTRO; Ontop; ContentCVS; … Main Fields: Computer science (68-XX)
REBA Software Authors: Sridharan, Mohan; Gelfond, Michael; Zhang, Shiqi; Wyatt, Jeremy Cited in: 4 Publications (2019–2021) Related Software: PEORL; CCalc; FODD-Planner; Smodels; GitHub; ALM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
WebODE Software Authors: Corcho, Óscar; Fernández-López, Mariano Author Profile; Gómez-Pérez, Asunción; Vicente, Óscar Cited in: 4 Publications (2002–2008) Related Software: Protege; OntoEdit; OilEd; SUMO; PostgreSQL; Jena; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
KReator Software Authors: Finthammer, Marc; Thimm, Matthias Cited in: 3 Publications (2012) Related Software: Alchemy; ProbLog Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
SUCRAGE Software Authors: Borgi, Amel; Akdag, Herman Cited in: 1 Publication (2001) Related Software: – Main Fields: Computer science (68-XX)
BaRT Software Authors: Booker, Lashon B.; Hota, Naveen; Ramsey, Connie Loggia Cited in: 2 Publications (1990–1995) Related Software: – Main Fields: Computer science (68-XX)
F--MP Software Authors: Yang, Jae Dong Cited in: 2 Publications (1997–2001) Related Software: KernSmooth Main Fields: Computer science (68-XX)
ICOM Software Authors: Pablo R. Fillottrani; Enrico Franconi; Sergio Tessaris Cited in: 2 Publications (2001–2020) Related Software: KL-ONE; FaCT++ Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ILPME Software Authors: Mitra, Arindam; Baral, Chitta Cited in: 2 Publications (2018–2020) Related Software: VerbNet; SQuARE; Penn Treebank; AQuA; sCASP; MCTest; … Main Fields: Computer science (68-XX)
InfOCF-Web Software Authors: Steven Kutsch , Christoph Beierle Cited in: 2 Publications (2022) Related Software: – Main Fields: Computer science (68-XX)
KnowLang Software Authors: Vassev, Emil; Hinchey, Mike Cited in: 0 Publications Related Software: – Main Fields: Computer science (68-XX)
WEBCOOP Software Authors: Benamara, F., Saint-Dizier, P. Cited in: 1 Publication (2019) Related Software: AquaLog; RDFox; Vadalog; DLV2; DBpedia; LUBM; … Main Fields: Computer science (68-XX)
CRAM Software Authors: Michael Beetz, M Lorenz, Moritz Tenorth Cited in: 1 Publication (2016) Related Software: Orocos Main Fields: Computer science (68-XX); Mechanics of particles and systems (70-XX); Systems theory; control (93-XX)
CTML Software Authors: Tonfoni, Graziella Cited in: 1 Publication (2005) Related Software: – Main Fields: Computer science (68-XX)
EDU-EX Software Authors: Domingo, P.; Garc\'{\i}a-Crespo, A.; Ruiz, B.; Iglesias, A. Cited in: 1 Publication (2002) Related Software: – Main Fields: Computer science (68-XX)
HiPER Software Authors: Highland, F. D.; Iwaskiw, C. T. Cited in: 1 Publication (1989) Related Software: PL/I Main Fields: Computer science (68-XX)
KB-VISION Software Authors: Liebig, Thorsten; Finkenzeller, Dieter; Luther, Marko Cited in: 1 Publication (2001) Related Software: – Main Fields: Computer science (68-XX)
KNAML Software Authors: Streeter, Gordon; Potter, Andrew Cited in: 1 Publication (2004) Related Software: – Main Fields: Computer science (68-XX)
RCDC Software Authors: Navarrete, I., Morales, A., Sciavicco, G., Cardenas, M. Cited in: 1 Publication (2013) Related Software: XPath Main Fields: Computer science (68-XX)
CWJess Software Authors: Khorasani, E.S., Patel, P., Rahimi, S., Houle, D. Cited in: 0 Publications Related Software: – Main Fields: –
KaBOB Software Authors: Livingston, K. M.; Bada, M.; Baumgartner, W. A.; Hunter, L. E. Cited in: 0 Publications Related Software: – Main Fields: –