2 papers
cs.AI2026
Aggregative Semantics for Quantitative Bipolar Argumentation Frameworks
Yann Munro, Isabelle Bloch, Marie-Jeanne Lesot
Formal argumentation is being used increasingly in artificial intelligence as an effective and understandable way to model potentially conflicting pieces of information, called arg…
cs.LO2024
Ultraproducts in abstract categorical logic
Marc Aiguier, Isabelle Bloch, Romain Pascual
In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical logic, this abstract logic interprets formul…