Home » Authors » Laurent Garcia, Claire Lefèvre, Igor Stéphan, Odile Papini, Eric Würbel

Laurent Garcia, Claire Lefèvre, Igor Stéphan, Odile Papini, Eric Würbel

Public reference bibliography and cataloged PDF materials authored or published by Laurent Garcia, Claire Lefèvre, Igor Stéphan, Odile Papini, Eric Würbel.

Found 1 document(s) Page 1 of 1

A Semantic Characterization for ASP Base Revision

Year: 2019 • Source: hal.science • Listed PDF

The paper deals with base revision for Answer Set Programming (ASP). Base revision in classical logic is done by the removal of formulas. Exploiting the non-monotonicity of ASP allows one to propose other revision strate...