• GenericWrapper4AC

  • Referenced in 3 articles [sw38659]
  • such as propositional satisfiability solving, AI planning, scheduling, and machine learning (in particular deep learning ... have recently received much attention in the AI community since they replace tedious, irreproducible...
  • SCAIMO

  • Referenced in 1 article [sw02835]
  • services. A number of approaches like AI-planning have been proposed to resolve the problem ... Despite the importance of AI-planning techniques for Web service composition, previous works in that...
  • DACBench

  • Referenced in 1 article [sw38657]
  • hyperparameters in domains like evolutionary computation, AI Planning or deep learning. Replicating these results ... standardize existing DAC benchmarks from different AI domains, as well as provide a template...
  • BWAPI

  • Referenced in 1 article [sw26571]
  • write competitive non-cheating AIs that must plan and operate under partial information conditions. BWAPI ... take control of game units while the AI is playing. These defaults can be changed...
  • iThink

  • Referenced in 1 article [sw33221]
  • Library for Classical Planning in Video-Games. Academic artificial intelligence (AI) techniques have recently started ... commercial video games. In particular, classical planning methods for specifying a goal-oriented behavior have...
  • MazeBase

  • Referenced in 3 articles [sw26504]
  • machine learning approaches to reasoning and planning. Within it, we create 10 simple games embodying ... where they consistently beat the in-game AI...
  • FAIS

  • Referenced in 2 articles [sw35605]
  • continued development as a case-study of AI analysis of a financial database. We first ... knowledge discovery systems. Finally, we discuss our plans for system improvements and future development...
  • AI2-THOR

  • Referenced in 1 article [sw38436]
  • near photo-realistic 3D indoor scenes, where AI agents can navigate in the scenes ... reinforcement learning, imitation learning, learning by interaction, planning, visual question answering, unsupervised representation learning, object...
  • FastReID

  • Referenced in 1 article [sw33957]
  • widely used software system in JD AI Research. In FastReID, highly modular and extensible design ... vehicle re-id, and plan to release these pre-trained models on multiple benchmark datasets...
  • Bogart

  • Referenced in 2 articles [sw34517]
  • Intelligence tools and techniques such as the Plan Calculus, translation by abstraction and re-implementation ... bugs. This study demonstrates that certain AI techniques can be carefully combined to create industrial...
  • Coq

  • Referenced in 1818 articles [sw00161]
  • Coq is a formal proof management system. It...
  • MiniSat

  • Referenced in 541 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • Nitpick

  • Referenced in 61 articles [sw00622]
  • Nitpick is a counterexample generator for Isabelle/HOL that...
  • Paramils

  • Referenced in 72 articles [sw00678]
  • Paramils: an automatic algorithm configuration framework. The identification...
  • R

  • Referenced in 8728 articles [sw00771]
  • R is a language and environment for statistical...
  • TSPLIB

  • Referenced in 671 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • SIMSCRIPT

  • Referenced in 30 articles [sw01081]
  • SIMSCRIPT. A simulation programming language. SIMSCRIPT is a...
  • MACSYMA

  • Referenced in 716 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • RealPlan

  • Referenced in 9 articles [sw01619]
  • In most real-world reasoning problems, planning and...