×

Found 42 Software Packages (Results 1–42)

ABC

Software Authors:   Karaboga, Dervis; Basturk, Bahriye
Referenced in: 258 Publications (2007–2022)
Related Software: GSA; GWO; JADE; CEC 05; WOA; CEC 13; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

GOLOG

Software Authors:   Levesque, Hector J.; Reiter, Raymond; Lespérance, Yves; Lin, Fangzhen; Scherl, Richard B.
Referenced in: 157 Publications (1996–2022)
Related Software: ConGolog; AgentSpeak; METATEM; Graphplan; Jason; CCalc; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Jadex

Software Authors:   Pokahr A., Braubach L., Lamersdorf W.
Referenced in: 21 Publications (2005–2021)
Related Software: Jason; AgentSpeak; 2APL; 3APL; JADE; CArtAgO; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

KQML

Software Authors:   Tim Finin, Richard Fritzson, Donald P McKay, Robin McEntire
Referenced in: 15 Publications (1996–2016)
Related Software: Prodigy; Globus Toolkit; Qu-Prolog; OMDoc; OMRS; TABLEAUX; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

DECAF

Software Authors:   Graham, John R.; Decker, Keith S.
Referenced in: 11 Publications (2000–2005)
Related Software: Voyager; GroupKit; GOLOG; ABLE; Jason; TAEMS; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

MetaMorph

Software Authors:   Maturana, F.; Shen, W.; Norrie, D.H.
Referenced in: 18 Publications (1999–2010)
Related Software: Aglets; Moise+; Inventor; CATIA V5; Tabu search; IMMUNE; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

TuCSoN

Software Authors:   Andrea Omicini; Franco Zambonelli
Referenced in: 7 Publications (2001–2018)
Related Software: Linda; ReSpecT; LIME; LPaaS; Fuzzydl; Maude; …
Main Fields: Computer science (68-XX)

CArtAgO

Software Authors:   Alessandro Ricci; Andrea Santi; Michele Piunti; Mirko Viroli; Andrea Omicini; Marco Guidi; Mattia Minotti
Referenced in: 7 Publications (2009–2011)
Related Software: Jason; Jadex; AgentSpeak; 2APL; ReSpecT; simpA; …
Main Fields: Computer science (68-XX)

IRIS

Software Authors:   Tsai, J., Rathi, S., Kiekintveld, C., Ordóñez, F., Tambe, M.
Referenced in: 14 Publications (2010–2022)
Related Software: VRP
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

CLARION

Software Authors:   Lynch, Michael F.; Sun, Ron; Wilson, Nicholas
Referenced in: 2 Publications (2013–2020)
Related Software: NUTS; Julia; BayesDA; ACT-R; PyMC; Stan; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

LEAP

Software Authors:   Bergenti, Federico; Poggi, Agostino
Referenced in: 2 Publications (2002)
Related Software: NoDoSE; XPath; XMLTK; LIME; KLAIM; Jess; …
Main Fields: Computer science (68-XX)

ICAGENT

Software Authors:   Mavromichalis, Vangelis Kourakos; Vouros, George A.
Referenced in: 6 Publications (2001–2003)
Related Software:
Main Fields: Computer science (68-XX)

PEORL

Software Authors:   Fangkai Yang, Daoming Lyu, Bo Liu, Steven Gustafson
Referenced in: 5 Publications (2019–2021)
Related Software: REBA; BWIBots; ALM; CCalc; PDDL; Clingcon; …
Main Fields: Computer science (68-XX)

JavaLog

Software Authors:   Amandi, Anal\'{\i}a; Campo, Marcelo; Zunino, Alejandro
Referenced in: 3 Publications (2002–2007)
Related Software: GOLOG; Oz; METATEM; Mozart; SHOP2; Graphplan; …
Main Fields: Computer science (68-XX)

ABLE

Software Authors:   J. P. Bigus, D. A. Schlosnagle, J. R. Pilgrim, W. N. Mills III, Y. Diao
Referenced in: 1 Publication (2019)
Related Software: PAPI; Multicube Explorer; SiblingRivalry; Green; SAGE; ADAPT; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

Amine

Software Authors:   Adil Kabbaj
Referenced in: 1 Publication (2008)
Related Software: Protege; JADE
Main Fields: Computer science (68-XX)

LogiKEy

Software Authors:   Christoph Benzmüller, Xavier Parent, Leendert van der Torre
Referenced 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)

CASOS

Software Authors:   Carley, Kathleen M.; Carnegie Mellon University
Referenced in: 3 Publications (2005–2014)
Related Software:
Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

D-SCIDS

Software Authors:   Abraham, A., Jain, R., Thomas, J. and Han, S.Y.
Referenced in: 1 Publication (2019)
Related Software: ROSE; UCI-ml; RSBR_; PRMLT; RuleML
Main Fields: Computer science (68-XX)

ITTALKS

Software Authors:   Perich, Filip; Kagal, Lalana; Chen, Harry; Tolia, Sovrin; Zou, Youyong; Finin, Tim; Joshi, Anupam; Peng, Yun; Cost, R. Scott; Nicholas, Charles
Referenced in: 2 Publications (2001–2002)
Related Software:
Main Fields: Computer science (68-XX)

JEOPS

Software Authors:   Santos da Figueira Filho, Carlos; Lisboa Ramalho, Geber
Referenced in: 3 Publications (2000–2008)
Related Software: Jess; JBoss; Drools
Main Fields: Computer science (68-XX)

KSACI

Software Authors:   Albuquerque, Ryan L.; Hübner, Jomi F.; de Paula, Gustavo E.; Sichman, Jaime S.; Ramalho, Geber L.
Referenced in: 2 Publications (2002–2009)
Related Software: LEAP
Main Fields: Computer science (68-XX)

L-VIBRA

Software Authors:   Reali-Costa, Anna H.; Bianchi, Reinaldo A.C.
Referenced in: 3 Publications (2000–2002)
Related Software:
Main Fields: Computer science (68-XX)

WADE

Software Authors:   Caire, G.; Gotta, D.; Banzi, M.
Referenced in: 3 Publications (2010–2011)
Related Software: CArtAgO; Jadex; simpA; ReSpecT; Featherweight Java; Linda; …
Main Fields: Computer science (68-XX)

WS2JADE

Software Authors:   Xuan Thang Nguyen, Ryszard Kowalczyk, Mohan Baruwal Chhetri, Alasdair Grant
Referenced in: 1 Publication (2006)
Related Software: JADE; SNAP
Main Fields: Computer science (68-XX)

AVOCLOUDY

Software Authors:   Stefano Sebastio, Michele Amoretti, Alberto Lluch-Lafuente
Referenced in: 2 Publications (2017)
Related Software: BOINC; CVX; CPLEX; AMPL; Gurobi; Pregel
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

Hintikka's world

Software Authors:   François Schwarzentruber
Referenced in: 2 Publications (2020)
Related Software: MCMAS
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

iJADE Surveillant

Software Authors:   Lee, Raymond S.T.
Referenced in: 2 Publications (2003–2006)
Related Software: iJADE IWShopper
Main Fields: Computer science (68-XX)

PagePrompter

Software Authors:   Yao, Y.Y.; Hamilton, H.J.; Wang, Xuewei
Referenced in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

UTBot

Software Authors:   In-Cheol Kim
Referenced in: 1 Publication (2011)
Related Software: Elevator; CArtAgO; Jadex; JADE; 2APL
Main Fields: Computer science (68-XX)

AgentStra

Software Authors:   Shuliang Li
Referenced in: 1 Publication (2014)
Related Software:
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

AI2-THOR

Software Authors:   Eric Kolve, Roozbeh Mottaghi, Winson Han, Eli VanderBilt, Luca Weihs, Alvaro Herrasti, Daniel Gordon, Yuke Zhu, Abhinav Gupta, Ali Farhadi
Referenced in: 0 Publications
Related Software: ViZDoom; ImageNet; Matterport3D; VECA
Main Fields:

CGLIB

Software Authors:   Zhou, Neng-Fa
Referenced in: 0 Publications
Related Software:
Main Fields:

FAtiMA

Software Authors:   Samuel Mascarenhas, Manuel Guimarães, Pedro A. Santos, João Dias, Rui Prada, Ana Paiva
Referenced in: 0 Publications
Related Software:
Main Fields:

FreeWill

Software Authors:   Szarowicz, Adam; Forte, Peter
Referenced in: 0 Publications
Related Software:
Main Fields:

IMSAT

Software Authors:   Nadoli, Gajanana; Biegel, John E.
Referenced in: 1 Publication (1993)
Related Software:
Main Fields: Computer science (68-XX)

InViWo

Software Authors:   Richard, Nadine; Codognet, Philippe; Grumbach, Alain
Referenced in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

LASG

Software Authors:   \c Serban, Gabriela
Referenced in: 1 Publication (2002)
Related Software:
Main Fields: Computer science (68-XX)

MADP toolbox

Software Authors:   Oliehoek, Frans A.; Spaan, Matthijs T.J.; Terwijn, Bas; Robbel, Philipp; Messias, Jo~ao V.
Referenced in: 1 Publication (2016)
Related Software:
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Mokum

Software Authors:   Reind van de Riet
Referenced in: 1 Publication (2001)
Related Software: TCM; WordNet++; WordNet; LEXIGRAM
Main Fields: Computer science (68-XX)

PANGEA

Software Authors:   Búrdalo, Luis; Terrasa, Andrés Author Profile; Julián, Vicente; Bajo, Javier; Rodríguez, Sara; Corchado, Juan Manuel
Referenced in: 1 Publication (2017)
Related Software:
Main Fields: Computer science (68-XX)

gamet

Software Authors:   Nicola Orsini; Debora Rizzuto; Nicola Nante
Referenced in: 0 Publications
Related Software:
Main Fields: