Search Results for "artificial intelligence algorithm"

BotKube is a messaging bot for monitoring and debugging Kubernetes clusters. It's built and maintained by InfraCloud. BotKube can be integrated with multiple messaging platforms like - Slack, Mattermost, Microsoft Teams to help you monitor your Kubernetes cluster(s), debug critical deployments and gives recommendations for standard practices by running checks on the Kubernetes resources. BotKube watches Kubernetes resources and sends a notification to the channel if any event occurs for...

TraceRoot.AI is an open source, AI-native observability and debugging platform designed to help engineering teams resolve production issues faster. It consolidates telemetry into a single correlated execution tree that provides causal context for failures. AI agents operate over this structured view to summarize issues, pinpoint likely root causes, and even suggest actionable fixes or draft GitHub issues and pull requests. It offers interactive trace exploration with zoomable log clusters,...

The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.

The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.

Existing libraries implement automatic differentiation by tracing a program's execution (at runtime, like PyTorch) or by staging out a dynamic data-flow graph and then differentiating the graph (ahead-of-time, like TensorFlow). In contrast, Tangent performs ahead-of-time autodiff on the Python source code itself, and produces Python source code as its output. Tangent fills a unique location in the space of machine learning tools. As a result, you can finally read your automatic derivative...

ASTRA is an implementation of AgentSpeak(TR) that has built in support for the CArTaGo and EIS environment models. Support for conversation management is provided in the form of the ACRE conversation manager.

Spock is a prototype tool for debugging logic programs under the answer-set semantics. It provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.

Distributed logging service for JADE agent framework, utilizing features of Log4j and Chainsaw projects.

The Language Processing Agency provides agents and an agent-oriented infrastructure for developing language processors in .NET. Typical language processors are transformation tools, extraction tools, language interpreters, etc.