Skip to main content

2 Result(s)

within David Kohan Marzagão Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Incremental Inference of Provenance Types

    Long-running applications nowadays are increasingly instrumented to continuously log provenance. In that context, we observe an emerging need for processing fragments of provenance continuously produced by app...

    David Kohan Marzagão, Trung Dong Huynh… in Provenance and Annotation of Data and Proc… (2021)

  2. No Access

    Chapter and Conference Paper

    Team Persuasion

    We consider two teams of agents engaging in a debate to persuade an audience of the acceptability of a central argument. This is modelled by a bipartite abstract argumentation framework with a distinguished to...

    David Kohan Marzagão, Josh Murphy… in Theory and Applications of Formal Argument… (2018)