• Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 1

    dnrDALMAS

    A general-level Prolog implementation of the DALMAS 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 Gävle. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-1475 See also: Odelstad, J., & Boman, M. (2004). Algebras for Agent Norm-Regulation. Annals of Mathematics and Artificial Intelligence, 42(1), 141–166. http://doi.org/10.1023/B:AMAI.0000034525.49481.4a
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

    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
  • 3

    evolp/r

    Logic Program Updates System

    EVOLP/R is a logic program updates system, implemented in XSB Prolog. Reference: A. Saptawijaya, L. M. Pereira, Incremental Tabling for Query-Driven Propagation of Logic Program Updates, in: K. McMillan, A. Middeldorp, A. Voronkov (eds.), Procs. Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning (LPAR-19), Springer LNCS ARCoSS series, December 15-19, Stellenbosch, South Africa, 2013. Slides: http://goo.gl/w02Txv Audio Talk: http://goo.gl/oRjCfQ
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB