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 2014 · cs.AIShow all
2 papers · 2 filters
cs.AI2014★ 11 cited
Simulating Non Stationary Operators in Search Algorithms
Adrien Goëffon, Frédéric Lardeux, Frédéric Saubion
In this paper, we propose a model for simulating search operators whose behaviour often changes continuously during the search. In these scenarios, the performance of the operators…
cs.AI2014★ 10 cited
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier +1
Existential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology- Based Data Access. Entailment with existential rules is undeci…