Multi-dimensional Dynamic Logic Programming

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

Abstract

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
Pages276-289
Number of pages14
DOIs
Publication statusPublished - 2001
EventComputational Logic in Multi-Agent Systems (CLIMA) -
Duration: 1 Jan 2000 → …

Conference

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

Keywords

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

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

Cite this