Introducing a tool for concurrent argumentation

S Bistarelli, C Taticchi - European Conference on Logics in Artificial …, 2021 - Springer
Agent-based modelling languages naturally implement concurrency for handling complex
interactions between communicating agents. On the other hand, the field of Argumentation …

[PDF][PDF] A Chatbot Extended with Argumentation.

S Bistarelli, C Taticchi, F Santini - AI³@ AI* IA, 2021 - researchgate.net
We present an argumentative chatbot, whose aim is to work in favor of (pro) or against (con)
a given topic. Information is internally represented as a Bipolar Argumentation Framework …

A concurrent language for modelling agents arguing on a shared argumentation space

S Bistarelli, C Taticchi - Argument & Computation, 2024 - content.iospress.com
While agent-based modelling languages naturally implement concurrency, the currently
available languages for argumentation do not allow to explicitly model this type of …

Timed concurrent language for argumentation

S Bistarelli, MC Meo, C Taticchi - CEUR WORKSHOP …, 2021 - ricerca.unich.it
Argumentation Theory oers formalisms for the study of reasoning processes taking place
between intelligent entities. In this context, time is a crucial factor: in a real-world …

On the study of acceptability in weighted argumentation frameworks through four-state labelling semantics

S Bistarelli, C Taticchi - Journal of Logic and Computation, 2023 - academic.oup.com
Computational Argumentation provides tools for both modelling and reasoning with
controversial information. Abstract Argumentation Frameworks represent the building blocks …

Timed concurrent language for argumentation with maximum parallelism

S Bistarelli, M Chiara Meo… - Journal of Logic and …, 2023 - academic.oup.com
The timed concurrent language for argumentation (tcla) is a framework to model concurrent
interactions between communicating agents that reason and take decisions through …

Timed concurrent language for argumentation: An interleaving approach

S Bistarelli, MC Meo, C Taticchi - International Symposium on Practical …, 2022 - Springer
Time is a crucial factor in modelling dynamic behaviours of intelligent agents: in a real-world
environment, activities have a determined temporal duration and the behaviour of agents is …

[PDF][PDF] A Unifying Four-State Labelling Semantics for Bridging Abstract Argumentation Frameworks and Belief Revision.

S Bistarelli, C Taticchi, CS Coen, I Salvo - ICTCS, 2021 - ceur-ws.org
In many formalisms extending Dung's Abstract Argumentation Frameworks (AFs), arguments
are not always “present”. In timed AFs, for instance, arguments are only available in precise …

An interleaving semantics of the timed concurrent language for argumentation to model debates and dialogue games

S Bistarelli, C Taticchi, MC Meo - Theory and Practice of Logic …, 2023 - cambridge.org
Time is a crucial factor in modelling dynamic behaviours of intelligent agents: activities have
a determined temporal duration in a real-world environment, and previous actions influence …

Towards an implementation of a concurrent language for argumentation

S Bistarelli, C Taticchi - International Conference of the Italian Association …, 2020 - Springer
While agent-based modelling languages naturally implement concurrency, the currently
available languages for argumentation do not allow to explicitly model this type of …