Advanced Preprocessing for Answer Set Solving.
Martin GebserBenjamin KaufmannAndré NeumannTorsten SchaubPublished in: ECAI (2008)
Keyphrases
- answer sets
- preprocessing
- logic programs
- answer set programming
- logic programming
- answer set semantics
- answer set programs
- normal logic programs
- loop formulas
- information systems
- combinatorial optimization
- stable models
- reasoning tasks
- machine learning
- evolutionary algorithm
- artificial intelligence
- information retrieval