Abstract :
[en] This paper is part of a research program centered around argumentation
networks and offering several research directions for argumentation networks, with a view
of using such networks for integrating logics and network reasoning.
In Section 1 we introduce our program manifesto. In Section 2 we motivate and show
how to substitute one argumentation network as a node in another argumentation network.
Substitution is a purely logical operation and doing it for networks, besides developing
their theory further, also helps us see how to bring logic and networks closer together.
Section 3 develops the formal properties of the new kind of network and Section 4
offers general discussion and comparison with the literature.
Scopus citations®
without self-citations
34