Showing 16 open source projects for "ai linux"

View related business solutions
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
    Start Free
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Start Free
  • 1
    XSB
    Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
    Leader badge
    Downloads: 24 This Week
    Last Update:
    See Project
  • 2
    AminePlatform

    AminePlatform

    Amine is a Multi-Layer Platform for the dev. of Intelligent Systems

    Amine is an Artificial Intelligence Multi-Layer Java Open Source Platform dedicated to the development of various kinds of Intelligent Systems and Agents (Knowledge-Based, Ontology-Based, Conceptual Graph -CG- Based, NLP, Reasoning and Learning, Natural Language Processing, etc.). Ontology, KB can be created and manipulated with various processes. CG theory is used as the main knowledge representation language. Amine provides two languages: PROLOG+CG which extends PROLOG with CG and Amine...
    Leader badge
    Downloads: 3 This Week
    Last Update:
    See Project
  • 3
    Flora-2
    Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
    Downloads: 4 This Week
    Last Update:
    See Project
  • 4

    GLORIA

    a reasoning engine for agents and games

    This project is about implementing a logic-programming based, reasoning engine for an agent. We started with an implementation of the iff-proof procedures, by Kowalski and Fung, as an any-time algorithm written in Prolog.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Try Free
  • 5

    dnrDALMAS

    A general-level Prolog implementation of the DALMAS architecture.

    DnrDALMAS is a Prolog module intended to be a general-level Prolog implementation of the abstract DALMAS (Deontic Action-Logic based Multi-Agent System) architecture. A DALMAS is regulated by a normative system based on an algebraic version of the theory of normative positions. For more information about dnrDALMAS, see the following technical report: Hjelmblom, M. (2008). Deontic action-logic multi-agent systems in Prolog. University of Gävle, Division of Computer Science; University of...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6

    jDALMAS

    A Java front-end to the dnrDALMAS Prolog Module.

    A Java front-end to the dnrDALMAS Prolog Module, as described in the following paper: Hjelmblom, M., & Odelstad, J. (2009). jDALMAS: A Java/Prolog Framework for Deontic Action-Logic Multi-Agent Systems. In A. Håkansson, N. Nguyen, R. Hartung, R. Howlett, & L. Jain (Eds.), Agent and Multi-Agent Systems: Technologies and Applications (Vol. 5559, pp. 110–119). Berlin / Heidelberg: Springer. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-3963
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    TinyCog

    Cognitive architecture with a focus on self-models

    TinyCog is a cognitive architecture (perception, action, reasoning, planning, and language) with a focus on representing "self-models" (physical, capabilities, intentions, social, historical, "cognitive stream") in order to implement social reasoning and collaborative planning in a "hunter domain" test bed. We use Prolog, RDF Triples, Description Logic and a HTN-Planner as base technologies.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    TuCSoN

    TuCSoN

    TuCSoN tuple-based coordination middleware

    TuCSoN (Tuple Centres Spread over the Network) is a tuple-based middleware for the coordination of distributed systems – including multi-agent systems, mobile agents and pervasive systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    A Practical Agent Programming Language
    Downloads: 0 This Week
    Last Update:
    See Project
  • Demo Series - Small Business Backup By Veeam Icon
    Demo Series - Small Business Backup By Veeam

    Learn how to protect your Microsoft 365 data, with simple, actionable tips today.

    Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
    Watch Demo Series
  • 10
    ALPprolog is a Prolog implementation of an action programming language. With ALPprolog you can program strategies for autonomous agents in dynamic domains like e.g. the Wumpus world.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Prolog Physic Simulation
    A Simulation based on SWI Prolog
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    The Virtual Storyteller is a multi-agent framework for generating stories based on a concept called emergent narrative.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    GGPrayer is an AI capable of playing any game described in the GameDescriptionLanguage defined in http://games.stanford.edu/.It uses Java to communicate to the gameserver and Prolog for reasoning. Info: http://bruno-wp.blogspot.com/search/label/Software
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    An agent-based dialogue management system that maintains a probabilistic nested belief model and uses it in the choice of dialogue strategies
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    This project will provide an interface for using Lightweight Communications Calculus (LCC) to control agents in the Unreal Tournament enviroment. It consists of a prolog-style interperter, LCC parser/IDE,a GUI / LCC editor and interfaces to the Gamebots
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    GASPAR implements an dialectical argumentation framework for instantiating the artificial intellect of a software agent. In this artilect, motivations are represented in mental faculties which argue why and how these motivations can be adopted.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next