dnrDALMAS

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

Project Activity

See All Activity >

License

Academic Free License (AFL)

Follow dnrDALMAS

dnrDALMAS Web Site

Other Useful Business Software

Our Free Plans just got better! | Auth0

With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now

Rate This Project

User Reviews

Be the first to post a review of dnrDALMAS!

Additional Project Details

Intended Audience

Developers, Science/Research

User Interface

Console/Terminal

Programming Language

Prolog

Related Categories

Prolog Intelligent Agents, Prolog Multi-Agent Systems, Prolog Multi-Agent Frameworks

Registered

2006-03-02

Similar Business Software

StackAI

StackAI is an enterprise AI automation platform to build end-to-end internal tools and processes with AI agents in a fully compliant and secure way. Designed for large organizations, it enables teams to automate complex workflows across operations, compliance, finance, IT, and support without...

See Software
Vertex AI

Build, deploy, and scale machine learning (ML) models faster, with fully managed ML tools for any use case. Through Vertex AI Workbench, Vertex AI is natively integrated with BigQuery, Dataproc, and Spark. You can use BigQuery ML to create and execute machine learning models in BigQuery...

See Software
Google AI Studio

Google AI Studio is a unified development platform that helps teams explore, build, and deploy applications using Google’s most advanced AI models, including Gemini 3. It brings text, image, audio, and video models together in one interactive playground. With vibe coding, developers can use...

See Software
Hostinger

Start your online journey with fast and secure web hosting that enables you to take the Internet by storm. At Hostinger, you can choose from various web hosting-related services that include Domain Registration, Cloud Hosting, Email Hosting, SSL Certificate, and LiteSpeed Servers. Choose...

See Software
Automation Anywhere

Automation Anywhere is the leader in Agentic Process Automation (APA), putting AI to work across organizations. The company’s platform is powered with specialized AI agents, generative AI, and offers process discovery, RPA end-to-end process orchestration, document processing and analytics, with...

See Software
Microsoft Power Automate

Microsoft Power Automate is a cloud-based service that enables businesses to automate repetitive tasks and optimize workflows across various applications and services. With no-code automation tools, users can easily create workflows between apps, automate approval processes, and reduce manual...

See Software