Boolean Functions with Ordered Domains in Answer Set Programming.
Mario AlvianoWolfgang FaberHannes StrassPublished in: AAAI (2016)
Keyphrases
- boolean functions
- answer set programming
- logic programs
- logic programming
- answer sets
- uniform distribution
- answer set programs
- reasoning tasks
- stable model semantics
- functional properties
- prime implicants
- membership queries
- upper bound
- multi valued
- knowledge representation
- disjunctive normal form
- polynomial size
- background knowledge
- general purpose
- learning algorithm
- modulo theories