Synthesizing Concurrent Programs using Answer Set Programming.
Emanuele De AngelisAlberto PettorossiMaurizio ProiettiPublished in: CILC (2011)
Keyphrases
- answer set programming
- concurrent programs
- logic programs
- logic programming
- answer sets
- concurrent programming
- constraint logic programming
- process algebra
- stable model semantics
- causal theories
- concurrent processes
- answer set programs
- stable models
- haplotype inference
- qualitative spatial and temporal reasoning
- update semantics
- web applications
- declarative programming
- data model