3 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…
cs.AI2023
Morpho-logic from a Topos Perspective: Application to symbolic AI
Marc Aiguier, Isabelle Bloch, Salim Nibouche +1
Modal logics have proved useful for many reasoning tasks in symbolic artificial intelligence (AI), such as belief revision, spatial reasoning, among others. On the other hand, math…