Multi-dimensional Dynamic Logic Programming

João Alexandre Carvalho Pinheiro Leite; José Júlio Alves Alferes; L.M. Pereira

doi:10.1007/3-540-45329-6_28

Multi-dimensional Dynamic Logic Programming

João Alexandre Carvalho Pinheiro Leite, José Júlio Alves Alferes, L.M. Pereira

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	Computational Logic in Multi-Agent Systems
Pages	276-289
Number of pages	14
DOIs	https://doi.org/10.1007/3-540-45329-6_28
Publication status	Published - 2001
Event	Computational Logic in Multi-Agent Systems (CLIMA) - Duration: 1 Jan 2000 → …

Conference

Conference	Computational Logic in Multi-Agent Systems (CLIMA)
Period	1/01/00 → …

Keywords

Directed Acyclic Graph
Stable Model
Logic Programming
Multiagent System
Logic Program

Access to Document

10.1007/3-540-45329-6_28

Cite this

@inproceedings{2bdc13d09cf14548aa1c4385a1e2cb03,

title = "Multi-dimensional Dynamic Logic Programming",

abstract = "This paper explores the applicability of the new paradigm of Multi-dimensional Dynamic Logic Programming to represent an agent{\textquoteright}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.",

keywords = "Directed Acyclic Graph, Stable Model, Logic Programming, Multiagent System, Logic Program",

author = "Leite, {Jo{\~a}o Alexandre Carvalho Pinheiro} and Alferes, {Jos{\'e} J{\'u}lio Alves} and L.M. Pereira",

year = "2001",

doi = "10.1007/3-540-45329-6_28",

language = "English",

pages = "276--289",

booktitle = "Computational Logic in Multi-Agent Systems",

note = "Computational Logic in Multi-Agent Systems (CLIMA) ; Conference date: 01-01-2000",

}

TY - GEN

T1 - Multi-dimensional Dynamic Logic Programming

AU - Leite, João Alexandre Carvalho Pinheiro

AU - Alferes, José Júlio Alves

AU - Pereira, L.M.

PY - 2001

Y1 - 2001

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

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

KW - Directed Acyclic Graph

KW - Stable Model

KW - Logic Programming

KW - Multiagent System

KW - Logic Program

U2 - 10.1007/3-540-45329-6_28

DO - 10.1007/3-540-45329-6_28

M3 - Conference contribution

SP - 276

EP - 289

BT - Computational Logic in Multi-Agent Systems

T2 - Computational Logic in Multi-Agent Systems (CLIMA)

Y2 - 1 January 2000

ER -

Multi-dimensional Dynamic Logic Programming

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this