A protocol for execution of distributed logic programs - Archive ouverte HAL
Communication Dans Un Congrès Année : 2009

A protocol for execution of distributed logic programs

Résumé

In the last fifteen years many work in logic programming has focused on parallel implementations both in shared memory and in distributed memory multiprocessor systems. In both cases it is supposed that each processor knows the entire logic program. In this paper we shall study a case where each agent only knows part of the program. We give a multi-modal logical language and its semantics which defines a protocol that is able to acquire the information needed to run the logic program.

Dates et versions

hal-03474457 , version 1 (10-12-2021)

Identifiants

Citer

László Aszalós, Andreas Herzig. A protocol for execution of distributed logic programs. 3rd International Symposium on Intelligent Distributed Computing (IDC 2009), Oct 2009, Ayia Napa, Cyprus. pp.21-30, ⟨10.1007/978-3-642-03214-1_3⟩. ⟨hal-03474457⟩
25 Consultations
0 Téléchargements

Altmetric

Partager

More