258 citations
- Laboratoire Angevin de Recherche en MathématiquesFR198 papers
- Centre National de la Recherche ScientifiqueFR127 papers
- Institut des Sciences et Technologies Moléculaires d'AngersFR31 papers
- Sorbonne UniversitéFR17 papers
- Wrocław University of Science and TechnologyPL17 papers
- Institut de Mathématiques de ToulouseFR13 papers
- Institute for Theoretical and Experimental PhysicsRU12 papers
- Université Paris-SaclayFR12 papers
- Université Toulouse III - Paul SabatierFR12 papers
- Horia Hulubei National Institute for R and D in Physics and Nuclear EngineeringRO10 papers
- Institut d'électronique de microélectronique et de nanotechnologieFR10 papers
- Université Nantes Angers Le MansFR10 papers
Showing 2026Show all
3 papers · 1 filter
math.AG2026
On curves with one place at infinity
Abdallah Assi, Wael Mahboub
Let K be an algebraically closed field of characteristic zero. Many of the geometric properties of the plane curves in K^2 with one place at infinity can be obtained from the arith…
cs.LO2026
Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
Pedro Cabalar, Martín Diéguez, David Fernández-Duque +3
The relationship between intuitionistic or intermediate logics and logic programming has been extensively studied, prominently featuring Pearce's equilibrium logic and Osorio's saf…
cs.LO2026
Extracting Policies from Quantified Answer Set Programs
Martín Diéguez, Igor Stéphan
Quantified Answer Set Programming (QASP) extends Answer Set Programming (ASP) by allowing quantification over propositional variables, similar to Quantified Boolean Formulas (QBF).…