Design Space Exploration with Answer Set Programming.
Christian HaubeltKai NeubauerTorsten SchaubPhilipp WankoPublished in: Künstliche Intell. (2018)
Keyphrases
- answer set programming
- design space exploration
- design space
- logic programs
- computer architecture
- logic programming
- answer sets
- design process
- causal theories
- constraint logic programming
- answer set programs
- stable models
- stable model semantics
- haplotype inference
- knowledge representation
- databases
- database
- computer systems
- data processing
- data management
- user interface