Multi-dimensional Dynamic Logic Programming

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent’s view of the combination of societal knowledge dynamics. The representation of a dynamic society of agents is the core of MINεRVA [11], an agent architecture and system designed with the intention of providing a common agent framework based on the unique strengths of Logic Programming, hat allows the combination of several non-monotonic knowledge representation and reasoning mechanisms developed in recent years.
Original languageEnglish
Title of host publicationComputational Logic in Multi-Agent Systems
Number of pages14
Publication statusPublished - 2001
EventComputational Logic in Multi-Agent Systems (CLIMA) -
Duration: 1 Jan 2000 → …


ConferenceComputational Logic in Multi-Agent Systems (CLIMA)
Period1/01/00 → …


  • Directed Acyclic Graph
  • Stable Model
  • Logic Programming
  • Multiagent System
  • Logic Program


Dive into the research topics of 'Multi-dimensional Dynamic Logic Programming'. Together they form a unique fingerprint.

Cite this