onlineSPARC: A Programming Environment for Answer Set Programming.
Elias MarcopoulosYuanlin ZhangPublished in: Theory Pract. Log. Program. (2019)
Keyphrases
- programming environment
- answer set programming
- logic programming
- programming language
- logic programs
- answer sets
- programming environments
- causal theories
- answer set programs
- novice programmers
- constraint logic programming
- stable model semantics
- relational database systems
- knowledge representation
- visual basic
- machine learning
- lego mindstorms
- database applications
- software engineering
- disjunctive logic programming
- databases
- database