Implementing an action language using a SAT solver.
Hidetomo NabeshimaKatsumi InoueHiromasa HanedaPublished in: ICTAI (2000)
Keyphrases
- sat solvers
- action language
- description language
- sat solving
- orders of magnitude
- reasoning about actions
- boolean satisfiability
- constraint satisfaction
- action descriptions
- search space
- sat problem
- sat instances
- answer set programming
- sat encodings
- search strategies
- answer sets
- web services
- evolutionary algorithm
- machine learning
- boolean formula
- software architecture
- logic programming
- distributed systems