An Online Development Environment for Answer Set Programming.
Elias MarcopoulosChristian ReotutarYuanlin ZhangPublished in: CoRR (2017)
Keyphrases
- development environment
- answer set programming
- logic programming
- answer sets
- logic programs
- development tools
- development environments
- constraint logic programming
- answer set programs
- causal theories
- application development
- development process
- stable model semantics
- user interface
- software development environment
- haplotype inference
- modulo theories
- database server
- peer to peer
- software engineering
- machine learning
- qualitative spatial and temporal reasoning