An equational approach to the merging of argumentation networks.

Dov M. Gabbay Odinaldo Rodrigues

Published in: J. Log. Comput. (2014)

Keyphrases

theorem proving
social networks
data sets
heterogeneous networks
artificial intelligence
information systems
artificial neural networks
theoretical framework
computer networks
theorem prover
evidential reasoning