Buscar recursos académicos

Este artigo apresenta um estudo sobre a aplicação da análise de complexidade na paralelização de programas em lógica. Inicialmente, o texto descreve a estrutura do módulo Analisador de Complexidade proposto pelo m...

In this paper we explore different situations in which collaborative agents have to communicate among themselves using standard interaction protocols. We will propose how to process these interactions in parallel without...

Este trabalho estuda as várias formas de integração do paralelismo E e do paralelismo OU na Programação em Lógica. O trabalho engloba os principais sistemas, a saber: ANDORRA-I, ACE, ROPM e IDIOM. Ao final, é feit...

A solution of problems in multiagent systems involves representing beliefs of agents immersed in dynamic environments. Observation-based Defeasible Logic Programming (ODeLP) is an argument-based logic programming languag...

Este trabalho apresenta a integração dos modelos ParTy e Granlog. O ParTy (Parallel Types Analyzer) é um interpretador abstrato de tipos. O Granlog (Granularity Analyzer for LOGic programming) é um analisador automá...