MINERVA - A dynamic Logic Programming agent architecture

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

42 Citations (Scopus)


The agent paradigm, commonly implemented by means of imperative languages mainly for reasons of efficiency, has recently increased its influence in the research and development of computational logic based systems. Since efficiency is not always the crucial issue, but clear specification and correctness is, Logic Programming and Non-monotonic Reasoning have been brought back into the spotlight. To this accrues the recent significant improvements in the efficiency of Logic Programming implementations for Non-monotonic Reasoning. This paper presents an overall description of MINERVA, an agent architecture and system designed with the intention of providing a common agent framework based on the unique strengths of Logic Programming, to allow for the combination of several non-monotonic knowledge representation and reasoning mechanisms developed in recent years. In [10], the semantics of the multi-dimensional structure and combination of the evolving societal knowledge of agents in described and discussed in detail.

Original languageEnglish
Title of host publicationIntelligent Agents VIII: Agent Theories, Architectures, and Languages - 8th International Workshop, ATAL 2001, Revised Papers
PublisherSpringer Verlag
Number of pages17
Volume2333 LNAI
ISBN (Print)3540438580, 9783540438588
Publication statusPublished - 2002
Event8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages, ATAL 2001 - Seattle, WA, United States
Duration: 1 Aug 20013 Aug 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2333 LNAI
ISSN (Print)03029743
ISSN (Electronic)16113349


Conference8th International Workshop on Intelligent Agents VIII: Agent Theories, Architectures, and Languages, ATAL 2001
Country/TerritoryUnited States
CitySeattle, WA


  • Computation theory
  • Semantics
  • Architecture
  • Efficiency
  • Intelligent agents
  • Knowledge representation
  • Computational linguistics


Dive into the research topics of 'MINERVA - A dynamic Logic Programming agent architecture'. Together they form a unique fingerprint.

Cite this