ASPIDE: Integrated Development Environment for Answer Set Programming.
Onofrio FebbraroKristian RealeFrancesco RiccaPublished in: LPNMR (2011)
Keyphrases
- declarative programming
- answer set programming
- integrated development environment
- logic programming
- programming language
- object oriented programming
- source code
- award winning
- logic programs
- answer sets
- database design
- programming concepts
- microsoft access
- constraint logic programming
- stable model semantics
- causal theories
- answer set programs
- knowledge representation
- stable models
- haplotype inference
- special section
- case study
- open source
- database systems