This paper describes the process of translating rules that may contain arithmetic operations into the language of first-order logic. It identifies a normal form for which this transformation can be performed in a particularly simple and natural way. Other rules can be converted to this normal form by steps that preserve their meaning under the stable model semantics.

PDF

unpublished.

@unpublished{fan26, title={A Normal Form for Rules Containing Arithmetic Operations}, author={Jorge Fandinno and Yuliya Lierler and Vladimir Lifschitz}, month={ }, url="http://www.cs.utexas.edu/users/ai-labpub-view.php?PubID=128145", year={2026} }