• Chaff

  • Referenced in 570 articles [sw06916]
  • Automation (EDA), as well as in Artificial Intelligence (AI). This study has culminated...
  • LISP

  • Referenced in 126 articles [sw07201]
  • became the favored programming language for artificial intelligence (AI) research. As one of the earliest...
  • ACUOS2

  • Referenced in 8 articles [sw31984]
  • used to address artificial intelligence (AI) problems that are representable as order-sorted ACU generalization...
  • Libratus

  • Referenced in 7 articles [sw29293]
  • Superhuman AI for heads-up no-limit poker: Libratus beats top professionals. No-limit Texas ... most popular form of poker. Despite artificial intelligence (AI) successes in perfect-information games...
  • Fairlearn

  • Referenced in 1 article [sw36560]
  • Python package that empowers developers of artificial intelligence (AI) systems to assess their system...
  • BWAPI

  • Referenced in 1 article [sw26571]
  • students, researchers, and hobbyists can create Artificial Intelligence (AI) agents that play the game. BWAPI...
  • VERIFAI

  • Referenced in 1 article [sw32550]
  • analysis of systems that include artificial intelligence (AI) and machine learning (ML) components. VERIFAI particularly...
  • ILPME

  • Referenced in 1 article [sw27486]
  • distinct examples. Over the years the Artificial Intelligence (AI) community has produced several datasets which...
  • iThink

  • Referenced in 1 article [sw33221]
  • Classical Planning in Video-Games. Academic artificial intelligence (AI) techniques have recently started to play...
  • AI Explainability 360

  • Referenced in 4 articles [sw35201]
  • data and machine learning models. As artificial intelligence algorithms make further inroads in high-stakes ... explanations. Toward addressing these needs, we introduce AI Explainability 360, an open-source Python toolkit...
  • FAIS

  • Referenced in 2 articles [sw35605]
  • FinCEN AI System: Finding Financial Crimes in a Large Database of Cash Transactions. This chapter ... Artificial Intelligence System (FAIS) and its continued development as a case-study of AI analysis...
  • Simbad

  • Referenced in 1 article [sw30808]
  • studying Situated Artificial Intelligence, Machine Learning, and more generally AI algorithms, in the context...
  • HERBY

  • Referenced in 6 articles [sw21545]
  • most interesting area in Artificial Intelligence: automated theorem proving. In particular, it is about ... course on theorem proving or AI at either the undergraduate or graduate level...
  • CIspace

  • Referenced in 1 article [sw27154]
  • usability in a learning environment for AI. This paper describes the design of the CIspace ... visualization tools for teaching and learning Artificial Intelligence. Our approach to design is to iterate...
  • PATDEX

  • Referenced in 1 article [sw26326]
  • influence in merging mathematics and artificial intelligence. For the first author the main point ... Woody Bledsoe brought him into contact with AI at an early stage. More than twenty...
  • Hintikka's world

  • Referenced in 1 article [sw31988]
  • Hintikka’s World shows intelligent artificial agents reasoning about higher-order knowledge (a knows that ... clicking on them. It contains many classical AI examples. It is a tribute to Jaakko...
  • Pluribus

  • Referenced in 2 articles [sw32193]
  • Superhuman AI for multiplayer poker. Computer programs have shown superiority over humans in two-player ... players – a much trickier challenge for artificial intelligence than the two-player variant. Brown...
  • DeepMind Lab

  • Referenced in 2 articles [sw28743]
  • intelligence and machine learning systems. DeepMind Lab can be used to study how autonomous artificial ... enabling creative task-designs and novel AI-designs to be explored and quickly iterated upon...
  • NUML

  • Referenced in 1 article [sw03463]
  • formal semantics for DAI language NUML Traditional AI systems are brittle in the sense that ... powerful, extensible strategy of Distributed Artificial Intelligence (DAI) for overcoming such bounds...
  • Bogart

  • Referenced in 2 articles [sw34517]
  • Bogart is based on Artificial Intelligence tools and techniques such as the Plan Calculus, translation ... bugs. This study demonstrates that certain AI techniques can be carefully combined to create industrial...