This is an extension of answer set programming (ASP) where rules and linear constraints over integers are used together for modelling.

Prototype Implementation

Simple Example

Related Publications

G. Liu, T. Janhunen, and I. Niemelš: Answer Set Programming via Mixed Integer Programming. In T. Eiter and S. McIlraith, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 13th International Conference (KR'12), 32—42, Rome, Italy, June 2012. AAAI Press.