peer reviewedThis 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
Argumentation is a vital aspect of intelligent behaviour by humans. It provides the means for compar...
In this paper we provide a first analysis of the research questions that arise when dealing with the...
Abstract argumentation frameworks are a widely used formalism in the field of artificial intelligenc...
While neural networks have been successfully used in a number of machine learning applications, logi...
Formal models of argumentation have been investigated in several areas, from multi-agent systems and...
peer reviewedThis paper studies methodologically robust options for giving logical contents to node...
peer reviewedThis paper provides equational semantics for Dung’s argumentation networks. The networ...
In this paper, we devise a network that consists of argumentation schemes and critical questions tha...
We show that an interesting class of feed-forward neural networks can be understood as quantitative ...
For argumentation useful, the means must be found overcome the knowledge acquisition bottleneck betw...
peer reviewedGiven a network (S,R) , with R ⊆ S2, we view the nodes of S as containing information a...
Argumentation is a leading principle both foundationally and functionally for agent-oriented computi...
AbstractWe consider a multi-agent system where each agent is equipped with a Bayesian network, and p...
Reasoning with uncertainty and evidence plays an important role in decision-making and problem solvi...
Errors in reasoning about probabilistic evidence can have severe consequences. In the legal domain a...
Argumentation is a vital aspect of intelligent behaviour by humans. It provides the means for compar...
In this paper we provide a first analysis of the research questions that arise when dealing with the...
Abstract argumentation frameworks are a widely used formalism in the field of artificial intelligenc...
While neural networks have been successfully used in a number of machine learning applications, logi...
Formal models of argumentation have been investigated in several areas, from multi-agent systems and...
peer reviewedThis paper studies methodologically robust options for giving logical contents to node...
peer reviewedThis paper provides equational semantics for Dung’s argumentation networks. The networ...
In this paper, we devise a network that consists of argumentation schemes and critical questions tha...
We show that an interesting class of feed-forward neural networks can be understood as quantitative ...
For argumentation useful, the means must be found overcome the knowledge acquisition bottleneck betw...
peer reviewedGiven a network (S,R) , with R ⊆ S2, we view the nodes of S as containing information a...
Argumentation is a leading principle both foundationally and functionally for agent-oriented computi...
AbstractWe consider a multi-agent system where each agent is equipped with a Bayesian network, and p...
Reasoning with uncertainty and evidence plays an important role in decision-making and problem solvi...
Errors in reasoning about probabilistic evidence can have severe consequences. In the legal domain a...
Argumentation is a vital aspect of intelligent behaviour by humans. It provides the means for compar...
In this paper we provide a first analysis of the research questions that arise when dealing with the...
Abstract argumentation frameworks are a widely used formalism in the field of artificial intelligenc...