CV Accueil - Archive ouverte HAL

Publications

	Extending Acyclicity Notions for Existential Rules Jean-François Baget , Fabien Garreau , Marie-Laure Mugnier , Swan Rocher ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.39-44, ⟨10.3233/978-1-61499-419-0-39⟩ Communication dans un congrès hal-01092757v1
	Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation Jean-François Baget , Fabien Garreau , Marie-Laure Mugnier , Swan Rocher NMR: Non-Monotonic Reasoning, Jul 2014, Vienna, Austria Communication dans un congrès lirmm-01097136v1